Details

Time bar (total: 33.7s)

sample32.0ms

Algorithm
intervals
Results
16.0ms277×body80valid

simplify145.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
0911
12111
24010
36710
410210
513910
614410
done14410

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.9b

localize16.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ (/ 1.0 x) y)
6.2b
(/ (/ (/ 1.0 x) y) (fma z z 1.0))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
468×times-frac
228×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
56×associate-/l*
22×div-inv
16×add-exp-log add-cbrt-cube
9×cbrt-undiv div-exp
6×associate-/r*
2×pow1 expm1-log1p-u frac-2neg clear-num log1p-expm1-u associate-/l/ add-log-exp
Counts
2 → 266
Calls
2 calls:
11.0ms
(/ (/ 1.0 x) y)
41.0ms
(/ (/ (/ 1.0 x) y) (fma z z 1.0))

series131.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(/ (/ 1.0 x) y)
92.0ms
(/ (/ (/ 1.0 x) y) (fma z z 1.0))

simplify751.0ms

Counts
272 → 272
Iterations

Useful iterations: done (737.0ms)

IterNodesCost
04715328
111895051
done50014955

prune1.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 4.7b

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
2.4b
(/ (/ (/ (cbrt 1.0) (cbrt x)) (cbrt y)) (fma z z 1.0))
2.9b
(* (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (/ (/ (/ (cbrt 1.0) (cbrt x)) (cbrt y)) (fma z z 1.0)))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
4785×times-frac
2397×cbrt-prod
2262×add-sqr-sqrt
2115×add-cube-cbrt *-un-lft-identity
736×associate-*r*
291×add-exp-log
244×associate-/l*
144×cbrt-undiv div-exp
139×add-cbrt-cube
96×prod-exp cbrt-unprod
53×div-inv
36×unswap-sqr
9×associate-*l*
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r*
2×pow1/3
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative associate-/l/
Counts
4 → 1907
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
109.0ms
(/ (/ (/ (cbrt 1.0) (cbrt x)) (cbrt y)) (fma z z 1.0))
724.0ms
(* (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (/ (/ (/ (cbrt 1.0) (cbrt x)) (cbrt y)) (fma z z 1.0)))

series1.1s

Counts
4 → 12
Calls
4 calls:
311.0ms
(cbrt x)
249.0ms
(cbrt x)
292.0ms
(/ (/ (/ (cbrt 1.0) (cbrt x)) (cbrt y)) (fma z z 1.0))
245.0ms
(* (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (/ (/ (/ (cbrt 1.0) (cbrt x)) (cbrt y)) (fma z z 1.0)))

simplify3.3s

Counts
1919 → 1919
Iterations

Useful iterations: done (3.2s)

IterNodesCost
0246064956
done500162662

prune13.7s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 4.7b

localize52.0ms

Local error

Found 4 expressions with local error:

2.4b
(* (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (/ (/ (cbrt 1.0) (cbrt x)) (* (cbrt (fma z z 1.0)) (cbrt (fma z z 1.0)))))
15.5b
(cbrt (fma z z 1.0))
15.5b
(cbrt (fma z z 1.0))
15.5b
(cbrt (fma z z 1.0))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
357×add-exp-log
156×cbrt-undiv div-exp
142×prod-exp cbrt-unprod
139×add-cbrt-cube
127×times-frac
77×add-sqr-sqrt
57×cbrt-prod
44×associate-*r*
35×add-cube-cbrt *-un-lft-identity
18×unswap-sqr
9×associate-*l*
6×pow1
4×expm1-log1p-u log1p-expm1-u div-inv add-log-exp
3×pow1/3
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
4 → 234
Calls
4 calls:
141.0ms
(* (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (/ (/ (cbrt 1.0) (cbrt x)) (* (cbrt (fma z z 1.0)) (cbrt (fma z z 1.0)))))
1.0ms
(cbrt (fma z z 1.0))
1.0ms
(cbrt (fma z z 1.0))
1.0ms
(cbrt (fma z z 1.0))

series1.2s

Counts
4 → 12
Calls
4 calls:
394.0ms
(* (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (/ (/ (cbrt 1.0) (cbrt x)) (* (cbrt (fma z z 1.0)) (cbrt (fma z z 1.0)))))
282.0ms
(cbrt (fma z z 1.0))
277.0ms
(cbrt (fma z z 1.0))
275.0ms
(cbrt (fma z z 1.0))

simplify1.2s

Counts
246 → 246
Iterations

Useful iterations: done (1.2s)

IterNodesCost
047410292
117299751
done50007282

prune1.4s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 4.7b

localize29.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.8b
(/ (/ (/ (cbrt 1.0) (cbrt x)) y) (sqrt (fma z z 1.0)))
14.9b
(sqrt (fma z z 1.0))
14.9b
(sqrt (fma z z 1.0))

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
2340×times-frac
1071×add-sqr-sqrt
1069×add-cube-cbrt *-un-lft-identity
759×cbrt-prod
381×sqrt-prod
124×associate-/l*
29×div-inv
13×add-exp-log
11×add-cbrt-cube
6×pow1 cbrt-undiv div-exp associate-/r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2
1×frac-2neg pow1/3 clear-num associate-/l/
Counts
4 → 936
Calls
4 calls:
1.0ms
(cbrt x)
82.0ms
(/ (/ (/ (cbrt 1.0) (cbrt x)) y) (sqrt (fma z z 1.0)))
1.0ms
(sqrt (fma z z 1.0))
2.0ms
(sqrt (fma z z 1.0))

series796.0ms

Counts
4 → 12
Calls
4 calls:
294.0ms
(cbrt x)
376.0ms
(/ (/ (/ (cbrt 1.0) (cbrt x)) y) (sqrt (fma z z 1.0)))
65.0ms
(sqrt (fma z z 1.0))
62.0ms
(sqrt (fma z z 1.0))

simplify1.9s

Counts
948 → 948
Iterations

Useful iterations: done (1.8s)

IterNodesCost
0127928596
1331426019
done500025925

prune3.8s

Pruning

9 alts after pruning (5 fresh and 4 done)

Merged error: 4.7b

regimes250.0ms

Accuracy

0% (1.1b remaining)

Error of 6.0b against oracle of 4.8b and baseline of 6.0b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01731
11831
done1831

end0.0ms

sample877.0ms

Algorithm
intervals
Results
515.0ms8584×body80valid