Details

Time bar (total: 13.1s)

sample25.0ms

Algorithm
intervals
Results
15.0ms322×body80valid

simplify2.1s

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

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite41.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:
13.0ms
(+ (* x y) (* z (- 1.0 y)))
27.0ms
(* z (- 1.0 y))

series96.0ms

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

simplify1.5s

Counts
49 → 49
Iterations
IterNodes
done5029
32399
2617
1204
079

prune174.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize19.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)))

rewrite38.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:
26.0ms
(+ (* x y) (+ (* z 1.0) (* z (- y))))
11.0ms
(+ (* z 1.0) (* z (- y)))

series107.0ms

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

simplify2.3s

Counts
37 → 37
Iterations
IterNodes
done5000
33741
2847
1198
059

prune152.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.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:
36.0ms
(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
10.0ms
(cbrt (- 1.0 y))
6.0ms
(cbrt (- 1.0 y))
6.0ms
(cbrt (- 1.0 y))

series425.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
100.0ms
(cbrt (- 1.0 y))
93.0ms
(cbrt (- 1.0 y))
91.0ms
(cbrt (- 1.0 y))

simplify1.6s

Counts
117 → 117
Iterations
IterNodes
done5000
31975
2772
1341
0152

prune530.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x y) (/ (- (* (* z 1.0) (* z 1.0)) (* (* z (- y)) (* z (- y)))) (- (* z 1.0) (* z (- y)))))
0.2b
(* (* z (- y)) (* z (- y)))
5.3b
(- (* (* z 1.0) (* z 1.0)) (* (* z (- y)) (* z (- y))))
28.8b
(/ (- (* (* z 1.0) (* z 1.0)) (* (* z (- y)) (* z (- y)))) (- (* z 1.0) (* z (- y))))

rewrite292.0ms

Algorithm
rewrite-expression-head
Rules
43×pow1
18×add-cbrt-cube add-exp-log
17×pow-prod-down
16×times-frac
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×prod-exp cbrt-unprod add-log-exp
6×difference-of-squares
5×distribute-rgt-neg-out distribute-lft-out--
4×associate-/r* pow-sqr pow-prod-up insert-posit16 associate-/l*
3×flip3-- flip--
2×pow-plus div-sub associate-/r/ associate-/l/
1×distribute-lft-neg-out pow2 cbrt-undiv +-commutative clear-num associate-+r- sum-log sub-neg frac-2neg flip3-+ diff-log swap-sqr div-exp associate-*r* associate-*l* sqr-neg *-commutative flip-+ div-inv
Counts
4 → 107
Calls
4 calls:
84.0ms
(+ (* x y) (/ (- (* (* z 1.0) (* z 1.0)) (* (* z (- y)) (* z (- y)))) (- (* z 1.0) (* z (- y)))))
49.0ms
(* (* z (- y)) (* z (- y)))
42.0ms
(- (* (* z 1.0) (* z 1.0)) (* (* z (- y)) (* z (- y))))
114.0ms
(/ (- (* (* z 1.0) (* z 1.0)) (* (* z (- y)) (* z (- y)))) (- (* z 1.0) (* z (- y))))

series437.0ms

Counts
4 → 12
Calls
4 calls:
115.0ms
(+ (* x y) (/ (- (* (* z 1.0) (* z 1.0)) (* (* z (- y)) (* z (- y)))) (- (* z 1.0) (* z (- y)))))
51.0ms
(* (* z (- y)) (* z (- y)))
104.0ms
(- (* (* z 1.0) (* z 1.0)) (* (* z (- y)) (* z (- y))))
168.0ms
(/ (- (* (* z 1.0) (* z 1.0)) (* (* z (- y)) (* z (- y)))) (- (* z 1.0) (* z (- y))))

simplify1.6s

Counts
119 → 119
Iterations
IterNodes
done5005
22168
1493
0168

prune458.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

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

sample814.0ms

Algorithm
intervals
Results
570.0ms10182×body80valid