Details

Time bar (total: 16.0s)

sample30.0ms

Algorithm
intervals
Results
19.0ms321×body80valid

simplify55.0ms

Counts
1 → 1
Iterations
IterNodes
779
679
578
471
358
235
116
07

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.8b

localize16.0ms

Local error

Found 1 expressions with local error:

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

rewrite24.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 pow1 clear-num associate-/r* frac-2neg *-un-lft-identity times-frac add-cube-cbrt insert-posit16 div-inv associate-/l* add-log-exp
Counts
1 → 22
Calls
1 calls:
23.0ms
(/ (* a1 a2) (* b1 b2))

series52.0ms

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

simplify2.5s

Counts
25 → 25
Iterations
IterNodes
36636
2808
1158
056

prune86.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 1 expressions with local error:

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

rewrite27.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×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative insert-posit16 add-log-exp
Counts
1 → 51
Calls
1 calls:
25.0ms
(* (/ a1 b1) (/ a2 b2))

series42.0ms

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

simplify2.1s

Counts
54 → 54
Iterations
IterNodes
33737
21074
1326
0112

prune289.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b2)
0.8b
(* (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))) b1)
1.0b
(* (/ a1 (* (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))) b1)) (/ (cbrt a2) (cbrt b2)))
4.6b
(/ a1 (* (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))) b1))

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
120×add-exp-log
74×add-cbrt-cube
50×add-sqr-sqrt prod-exp cbrt-unprod
46×times-frac
43×cbrt-prod associate-*r*
41×cbrt-undiv div-exp
35×*-un-lft-identity add-cube-cbrt
13×associate-*l/
11×pow1 associate-*l*
6×associate-/r/ unswap-sqr
4×frac-times pow-prod-down associate-*r/ insert-posit16 add-log-exp
3×div-inv associate-/l*
2×*-commutative
1×clear-num associate-/r* frac-2neg pow1/3
Counts
4 → 170
Calls
4 calls:
1.0ms
(cbrt b2)
42.0ms
(* (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))) b1)
130.0ms
(* (/ a1 (* (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))) b1)) (/ (cbrt a2) (cbrt b2)))
34.0ms
(/ a1 (* (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))) b1))

series754.0ms

Counts
4 → 12
Calls
4 calls:
279.0ms
(cbrt b2)
222.0ms
(* (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))) b1)
55.0ms
(* (/ a1 (* (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))) b1)) (/ (cbrt a2) (cbrt b2)))
197.0ms
(/ a1 (* (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))) b1))

simplify1.6s

Counts
182 → 182
Iterations
IterNodes
24115
1973
0316

prune888.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a1)
1.0b
(/ (* (cbrt a1) (cbrt a1)) (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))))
1.5b
(* (/ (cbrt a1) b1) (/ (cbrt a2) (cbrt b2)))
2.0b
(* (/ (* (cbrt a1) (cbrt a1)) (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2)))) (* (/ (cbrt a1) b1) (/ (cbrt a2) (cbrt b2))))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
410×add-exp-log
182×add-cbrt-cube
181×prod-exp cbrt-unprod
156×cbrt-undiv div-exp
96×add-sqr-sqrt
78×times-frac
65×cbrt-prod
44×*-un-lft-identity add-cube-cbrt
41×associate-*r*
30×associate-*l*
15×unswap-sqr
11×pow1
8×frac-times associate-*r/
6×associate-*l/ associate-/r/
4×pow-prod-down insert-posit16 div-inv add-log-exp
2×*-commutative
1×clear-num associate-/r* frac-2neg pow1/3 associate-/l*
Counts
4 → 284
Calls
4 calls:
1.0ms
(cbrt a1)
22.0ms
(/ (* (cbrt a1) (cbrt a1)) (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))))
16.0ms
(* (/ (cbrt a1) b1) (/ (cbrt a2) (cbrt b2)))
84.0ms
(* (/ (* (cbrt a1) (cbrt a1)) (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2)))) (* (/ (cbrt a1) b1) (/ (cbrt a2) (cbrt b2))))

series612.0ms

Counts
4 → 12
Calls
4 calls:
230.0ms
(cbrt a1)
175.0ms
(/ (* (cbrt a1) (cbrt a1)) (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2))))
122.0ms
(* (/ (cbrt a1) b1) (/ (cbrt a2) (cbrt b2)))
86.0ms
(* (/ (* (cbrt a1) (cbrt a1)) (* (/ (cbrt b2) (cbrt a2)) (/ (cbrt b2) (cbrt a2)))) (* (/ (cbrt a1) b1) (/ (cbrt a2) (cbrt b2))))

simplify2.7s

Counts
296 → 296
Iterations
IterNodes
26300
11478
0461

prune1.4s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0b

regimes637.0ms

Accuracy

2.1% (4.4b remaining)

Error of 4.5b against oracle of 0.0b and baseline of 4.6b

bsearch2.0ms

simplify9.0ms

Iterations
IterNodes
245
145
038

end0.0ms

sample1.7s

Algorithm
intervals
Results
975.0ms9958×body80valid