Details

Time bar (total: 10.7s)

sample29.0ms

Algorithm
intervals
Results
15.0ms324×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5000
324884
314734
304580
294414
284261
274111
263957
253791
243638
233488
223332
213172
203017
192867
182711
172551
162396
152246
142090
131922
121610
111048
10310
9171
8134
797
675
563
450
334
220
113
08

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

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

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

series89.0ms

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

simplify1.6s

Counts
49 → 49
Iterations
IterNodes
done5029
32399
2617
1204
079

prune169.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×sum-log distribute-rgt-neg-out
2×add-sqr-sqrt pow1 +-commutative associate-+r- *-un-lft-identity flip3-+ add-cbrt-cube unsub-neg add-exp-log add-cube-cbrt flip-+ insert-posit16
1×associate-+r+ distribute-lft-out
Counts
2 → 31
Calls
2 calls:
23.0ms
(+ (* x y) (+ (* z 1.0) (* z (- y))))
11.0ms
(+ (* z 1.0) (* z (- y)))

series109.0ms

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

simplify2.3s

Counts
37 → 37
Iterations
IterNodes
done5000
33741
2847
1198
059

prune123.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- 1.0 y))
0.2b
(cbrt (- 1.0 y))
0.2b
(cbrt (- 1.0 y))
0.2b
(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
43×cbrt-prod
37×add-sqr-sqrt
35×*-un-lft-identity
18×cbrt-div
15×add-cube-cbrt
11×pow1
10×swap-sqr
9×flip3-- pow1/3 flip-- distribute-lft-out--
8×associate-*r* associate-*l*
7×difference-of-squares
6×add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 105
Calls
4 calls:
4.0ms
(cbrt (- 1.0 y))
4.0ms
(cbrt (- 1.0 y))
4.0ms
(cbrt (- 1.0 y))
26.0ms
(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))

series443.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(cbrt (- 1.0 y))
89.0ms
(cbrt (- 1.0 y))
116.0ms
(cbrt (- 1.0 y))
148.0ms
(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))

simplify1.8s

Counts
117 → 117
Iterations
IterNodes
done5000
32000
2806
1342
0152

prune546.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes140.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

sample759.0ms

Algorithm
intervals
Results
534.0ms10105×body80valid