Details

Time bar (total: 10.2s)

sample27.0ms

Algorithm
intervals
Results
10.0ms309×body80valid

simplify27.0ms

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

prune11.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))

rewrite31.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 div-inv associate-/l* add-log-exp
Counts
1 → 21
Calls
1 calls:
30.0ms
(/ (* a1 a2) (* b1 b2))

series42.0ms

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

simplify1.2s

Counts
24 → 24
Iterations
IterNodes
done5000
2950
1162
055

prune110.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

9.7b
(* (/ 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 add-log-exp
Counts
1 → 50
Calls
1 calls:
25.0ms
(* (/ a1 b1) (/ a2 b2))

series46.0ms

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

simplify1.8s

Counts
53 → 53
Iterations
IterNodes
done5001
22032
1331
0111

prune310.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a2)
0.6b
(* (cbrt a2) (cbrt a2))
3.5b
(/ (* a1 (* (cbrt a2) (cbrt a2))) b1)
6.0b
(* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
47×add-exp-log
46×add-sqr-sqrt
35×add-cbrt-cube
30×*-un-lft-identity add-cube-cbrt
29×cbrt-prod
28×associate-*r*
26×times-frac
18×prod-exp cbrt-unprod
13×pow1 cbrt-undiv div-exp associate-*l*
7×pow1/3 unswap-sqr
6×swap-sqr
4×add-log-exp
3×associate-/r* pow-prod-down div-inv
2×pow-sqr *-commutative pow-prod-up
1×pow2 frac-times clear-num frac-2neg pow-plus associate-*l/ associate-*r/ associate-/l*
Counts
4 → 134
Calls
4 calls:
1.0ms
(cbrt a2)
9.0ms
(* (cbrt a2) (cbrt a2))
30.0ms
(/ (* a1 (* (cbrt a2) (cbrt a2))) b1)
120.0ms
(* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))

series825.0ms

Counts
4 → 12
Calls
4 calls:
282.0ms
(cbrt a2)
288.0ms
(* (cbrt a2) (cbrt a2))
181.0ms
(/ (* a1 (* (cbrt a2) (cbrt a2))) b1)
74.0ms
(* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))

simplify428.0ms

Counts
146 → 146
Iterations
IterNodes
done5001
1659
0208

prune885.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

localize8.0ms

Local error

Found 2 expressions with local error:

5.8b
(/ (/ a1 (/ b1 a2)) b2)
6.0b
(/ a1 (/ b1 a2))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
471×times-frac
229×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
47×associate-/l*
22×div-inv
16×associate-/r* add-cbrt-cube add-exp-log
9×cbrt-undiv div-exp
5×associate-/r/
2×pow1 clear-num frac-2neg add-log-exp
1×associate-/l/
Counts
2 → 266
Calls
2 calls:
34.0ms
(/ (/ a1 (/ b1 a2)) b2)
8.0ms
(/ a1 (/ b1 a2))

series62.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(/ (/ a1 (/ b1 a2)) b2)
27.0ms
(/ a1 (/ b1 a2))

simplify598.0ms

Counts
272 → 272
Iterations
IterNodes
done5000
11198
0465

prune1.4s

Pruning

9 alts after pruning (5 fresh and 4 done)

Merged error: 0b

regimes972.0ms

Accuracy

78.2% (2.3b remaining)

Error of 2.4b against oracle of 0.1b and baseline of 10.6b

bsearch2.0ms

simplify10.0ms

Iterations
IterNodes
done37
337
234
131
025

end0.0ms

sample1.1s

Algorithm
intervals
Results
529.0ms10033×body80valid