Details

Time bar (total: 1.2m)

sample57.0ms

Algorithm
intervals
Results
24.0ms286×body80nan
17.0ms286×body80valid

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
done12
112
08

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.0b

localize12.0ms

Local error

Found 3 expressions with local error:

1.9b
(* c0 (sqrt (/ A (* V l))))
5.0b
(/ A (* V l))
14.1b
(sqrt (/ A (* V l)))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
123×add-sqr-sqrt
112×times-frac
83×sqrt-prod
82×*-un-lft-identity add-cube-cbrt
79×associate-*r*
39×associate-*l*
36×associate-/r* sqrt-div
18×associate-*r/ unswap-sqr
13×*-commutative
10×add-cbrt-cube add-exp-log
9×associate-/l*
6×pow1
3×expm1-log1p-u rem-sqrt-square clear-num frac-2neg insert-posit16 log1p-expm1-u div-inv add-log-exp
2×cbrt-undiv div-exp prod-exp cbrt-unprod
1×sqrt-pow1 pow1/2 pow-prod-down
Counts
3 → 223
Calls
3 calls:
55.0ms
(* c0 (sqrt (/ A (* V l))))
20.0ms
(/ A (* V l))
18.0ms
(sqrt (/ A (* V l)))

series182.0ms

Counts
3 → 9
Calls
3 calls:
87.0ms
(* c0 (sqrt (/ A (* V l))))
36.0ms
(/ A (* V l))
58.0ms
(sqrt (/ A (* V l)))

simplify1.5s

Counts
232 → 232
Iterations
IterNodes
done5000
21515
1572
0305

prune1.3s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 1.5b

localize48.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt A)
0.7b
(cbrt A)
1.9b
(* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))
4.8b
(sqrt (/ (/ (cbrt A) (cbrt V)) l))

rewrite930.0ms

Algorithm
rewrite-expression-head
Rules
555×times-frac
372×add-sqr-sqrt
318×cbrt-prod
302×*-un-lft-identity add-cube-cbrt
269×associate-*r*
260×sqrt-prod
122×sqrt-div associate-*r/
92×associate-/l*
30×associate-/l/
22×unswap-sqr
18×associate-/r*
10×pow1 div-inv
9×add-cbrt-cube add-exp-log
6×rem-sqrt-square associate-*l*
4×expm1-log1p-u clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp cbrt-unprod
2×pow1/3 *-commutative
1×sqrt-pow1 pow1/2
Counts
4 → 462
Calls
4 calls:
1.0ms
(cbrt A)
1.0ms
(cbrt A)
855.0ms
(* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))
28.0ms
(sqrt (/ (/ (cbrt A) (cbrt V)) l))

series1.1s

Counts
4 → 12
Calls
4 calls:
281.0ms
(cbrt A)
297.0ms
(cbrt A)
242.0ms
(* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l))))
255.0ms
(sqrt (/ (/ (cbrt A) (cbrt V)) l))

simplify2.8s

Counts
474 → 474
Iterations
IterNodes
done5000
12382
01067

prune3.2s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.0b

localize83.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt l)
0.7b
(cbrt A)
0.7b
(cbrt A)
1.9b
(* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))

rewrite10.8s

Algorithm
rewrite-expression-head
Rules
6406×add-sqr-sqrt
4482×associate-*r/
4321×sqrt-div
4175×cbrt-prod
3489×times-frac
2327×*-un-lft-identity
2163×associate-/r*
2112×frac-times
2064×associate-*r*
2004×unswap-sqr
2003×add-cube-cbrt
1759×associate-/l*
1673×sqrt-prod
552×swap-sqr
510×associate-/l/
502×associate-*l*
143×*-commutative
133×clear-num frac-2neg
42×div-inv
33×associate-*l/
13×pow1 add-cbrt-cube add-exp-log
6×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
Counts
4 → 3345
Calls
4 calls:
1.0ms
(cbrt l)
1.0ms
(cbrt A)
1.0ms
(cbrt A)
10.1s
(* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
300.0ms
(cbrt l)
336.0ms
(cbrt A)
274.0ms
(cbrt A)
230.0ms
(* c0 (* (fabs (/ (cbrt A) (cbrt V))) (* (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))

simplify9.6s

Counts
3357 → 3357
Iterations
IterNodes
done7565
07565

prune31.5s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 0.0b

localize110.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt l)
0.6b
(cbrt l)
0.7b
(cbrt A)
0.7b
(cbrt A)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 56
Calls
4 calls:
2.0ms
(cbrt l)
1.0ms
(cbrt l)
1.0ms
(cbrt A)
2.0ms
(cbrt A)

series1.1s

Counts
4 → 12
Calls
4 calls:
291.0ms
(cbrt l)
290.0ms
(cbrt l)
288.0ms
(cbrt A)
267.0ms
(cbrt A)

simplify1.6s

Counts
68 → 68
Iterations
IterNodes
done5024
52489
4844
3362
2176
181
048

prune585.0ms

Pruning

19 alts after pruning (17 fresh and 2 done)

Merged error: 0.0b

regimes992.0ms

Accuracy

0% (1.3b remaining)

Error of 1.4b against oracle of 0.1b and baseline of 1.4b

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done28
128
022

end0.0ms

sample2.7s

Algorithm
intervals
Results
881.0ms8621×body80nan
853.0ms8866×body80valid