Details

Time bar (total: 14.8s)

sample62.0ms

Algorithm
intervals
Results
41.0ms313×body80valid

simplify349.0ms

Counts
1 → 1

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize7.0ms

Local error

Found 1 expressions with local error:

7.8b
(/ (* x y) z)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×add-cbrt-cube add-exp-log
3×add-sqr-sqrt associate-/r* *-un-lft-identity times-frac add-cube-cbrt
2×cbrt-undiv div-exp
1×expm1-log1p-u pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp
Counts
1 → 24
Calls
1 calls:
Slowest
9.0ms
(/ (* x y) z)

series29.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
29.0ms
(/ (* x y) z)

simplify553.0ms

Counts
31 → 27

prune286.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

5.0b
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
28×times-frac
25×add-exp-log
22×*-un-lft-identity associate-*r* add-cube-cbrt
20×cbrt-prod
18×add-cbrt-cube
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 104
Calls
4 calls:
Slowest
54.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series819.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
300.0ms
(cbrt z)
218.0ms
(cbrt z)
215.0ms
(cbrt z)
86.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

simplify543.0ms

Counts
128 → 116

prune1.3s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
40×add-exp-log
22×add-cbrt-cube
21×add-sqr-sqrt
15×prod-exp cbrt-unprod
14×times-frac
12×cbrt-prod cbrt-undiv div-exp
11×*-un-lft-identity add-cube-cbrt
8×associate-*r*
7×associate-*l*
6×pow1 unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 96
Calls
4 calls:
Slowest
42.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
293.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
289.0ms
(cbrt y)
282.0ms
(cbrt y)
260.0ms
(cbrt y)

simplify990.0ms

Counts
120 → 108

prune1.9s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (/ x (/ (* (cbrt z) (cbrt z)) (cbrt y))) (/ (cbrt y) (cbrt (* (cbrt z) (cbrt z)))))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
113×times-frac
105×add-sqr-sqrt
57×cbrt-prod
42×*-un-lft-identity add-cube-cbrt
36×add-exp-log
35×associate-*l*
28×associate-*r*
20×add-cbrt-cube unswap-sqr
14×cbrt-undiv div-exp
10×prod-exp cbrt-unprod
6×pow1
5×div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
1×frac-times pow-prod-down associate-*l/ associate-*r/ associate-/r/ *-commutative
Counts
4 → 156
Calls
4 calls:
Slowest
61.0ms
(* (/ x (/ (* (cbrt z) (cbrt z)) (cbrt y))) (/ (cbrt y) (cbrt (* (cbrt z) (cbrt z)))))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
276.0ms
(cbrt y)
265.0ms
(cbrt y)
264.0ms
(* (/ x (/ (* (cbrt z) (cbrt z)) (cbrt y))) (/ (cbrt y) (cbrt (* (cbrt z) (cbrt z)))))
257.0ms
(cbrt y)

simplify649.0ms

Counts
194 → 168

prune2.8s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

regimes402.0ms

Accuracy

-16.2% (2.6b remaining)

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

bsearch13.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s9629×body80valid