Details

Time bar (total: 11.0s)

sample19.0ms

Algorithm
intervals
Results
10.0ms323×body80valid

simplify2.8s

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

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite49.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)
21.0ms
(+ (* (- 1.0 x) y) (* x z))

series106.0ms

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

simplify2.1s

Counts
41 → 41
Iterations
IterNodes
done5010
32372
2600
1192
073

prune132.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite30.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:
15.0ms
(* x (- z y))
14.0ms
(+ (* y 1.0) (* x (- z y)))

series78.0ms

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

simplify2.0s

Counts
49 → 49
Iterations
IterNodes
done5000
32404
2591
1209
080

prune182.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* x (- z y))) (cbrt (* x (- z y))))
4.2b
(cbrt (* x (- z y)))
4.2b
(cbrt (* x (- z y)))
4.2b
(cbrt (* x (- z y)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*r/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-- pow1/3 flip--
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×frac-times add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 76
Calls
4 calls:
17.0ms
(* (cbrt (* x (- z y))) (cbrt (* x (- z y))))
12.0ms
(cbrt (* x (- z y)))
8.0ms
(cbrt (* x (- z y)))
9.0ms
(cbrt (* x (- z y)))

series767.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(* (cbrt (* x (- z y))) (cbrt (* x (- z y))))
187.0ms
(cbrt (* x (- z y)))
217.0ms
(cbrt (* x (- z y)))
188.0ms
(cbrt (* x (- z y)))

simplify1.4s

Counts
88 → 88
Iterations
IterNodes
done5011
31922
2706
1276
0117

prune408.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes139.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample688.0ms

Algorithm
intervals
Results
474.0ms10161×body80valid