Details

Time bar (total: 2.3m)

sample359.0ms

Algorithm
intervals
Results
166.0ms1199×pre80false
53.0ms256×body80valid
46.0ms256×pre80true

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done5001
2437
198
030

prune42.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize310.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (+ c (+ b a)) (- a (- c b))) (+ a (- c b)))
0.3b
(* (* (* (+ c (+ b a)) (- a (- c b))) (+ a (- c b))) (+ c (- b a)))
0.3b
(* (* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a))) (+ c (- a b)))
0.4b
(* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a)))

rewrite2.9s

Algorithm
rewrite-expression-head
Rules
328×frac-times
198×flip3-+ flip-+
164×associate-*l/
72×flip3-- flip--
68×associate-*r/
32×pow1 add-cbrt-cube add-exp-log
28×*-un-lft-identity
20×associate-*r*
18×pow-prod-down prod-exp cbrt-unprod
add-sqr-sqrt add-cube-cbrt distribute-lft-out
distribute-rgt-in distribute-lft-in associate-*l* *-commutative distribute-lft-out-- add-log-exp
Counts
4 → 306
Calls
4 calls:
309.0ms
(* (* (+ c (+ b a)) (- a (- c b))) (+ a (- c b)))
1.1s
(* (* (* (+ c (+ b a)) (- a (- c b))) (+ a (- c b))) (+ c (- b a)))
1.1s
(* (* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a))) (+ c (- a b)))
316.0ms
(* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a)))

series1.7s

Counts
4 → 12
Calls
4 calls:
338.0ms
(* (* (+ c (+ b a)) (- a (- c b))) (+ a (- c b)))
536.0ms
(* (* (* (+ c (+ b a)) (- a (- c b))) (+ a (- c b))) (+ c (- b a)))
535.0ms
(* (* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a))) (+ c (- a b)))
338.0ms
(* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a)))

simplify4.0s

Counts
318 → 318
Iterations
IterNodes
done5001
13226
0613

prune6.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize373.0ms

Local error

Found 4 expressions with local error:

0.3b
(+ (* (* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a))) c) (* (* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a))) (- a b)))
0.3b
(* (* (* (+ c (+ b a)) (- a (- c b))) (+ a (- c b))) (+ c (- b a)))
0.4b
(* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a)))
0.4b
(* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a)))

rewrite3.9s

Algorithm
rewrite-expression-head
Rules
5968×frac-times
5064×associate-*l/
2962×flip3-+ flip-+
2169×flip3-- flip--
2080×frac-add
1358×associate-*r/
23×pow1 add-cbrt-cube add-exp-log
22×*-un-lft-identity
15×associate-*r*
12×pow-prod-down prod-exp cbrt-unprod
add-sqr-sqrt add-cube-cbrt distribute-lft-out
add-log-exp
distribute-rgt-in distribute-lft-in
associate-+r+
associate-*l* *-commutative distribute-lft-out--
sub-neg
+-commutative sum-log
Counts
4 → 2297
Calls
4 calls:
1.1s
(+ (* (* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a))) c) (* (* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a))) (- a b)))
1.1s
(* (* (* (+ c (+ b a)) (- a (- c b))) (+ a (- c b))) (+ c (- b a)))
309.0ms
(* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a)))
308.0ms
(* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a)))

series1.8s

Counts
4 → 12
Calls
4 calls:
587.0ms
(+ (* (* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a))) c) (* (* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a))) (- a b)))
538.0ms
(* (* (* (+ c (+ b a)) (- a (- c b))) (+ a (- c b))) (+ c (- b a)))
348.0ms
(* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a)))
347.0ms
(* (* (+ c (+ a b)) (- b (- c a))) (+ b (- c a)))

simplify18.1s

Counts
2309 → 2309
Iterations
IterNodes
done8859
08859

prune1.4m

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

regimes618.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify29.0ms

Iterations
IterNodes
done71
271
168
048

end0.0ms

sample10.3s

Algorithm
intervals
Results
5.6s39077×pre80false
2.0s8000×body80valid
971.0ms8000×pre80true