Details

Time bar (total: 15.4s)

sample53.0ms

Algorithm
intervals
Results
35.0ms319×body80valid

simplify84.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.8b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite20.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:
19.0ms
(/ (* a1 a2) (* b1 b2))

series34.0ms

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

simplify2.6s

Counts
25 → 25
Iterations
IterNodes
36636
2808
1158
056

prune271.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite28.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:
26.0ms
(* (/ a1 b1) (/ a2 b2))

series34.0ms

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

simplify2.1s

Counts
54 → 54
Iterations
IterNodes
33737
21074
1326
0112

prune512.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 2 expressions with local error:

5.0b
(/ (/ a2 b2) b1)
6.0b
(* a1 (/ (/ a2 b2) b1))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
144×times-frac
89×add-sqr-sqrt
80×*-un-lft-identity add-cube-cbrt
43×associate-*r*
16×add-cbrt-cube add-exp-log
13×associate-/l*
9×div-inv
6×cbrt-undiv div-exp
4×pow1
3×associate-/r* associate-*l* prod-exp cbrt-unprod unswap-sqr
2×insert-posit16 add-log-exp
1×clear-num frac-2neg pow-prod-down associate-*r/ *-commutative associate-/l/
Counts
2 → 137
Calls
2 calls:
10.0ms
(/ (/ a2 b2) b1)
18.0ms
(* a1 (/ (/ a2 b2) b1))

series54.0ms

Counts
2 → 6
Calls
2 calls:
22.0ms
(/ (/ a2 b2) b1)
32.0ms
(* a1 (/ (/ a2 b2) b1))

simplify2.8s

Counts
143 → 143
Iterations
IterNodes
35546
21579
1558
0223

prune1.4s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

4.4b
(* (* (* a1 (cbrt (/ a2 b2))) (cbrt (/ a2 b2))) (/ (cbrt (/ a2 b2)) b1))
11.6b
(cbrt (/ a2 b2))
11.6b
(cbrt (/ a2 b2))
11.6b
(cbrt (/ a2 b2))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
102×times-frac
78×cbrt-prod
66×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
52×associate-*r*
25×add-exp-log
16×add-cbrt-cube
13×pow1
12×prod-exp cbrt-unprod
11×cbrt-div
7×associate-*r/ div-inv
6×pow-prod-down
5×frac-times associate-*l/
4×insert-posit16 add-log-exp
3×cbrt-undiv pow1/3 div-exp
1×associate-*l* *-commutative
Counts
4 → 153
Calls
4 calls:
84.0ms
(* (* (* a1 (cbrt (/ a2 b2))) (cbrt (/ a2 b2))) (/ (cbrt (/ a2 b2)) b1))
1.0ms
(cbrt (/ a2 b2))
1.0ms
(cbrt (/ a2 b2))
1.0ms
(cbrt (/ a2 b2))

series336.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* (* (* a1 (cbrt (/ a2 b2))) (cbrt (/ a2 b2))) (/ (cbrt (/ a2 b2)) b1))
106.0ms
(cbrt (/ a2 b2))
85.0ms
(cbrt (/ a2 b2))
92.0ms
(cbrt (/ a2 b2))

simplify869.0ms

Counts
165 → 165
Iterations
IterNodes
22501
1713
0247

prune1.8s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0b

regimes485.0ms

Accuracy

-4.6% (10.8b remaining)

Error of 10.8b against oracle of 0.0b and baseline of 10.3b

bsearch349.0ms

Steps
ItersRangePoint
5
1.1772947465352269e+88
4.4782309392589594e+88
1.3929709356464372e+88
7
2.2548118866137623e-148
5.880747276927268e-147
5.6037110240578724e-148
9
5.147029620487328e-269
1.4109974160260956e-262
8.377469299573798e-267
9
-1.527589646502472e-264
-1.0025007196121197e-269
-2.7564687177065716e-269
10
-4.019518168211721e-180
-1.5937000146667717e-198
-3.75577994435908e-192
7
-4.2926969131343694e-101
-3.121077082618585e-103
-1.4115765653207805e-101
6
-8.75813691704633e-23
-1.5075730518364548e-23
-7.197696696298761e-23
8
-2.5586895526470694e+155
-3.554202870153192e+151
-2.6262968301438297e+154

simplify26.0ms

Iterations
IterNodes
256
156
047

end0.0ms

sample1.3s

Algorithm
intervals
Results
887.0ms10028×body80valid