Details

Time bar (total: 10.3s)

sample23.0ms

Algorithm
intervals
Results
14.0ms327×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5001
354909
344768
334615
324474
314337
304196
294043
283902
273765
263624
253471
243330
233193
223050
212903
202760
192623
182480
172333
162190
152053
141898
131739
121450
11924
10259
9144
8114
783
666
557
449
334
220
113
08

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- 1.0 x) y)
0.0b
(+ (* (- 1.0 x) y) (* x z))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*l*
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×associate-*r*
2×associate-*l/ insert-posit16
1×+-commutative sum-log flip3-+ flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 35
Calls
2 calls:
28.0ms
(* (- 1.0 x) y)
20.0ms
(+ (* (- 1.0 x) y) (* x z))

series75.0ms

Counts
2 → 6
Calls
2 calls:
36.0ms
(* (- 1.0 x) y)
39.0ms
(+ (* (- 1.0 x) y) (* x z))

simplify1.8s

Counts
41 → 41
Iterations
IterNodes
done5010
32372
2600
1192
073

prune122.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* y 1.0) (* x (- z y)))
0.0b
(* x (- z y))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*r*
4×distribute-rgt-in pow1 associate-+r+ sub-neg distribute-lft-in add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×associate-*l*
2×associate-*r/ insert-posit16
1×+-commutative sum-log flip3-+ flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 43
Calls
2 calls:
8.0ms
(+ (* y 1.0) (* x (- z y)))
17.0ms
(* x (- z y))

series96.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(+ (* y 1.0) (* x (- z y)))
51.0ms
(* x (- z y))

simplify2.0s

Counts
49 → 49
Iterations
IterNodes
done5004
32468
2605
1206
080

prune156.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

1.1b
(+ (* y y) (* z y))
3.2b
(- (* z (* z z)) (* y (* y y)))
5.5b
(* x (- (* z (* z z)) (* y (* y y))))
33.3b
(/ (* x (- (* z (* z z)) (* y (* y y)))) (+ (* z z) (+ (* y y) (* z y))))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
11×add-cbrt-cube add-exp-log
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt add-log-exp
6×pow1
4×cube-unmult associate-*r* associate-*r/ insert-posit16
3×associate-/r* sub-neg times-frac flip3-- associate-*l* flip--
2×distribute-rgt-in difference-cubes cbrt-undiv distribute-lft-in flip3-+ div-exp prod-exp associate-/r/ cbrt-unprod flip-+ associate-/l/
1×+-commutative clear-num sum-log frac-2neg distribute-rgt-out diff-log pow-prod-down *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 79
Calls
4 calls:
7.0ms
(+ (* y y) (* z y))
22.0ms
(- (* z (* z z)) (* y (* y y)))
70.0ms
(* x (- (* z (* z z)) (* y (* y y))))
61.0ms
(/ (* x (- (* z (* z z)) (* y (* y y)))) (+ (* z z) (+ (* y y) (* z y))))

series381.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(+ (* y y) (* z y))
60.0ms
(- (* z (* z z)) (* y (* y y)))
112.0ms
(* x (- (* z (* z z)) (* y (* y y))))
176.0ms
(/ (* x (- (* z (* z z)) (* y (* y y)))) (+ (* z z) (+ (* y y) (* z y))))

simplify1.6s

Counts
91 → 91
Iterations
IterNodes
done5000
21799
1428
0142

prune398.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes153.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample801.0ms

Algorithm
intervals
Results
588.0ms10067×body80valid