Details

Time bar (total: 14.1s)

sample69.0ms

Algorithm
intervals
Results
29.0ms281×body80valid
23.0ms303×body80nan

simplify24.0ms

Calls
1 calls:
Slowest
24.0ms
(* c0 (sqrt (/ A (* V l))))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.7b

localize12.0ms

Local error

Found 3 expressions with local error:

15.2b
(sqrt (/ A (* V l)))
4.1b
(/ A (* V l))
1.9b
(* c0 (sqrt (/ A (* V l))))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
8×sqrt-prod
7×add-sqr-sqrt associate-*r*
6×*-un-lft-identity add-cube-cbrt
3×pow1 add-cbrt-cube add-exp-log insert-posit16 div-inv add-log-exp
2×sqrt-div
1×rem-sqrt-square clear-num associate-/r* frac-2neg pow1/2 associate-*r/ *-commutative
Calls
3 calls:
Slowest
2.0ms
(* c0 (sqrt (/ A (* V l))))
1.0ms
(sqrt (/ A (* V l)))
0.0ms
(/ A (* V l))

series98.0ms

Calls
3 calls:
Slowest
46.0ms
(* c0 (sqrt (/ A (* V l))))
40.0ms
(sqrt (/ A (* V l)))
12.0ms
(/ A (* V l))

simplify260.0ms

Calls
23 calls:
Slowest
29.0ms
(sqrt (sqrt (/ A (* V l))))
28.0ms
(sqrt (/ 1 (* V l)))
25.0ms
(sqrt (/ A (* V l)))
25.0ms
(cbrt (sqrt (/ A (* V l))))
21.0ms
(sqrt (cbrt (/ A (* V l))))

prune572.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 8.9b

localize17.0ms

Local error

Found 4 expressions with local error:

15.2b
(sqrt (/ A (* V l)))
15.2b
(sqrt (/ A (* V l)))
4.1b
(/ A (* V l))
4.1b
(/ A (* V l))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt sqrt-prod
6×*-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 div-inv add-log-exp
2×rem-sqrt-square clear-num associate-/r* frac-2neg pow1/2 sqrt-div
Calls
4 calls:
Slowest
2.0ms
(sqrt (/ A (* V l)))
2.0ms
(sqrt (/ A (* V l)))
1.0ms
(/ A (* V l))
1.0ms
(/ A (* V l))

series83.0ms

Calls
4 calls:
Slowest
27.0ms
(sqrt (/ A (* V l)))
27.0ms
(sqrt (/ A (* V l)))
16.0ms
(/ A (* V l))
13.0ms
(/ A (* V l))

simplify233.0ms

Calls
24 calls:
Slowest
27.0ms
(sqrt (sqrt (/ A (* V l))))
21.0ms
(/ A (* l V))
21.0ms
(sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))))
21.0ms
(sqrt (/ A (* V l)))
20.0ms
(sqrt (/ A (* V l)))

prune848.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 8.9b

localize19.0ms

Local error

Found 4 expressions with local error:

18.1b
(cbrt (/ A (* V l)))
18.1b
(cbrt (/ A (* V l)))
18.1b
(cbrt (/ A (* V l)))
15.2b
(sqrt (/ A (* V l)))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
9×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log sqrt-prod insert-posit16 div-inv add-log-exp
3×cbrt-div pow1/3
1×rem-sqrt-square pow1/2 sqrt-div
Calls
4 calls:
Slowest
1.0ms
(cbrt (/ A (* V l)))
1.0ms
(cbrt (/ A (* V l)))
1.0ms
(sqrt (/ A (* V l)))
1.0ms
(cbrt (/ A (* V l)))

series331.0ms

Calls
4 calls:
Slowest
116.0ms
(cbrt (/ A (* V l)))
107.0ms
(cbrt (/ A (* V l)))
88.0ms
(cbrt (/ A (* V l)))
19.0ms
(sqrt (/ A (* V l)))

simplify2.4s

Calls
33 calls:
Slowest
354.0ms
(* (exp (* 1/3 (- (+ (log (/ -1 V)) (log (/ -1 l))) (log (/ -1 A))))) (cbrt -1))
348.0ms
(* (exp (* 1/3 (- (+ (log (/ -1 V)) (log (/ -1 l))) (log (/ -1 A))))) (cbrt -1))
294.0ms
(* (exp (* 1/3 (- (+ (log (/ -1 V)) (log (/ -1 l))) (log (/ -1 A))))) (cbrt -1))
249.0ms
(exp (* 1/3 (- (log A) (+ (log l) (log V)))))
246.0ms
(exp (* 1/3 (- (log A) (+ (log l) (log V)))))

prune1.3s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 8.9b

localize48.0ms

Local error

Found 4 expressions with local error:

18.1b
(cbrt (/ A (* V l)))
18.1b
(cbrt (/ A (* V l)))
15.2b
(sqrt (/ A (* V l)))
13.0b
(cbrt (* V l))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
8×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log sqrt-prod insert-posit16 add-log-exp
3×pow1/3 div-inv
2×cbrt-div
1×rem-sqrt-square pow1/2 sqrt-div
Calls
4 calls:
Slowest
2.0ms
(sqrt (/ A (* V l)))
1.0ms
(cbrt (/ A (* V l)))
1.0ms
(cbrt (/ A (* V l)))
1.0ms
(cbrt (* V l))

series314.0ms

Calls
4 calls:
Slowest
101.0ms
(cbrt (/ A (* V l)))
97.0ms
(cbrt (/ A (* V l)))
97.0ms
(cbrt (* V l))
19.0ms
(sqrt (/ A (* V l)))

simplify2.2s

Calls
29 calls:
Slowest
342.0ms
(* (exp (* 1/3 (- (+ (log (/ -1 V)) (log (/ -1 l))) (log (/ -1 A))))) (cbrt -1))
300.0ms
(* (exp (* 1/3 (- (+ (log (/ -1 V)) (log (/ -1 l))) (log (/ -1 A))))) (cbrt -1))
283.0ms
(exp (* -1/3 (+ (log (/ 1 l)) (log (/ 1 V)))))
275.0ms
(exp (* 1/3 (- (log A) (+ (log l) (log V)))))
264.0ms
(exp (* 1/3 (- (log A) (+ (log l) (log V)))))

prune1.6s

Pruning

12 alts after pruning (8 fresh and 4 done)

Merged error: 8.9b

regimes1.3s

Accuracy

53.1% (4.0b remaining)

Error of 14.1b against oracle of 10.1b and baseline of 18.7b

bsearch10.0ms

end0.0ms

sample2.3s

Algorithm
intervals
Results
935.0ms8898×body80nan
859.0ms8848×body80valid