Details

Time bar (total: 29.9s)

sample46.0ms

Algorithm
intervals
Results
17.0ms316×body80valid

simplify8.6s

Counts
1 → 1
Iterations
IterNodes
done5000
414910
404766
394631
384494
374375
364238
354103
343966
333846
323709
313573
303436
293317
283180
273045
262914
252799
242655
232522
222385
212266
202120
191983
181837
171710
161545
151317
141111
131005
12916
11760
10449
9235
8152
7115
694
580
463
340
224
114
08

prune31.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 2 expressions with local error:

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

rewrite68.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
3×associate-*r*
2×expm1-log1p-u associate-*l/ insert-posit16 log1p-expm1-u add-log-exp
1×flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 36
Calls
2 calls:
2.0ms
(fma x y (* (- x 1.0) z))
63.0ms
(* (- x 1.0) z)

series133.0ms

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

simplify3.5s

Counts
42 → 42
Iterations
IterNodes
done5002
31511
2368
1139
066

prune451.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt z) (cbrt z))
0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
28.0ms
(* (cbrt z) (cbrt z))
3.0ms
(cbrt z)
3.0ms
(cbrt z)
3.0ms
(cbrt z)

series1.4s

Counts
4 → 12
Calls
4 calls:
409.0ms
(* (cbrt z) (cbrt z))
339.0ms
(cbrt z)
360.0ms
(cbrt z)
301.0ms
(cbrt z)

simplify8.9s

Counts
97 → 97
Iterations
IterNodes
done5042
43937
31072
2378
1142
067

prune1.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize50.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma x y (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
2.6b
(* (- (* x x) (* 1.0 1.0)) z)
6.6b
(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
10×add-cbrt-cube add-exp-log
9×add-sqr-sqrt
7×add-cube-cbrt
5×pow1
4×associate-/r* times-frac associate-*l* associate-*l/
3×expm1-log1p-u associate-*r* insert-posit16 log1p-expm1-u add-log-exp
2×cbrt-undiv flip3-- div-exp prod-exp associate-/r/ cbrt-unprod flip-- distribute-lft-out associate-/l/
1×clear-num frac-2neg flip3-+ pow-prod-down *-commutative flip-+ fma-udef div-inv associate-/l* difference-of-squares unswap-sqr
Counts
3 → 65
Calls
3 calls:
1.0ms
(fma x y (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
39.0ms
(* (- (* x x) (* 1.0 1.0)) z)
62.0ms
(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

series243.0ms

Counts
3 → 9
Calls
3 calls:
102.0ms
(fma x y (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
59.0ms
(* (- (* x x) (* 1.0 1.0)) z)
81.0ms
(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

simplify2.9s

Counts
74 → 74
Iterations
IterNodes
done5000
21255
1333
0121

prune763.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes480.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
done8
18
07

end0.0ms

sample935.0ms

Algorithm
intervals
Results
435.0ms10127×body80valid