Details

Time bar (total: 24.0s)

sample60.0ms

Algorithm
intervals
Results
24.0ms302×body80nan
17.0ms278×body80valid

simplify14.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
14.0ms
(* c0 (sqrt (/ A (* V l))))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.3b

localize12.0ms

Local error

Found 3 expressions with local error:

15.4b
(sqrt (/ A (* V l)))
3.8b
(/ A (* V l))
0.9b
(* c0 (sqrt (/ A (* V l))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
15×sqrt-prod
11×*-un-lft-identity add-cube-cbrt
10×add-cbrt-cube associate-*r* add-exp-log
9×times-frac
6×pow1
3×associate-*l* insert-posit16 div-inv associate-/l* add-log-exp
2×cbrt-undiv sqrt-div div-exp prod-exp cbrt-unprod unswap-sqr
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 pow-prod-down associate-*r/ *-commutative
Counts
3 → 69
Calls
3 calls:
Slowest
22.0ms
(* c0 (sqrt (/ A (* V l))))
6.0ms
(/ A (* V l))
5.0ms
(sqrt (/ A (* V l)))

series128.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
56.0ms
(* c0 (sqrt (/ A (* V l))))
39.0ms
(sqrt (/ A (* V l)))
32.0ms
(/ A (* V l))

simplify1.2s

Counts
51 → 78
Calls
51 calls:
Slowest
277.0ms
(* (* (* c0 c0) c0) (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l)))))
188.0ms
(/ (* (* A A) A) (* (* (* V l) (* V l)) (* V l)))
131.0ms
(/ (* (* A A) A) (* (* (* V V) V) (* (* l l) l)))
35.0ms
(+ (log c0) (log (sqrt (/ A (* V l)))))
34.0ms
(- (log A) (+ (log V) (log l)))

prune836.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 6.5b

localize21.0ms

Local error

Found 3 expressions with local error:

15.4b
(sqrt (/ A (* V l)))
3.8b
(/ A (* V l))
0.9b
(* (sqrt (/ A (* V l))) c0)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
15×sqrt-prod
11×*-un-lft-identity add-cube-cbrt
10×add-cbrt-cube associate-*l* add-exp-log
9×times-frac
6×pow1
3×associate-*r* insert-posit16 div-inv associate-/l* add-log-exp
2×cbrt-undiv sqrt-div div-exp prod-exp cbrt-unprod unswap-sqr
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 pow-prod-down associate-*l/ *-commutative
Counts
3 → 69
Calls
3 calls:
Slowest
24.0ms
(* (sqrt (/ A (* V l))) c0)
9.0ms
(/ A (* V l))
5.0ms
(sqrt (/ A (* V l)))

series180.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
111.0ms
(* (sqrt (/ A (* V l))) c0)
41.0ms
(sqrt (/ A (* V l)))
29.0ms
(/ A (* V l))

simplify1.1s

Counts
50 → 78
Calls
50 calls:
Slowest
241.0ms
(* (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l)))) (* (* c0 c0) c0))
167.0ms
(/ (* (* A A) A) (* (* (* V l) (* V l)) (* V l)))
109.0ms
(/ (* (* A A) A) (* (* (* V V) V) (* (* l l) l)))
64.0ms
(- (log A) (+ (log V) (log l)))
58.0ms
(- (log A) (log (* V l)))

prune922.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 6.5b

localize34.0ms

Local error

Found 4 expressions with local error:

15.4b
(sqrt (/ A (* V l)))
15.4b
(sqrt (/ A (* V l)))
3.8b
(/ A (* V l))
3.8b
(/ A (* V l))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt add-cbrt-cube add-exp-log sqrt-prod
12×*-un-lft-identity times-frac add-cube-cbrt
6×pow1 associate-/l*
4×cbrt-undiv div-exp insert-posit16 div-inv add-log-exp
2×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 sqrt-div prod-exp cbrt-unprod
Counts
4 → 82
Calls
4 calls:
Slowest
8.0ms
(sqrt (/ A (* V l)))
6.0ms
(/ A (* V l))
6.0ms
(/ A (* V l))
5.0ms
(sqrt (/ A (* V l)))

series141.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
51.0ms
(sqrt (/ A (* V l)))
33.0ms
(sqrt (/ A (* V l)))
33.0ms
(/ A (* V l))
24.0ms
(/ A (* V l))

simplify1.1s

Counts
56 → 94
Calls
56 calls:
Slowest
200.0ms
(/ (* (* A A) A) (* (* (* V l) (* V l)) (* V l)))
158.0ms
(/ (* (* A A) A) (* (* (* V l) (* V l)) (* V l)))
138.0ms
(/ (* (* A A) A) (* (* (* V V) V) (* (* l l) l)))
92.0ms
(/ (* (* A A) A) (* (* (* V V) V) (* (* l l) l)))
50.0ms
(- (log A) (+ (log V) (log l)))

prune1.4s

Pruning

16 alts after pruning (14 fresh and 2 done)

Merged error: 6.5b

localize45.0ms

Local error

Found 4 expressions with local error:

15.4b
(sqrt (/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A))))
2.5b
(/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A)))
1.7b
(/ (* V l) (cbrt A))
0.9b
(* (sqrt (/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A)))) c0)

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
62×times-frac
32×add-sqr-sqrt add-exp-log sqrt-prod
24×*-un-lft-identity add-cube-cbrt
20×add-cbrt-cube
18×cbrt-prod associate-*l*
16×associate-/r*
12×cbrt-undiv div-exp
8×div-inv
7×pow1 prod-exp cbrt-unprod
4×insert-posit16 add-log-exp
3×associate-*r* associate-/r/ unswap-sqr
2×rem-sqrt-square clear-num frac-2neg sqrt-div associate-/l*
1×sqrt-pow1 pow1/2 pow-prod-down associate-*l/ *-commutative
Counts
4 → 138
Calls
4 calls:
Slowest
25.0ms
(/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A)))
24.0ms
(* (sqrt (/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A)))) c0)
21.0ms
(/ (* V l) (cbrt A))
12.0ms
(sqrt (/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A))))

series390.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
135.0ms
(/ (* V l) (cbrt A))
111.0ms
(* (sqrt (/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A)))) c0)
73.0ms
(/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A)))
70.0ms
(sqrt (/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A))))

simplify10.7s

Counts
126 → 150
Calls
126 calls:
Slowest
1.1s
(* (* (* (sqrt (/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A)))) (sqrt (/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A))))) (sqrt (/ (* (cbrt A) (cbrt A)) (/ (* V l) (cbrt A))))) (* (* c0 c0) c0))
550.0ms
(/ (* A A) (/ (* (* (* V V) V) (* (* l l) l)) A))
524.0ms
(* (pow (/ -1 A) 1/3) (/ (* V l) (cbrt -1)))
491.0ms
(/ (* A A) (/ (* (* (* V l) (* V l)) (* V l)) A))
473.0ms
(- (+ (log (cbrt A)) (log (cbrt A))) (- (+ (log V) (log l)) (log (cbrt A))))

prune1.9s

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 3.6b

regimes1.1s

Accuracy

31.3% (7.0b remaining)

Error of 10.6b against oracle of 3.6b and baseline of 13.8b

bsearch15.0ms

end0.0ms

sample2.4s

Algorithm
intervals
Results
868.0ms8814×body80valid
849.0ms8983×body80nan