Details

Time bar (total: 14.3s)

sample35.0ms

Algorithm
intervals
Results
13.0ms309×body80valid

simplify43.0ms

Counts
1 → 1
Iterations
IterNodes
done79
479
367
237
116
07

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.0b

localize8.0ms

Local error

Found 1 expressions with local error:

12.0b
(/ (* a1 a2) (* b1 b2))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
13×add-cbrt-cube add-exp-log
4×cbrt-undiv div-exp prod-exp cbrt-unprod
1×add-sqr-sqrt expm1-log1p-u pow1 clear-num associate-/r* frac-2neg *-un-lft-identity times-frac add-cube-cbrt log1p-expm1-u div-inv associate-/l* add-log-exp
Counts
1 → 23
Calls
1 calls:
12.0ms
(/ (* a1 a2) (* b1 b2))

series45.0ms

Counts
1 → 3
Calls
1 calls:
45.0ms
(/ (* a1 a2) (* b1 b2))

simplify1.2s

Counts
26 → 26
Iterations
IterNodes
done5000
21084
1168
057

prune89.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

9.7b
(* (/ a2 b2) (/ a1 b1))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
22×times-frac
15×*-un-lft-identity add-cube-cbrt
13×add-cbrt-cube associate-*r* associate-*l* add-exp-log
4×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
3×pow1
2×div-inv
1×expm1-log1p-u frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative log1p-expm1-u add-log-exp
Counts
1 → 52
Calls
1 calls:
20.0ms
(* (/ a2 b2) (/ a1 b1))

series44.0ms

Counts
1 → 3
Calls
1 calls:
43.0ms
(* (/ a2 b2) (/ a1 b1))

simplify1.2s

Counts
55 → 55
Iterations
IterNodes
done5000
21637
1331
0113

prune317.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

4.7b
(/ (* (* a2 (cbrt (/ a1 b1))) (cbrt (/ a1 b1))) b2)
9.0b
(cbrt (/ a1 b1))
9.0b
(cbrt (/ a1 b1))
9.0b
(cbrt (/ a1 b1))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
30×times-frac
27×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×add-exp-log
10×add-cbrt-cube
7×cbrt-div
4×expm1-log1p-u pow1 log1p-expm1-u div-inv add-log-exp
3×cbrt-undiv associate-/r* pow1/3 div-exp prod-exp associate-*r/ cbrt-unprod associate-/l/
1×frac-times clear-num frac-2neg associate-*l/ associate-/l*
Counts
4 → 100
Calls
4 calls:
50.0ms
(/ (* (* a2 (cbrt (/ a1 b1))) (cbrt (/ a1 b1))) b2)
3.0ms
(cbrt (/ a1 b1))
4.0ms
(cbrt (/ a1 b1))
4.0ms
(cbrt (/ a1 b1))

series559.0ms

Counts
4 → 12
Calls
4 calls:
243.0ms
(/ (* (* a2 (cbrt (/ a1 b1))) (cbrt (/ a1 b1))) b2)
125.0ms
(cbrt (/ a1 b1))
110.0ms
(cbrt (/ a1 b1))
81.0ms
(cbrt (/ a1 b1))

simplify956.0ms

Counts
112 → 112
Iterations
IterNodes
done5000
21298
1331
0157

prune731.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.9b
(* (/ (* (* a2 (cbrt (/ a1 b1))) (* (cbrt a1) (cbrt (/ 1 b1)))) b2) (cbrt (/ a1 b1)))
4.7b
(/ (* (* a2 (cbrt (/ a1 b1))) (* (cbrt a1) (cbrt (/ 1 b1)))) b2)
9.0b
(cbrt (/ a1 b1))
9.0b
(cbrt (/ a1 b1))

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
47×add-exp-log
41×cbrt-prod
37×add-sqr-sqrt
34×times-frac
30×*-un-lft-identity add-cube-cbrt
29×add-cbrt-cube
22×prod-exp cbrt-unprod
16×associate-*r*
10×cbrt-undiv div-exp
8×cbrt-div
7×associate-*l*
6×pow1 associate-*r/
5×div-inv
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* unswap-sqr associate-/l/
2×frac-times pow1/3 associate-*l/
1×clear-num frac-2neg pow-prod-down *-commutative associate-/l*
Counts
4 → 132
Calls
4 calls:
191.0ms
(* (/ (* (* a2 (cbrt (/ a1 b1))) (* (cbrt a1) (cbrt (/ 1 b1)))) b2) (cbrt (/ a1 b1)))
57.0ms
(/ (* (* a2 (cbrt (/ a1 b1))) (* (cbrt a1) (cbrt (/ 1 b1)))) b2)
2.0ms
(cbrt (/ a1 b1))
3.0ms
(cbrt (/ a1 b1))

series582.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(* (/ (* (* a2 (cbrt (/ a1 b1))) (* (cbrt a1) (cbrt (/ 1 b1)))) b2) (cbrt (/ a1 b1)))
275.0ms
(/ (* (* a2 (cbrt (/ a1 b1))) (* (cbrt a1) (cbrt (/ 1 b1)))) b2)
90.0ms
(cbrt (/ a1 b1))
94.0ms
(cbrt (/ a1 b1))

simplify1.7s

Counts
144 → 144
Iterations
IterNodes
done5001
23668
1612
0230

prune1.0s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes951.0ms

Accuracy

81.6% (2.1b remaining)

Error of 2.2b against oracle of 0.1b and baseline of 11.4b

bsearch1.0ms

simplify3.3s

Iterations
IterNodes
done5002
154922
142034
131306
12578
11390
10202
9149
896
774
659
546
440
337
231
128
022

end0.0ms

sample1.0s

Algorithm
intervals
Results
384.0ms10033×body80valid