Details

Time bar (total: 17.0s)

sample23.0ms

Algorithm
intervals
Results
7.0ms309×body80valid

simplify8.0ms

Counts
1 → 1
Iterations
IterNodes
done16
416
315
212
18
05

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 1 expressions with local error:

6.6b
(* (/ y z) x)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*l*
10×times-frac
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
3×pow1 associate-*r*
2×prod-exp cbrt-unprod unswap-sqr
1×expm1-log1p-u cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative log1p-expm1-u div-inv add-log-exp
Counts
1 → 34
Calls
1 calls:
26.0ms
(* (/ y z) x)

series28.0ms

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

simplify676.0ms

Counts
37 → 37
Iterations
IterNodes
done5000
2773
1159
070

prune234.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
1.6b
(/ (* (cbrt y) x) z)
3.6b
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (cbrt y) x) z))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log
35×add-cbrt-cube
27×prod-exp
24×div-exp
17×add-sqr-sqrt
16×cbrt-unprod
14×cbrt-undiv
13×*-un-lft-identity
12×add-cube-cbrt
11×times-frac
7×associate-*r* associate-*l*
6×cbrt-prod pow1 1-exp
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* div-inv unswap-sqr
2×pow1/3
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l*
Counts
4 → 104
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
16.0ms
(/ (* (cbrt y) x) z)
52.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (cbrt y) x) z))

series883.0ms

Counts
4 → 12
Calls
4 calls:
300.0ms
(cbrt y)
333.0ms
(cbrt y)
166.0ms
(/ (* (cbrt y) x) z)
83.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (cbrt y) x) z))

simplify3.6s

Counts
116 → 116
Iterations
IterNodes
done5000
24310
1497
0155

prune693.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
59×add-exp-log
35×add-sqr-sqrt
32×add-cbrt-cube
28×times-frac
25×*-un-lft-identity
24×prod-exp
23×add-cube-cbrt
22×associate-*l*
20×div-exp
17×cbrt-prod cbrt-unprod
13×cbrt-undiv
7×associate-*r*
6×pow1
5×unswap-sqr
4×expm1-log1p-u 1-exp log1p-expm1-u add-log-exp
3×associate-/r* div-inv
2×pow1/3
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l*
Counts
4 → 119
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
60.0ms
(* (/ (cbrt y) 1) (/ (* (* (cbrt y) x) (cbrt y)) z))
36.0ms
(/ (* (* (cbrt y) x) (cbrt y)) z)

series976.0ms

Counts
4 → 12
Calls
4 calls:
335.0ms
(cbrt y)
280.0ms
(cbrt y)
85.0ms
(* (/ (cbrt y) 1) (/ (* (* (cbrt y) x) (cbrt y)) z))
276.0ms
(/ (* (* (cbrt y) x) (cbrt y)) z)

simplify3.1s

Counts
131 → 131
Iterations
IterNodes
done5001
24679
1555
0177

prune943.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite467.0ms

Algorithm
rewrite-expression-head
Rules
155×add-exp-log
84×prod-exp
76×add-cbrt-cube
61×cbrt-unprod
44×div-exp
35×add-sqr-sqrt
29×cbrt-undiv
28×times-frac
25×*-un-lft-identity
23×add-cube-cbrt
22×associate-*l*
17×cbrt-prod
8×1-exp
7×associate-*r*
6×pow1
5×unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* div-inv
2×pow1/3
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l*
Counts
4 → 147
Calls
4 calls:
1.0ms
(cbrt y)
2.0ms
(cbrt y)
335.0ms
(* (/ (cbrt y) 1) (/ (* (* (cbrt y) x) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))) z))
116.0ms
(/ (* (* (cbrt y) x) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))) z)

series893.0ms

Counts
4 → 12
Calls
4 calls:
256.0ms
(cbrt y)
323.0ms
(cbrt y)
69.0ms
(* (/ (cbrt y) 1) (/ (* (* (cbrt y) x) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))) z))
244.0ms
(/ (* (* (cbrt y) x) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))) z)

simplify496.0ms

Counts
159 → 159
Iterations
IterNodes
done5001
1804
0225

prune1.1s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes462.0ms

Accuracy

90.6% (0.5b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 5.8b

bsearch1.0ms

simplify1.2s

Iterations
IterNodes
done5001
142965
131828
12691
11456
10219
9161
8104
777
661
548
442
339
233
129
021

end0.0ms

sample923.0ms

Algorithm
intervals
Results
337.0ms9609×body80valid