Details

Time bar (total: 14.8s)

sample29.0ms

Algorithm
intervals
Results
12.0ms307×body80valid

simplify15.0ms

Counts
1 → 1
Iterations
IterNodes
done16
516
415
313
210
18
05

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.7b

localize10.0ms

Local error

Found 1 expressions with local error:

6.5b
(/ (* x y) z)

rewrite13.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 log1p-expm1-u div-inv associate-/l* add-log-exp
Counts
1 → 23
Calls
1 calls:
12.0ms
(/ (* x y) z)

series34.0ms

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

simplify1.4s

Counts
26 → 26
Iterations
IterNodes
done5000
32195
2461
1120
050

prune171.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

5.9b
(/ x (/ z y))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
43×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-/r*
6×add-cbrt-cube add-exp-log
5×div-inv
3×cbrt-undiv div-exp associate-/l*
1×expm1-log1p-u pow1 clear-num frac-2neg associate-/r/ log1p-expm1-u add-log-exp
Counts
1 → 72
Calls
1 calls:
12.0ms
(/ x (/ z y))

series40.0ms

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

simplify1.4s

Counts
75 → 75
Iterations
IterNodes
done5000
33436
2971
1370
0152

prune333.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.4b
(* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (/ (cbrt z) y)))
1.9b
(/ (cbrt x) (/ (cbrt z) y))

rewrite130.0ms

Algorithm
rewrite-expression-head
Rules
508×times-frac
283×add-sqr-sqrt
266×*-un-lft-identity add-cube-cbrt
263×cbrt-prod
137×associate-*r*
78×add-exp-log
36×add-cbrt-cube
30×cbrt-undiv div-exp
27×prod-exp cbrt-unprod
22×associate-/r*
15×div-inv
9×pow1
7×unswap-sqr
6×associate-/l*
5×frac-times associate-*l/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down associate-*r/
2×pow1/3 associate-/r/
1×clear-num frac-2neg associate-*l* *-commutative
Counts
4 → 397
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
96.0ms
(* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (/ (cbrt z) y)))
11.0ms
(/ (cbrt x) (/ (cbrt z) y))

series590.0ms

Counts
4 → 12
Calls
4 calls:
206.0ms
(cbrt x)
209.0ms
(cbrt x)
39.0ms
(* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (/ (cbrt x) (/ (cbrt z) y)))
136.0ms
(/ (cbrt x) (/ (cbrt z) y))

simplify2.0s

Counts
409 → 409
Iterations
IterNodes
done5000
11871
0535

prune2.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize96.0ms

Local error

Found 4 expressions with local error:

1.4b
(* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (* (/ (/ 1 (cbrt (/ (cbrt z) y))) (cbrt (/ (cbrt z) y))) (/ (cbrt x) (cbrt (/ (cbrt z) y)))))
4.9b
(cbrt (/ (cbrt z) y))
4.9b
(cbrt (/ (cbrt z) y))
4.9b
(cbrt (/ (cbrt z) y))

rewrite594.0ms

Algorithm
rewrite-expression-head
Rules
327×add-exp-log
149×prod-exp
129×div-exp
93×cbrt-prod cbrt-unprod
89×add-cbrt-cube
73×cbrt-undiv
54×times-frac
43×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
17×frac-times
16×pow1
11×associate-*l/ associate-*r/
10×rec-exp 1-exp
8×pow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-div pow1/3 div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 220
Calls
4 calls:
575.0ms
(* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (* (/ (/ 1 (cbrt (/ (cbrt z) y))) (cbrt (/ (cbrt z) y))) (/ (cbrt x) (cbrt (/ (cbrt z) y)))))
3.0ms
(cbrt (/ (cbrt z) y))
3.0ms
(cbrt (/ (cbrt z) y))
3.0ms
(cbrt (/ (cbrt z) y))

series972.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (* (/ (/ 1 (cbrt (/ (cbrt z) y))) (cbrt (/ (cbrt z) y))) (/ (cbrt x) (cbrt (/ (cbrt z) y)))))
201.0ms
(cbrt (/ (cbrt z) y))
225.0ms
(cbrt (/ (cbrt z) y))
484.0ms
(cbrt (/ (cbrt z) y))

simplify2.4s

Counts
232 → 232
Iterations
IterNodes
done5001
23036
1750
0301

prune1.1s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes452.0ms

Accuracy

75.8% (0.8b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 3.1b

bsearch1.0ms

simplify7.0ms

Iterations
IterNodes
done26
126
023

end0.0ms

sample679.0ms

Algorithm
intervals
Results
322.0ms9508×body80valid