Details

Time bar (total: 15.0s)

sample64.0ms

Algorithm
intervals
Results
21.0ms362×body80nan
13.0ms288×body80valid

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
done14
214
112
08

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.1b

localize13.0ms

Local error

Found 3 expressions with local error:

0.7b
(* c0 (sqrt (/ A (* V l))))
6.9b
(/ A (* V l))
14.2b
(sqrt (/ A (* V l)))

rewrite73.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* 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 → 66
Calls
3 calls:
55.0ms
(* c0 (sqrt (/ A (* V l))))
9.0ms
(/ A (* V l))
5.0ms
(sqrt (/ A (* V l)))

series134.0ms

Counts
3 → 9
Calls
3 calls:
59.0ms
(* c0 (sqrt (/ A (* V l))))
21.0ms
(/ A (* V l))
54.0ms
(sqrt (/ A (* V l)))

simplify2.3s

Counts
75 → 75
Iterations
IterNodes
done5000
33823
2807
1221
0105

prune575.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 5.2b

localize37.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 1 (* (/ V A) l))
0.7b
(* c0 (sqrt (/ 1 (* (/ V A) l))))
4.4b
(* (/ V A) l)
14.2b
(sqrt (/ 1 (* (/ V A) l)))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
32×add-exp-log
30×add-sqr-sqrt
20×*-un-lft-identity add-cbrt-cube add-cube-cbrt
19×times-frac
17×sqrt-prod
16×associate-*l*
15×pow1
14×associate-*r*
10×div-exp
9×prod-exp
5×cbrt-undiv cbrt-unprod
4×sqrt-pow1 pow-prod-down associate-*l/ div-inv pow-flip add-log-exp unswap-sqr
3×rec-exp 1-exp associate-/r/ associate-/l*
2×sqrt-div *-commutative inv-pow
1×rem-sqrt-square clear-num associate-/r* frac-2neg pow1/2 associate-*r/
Counts
4 → 115
Calls
4 calls:
29.0ms
(/ 1 (* (/ V A) l))
76.0ms
(* c0 (sqrt (/ 1 (* (/ V A) l))))
22.0ms
(* (/ V A) l)
21.0ms
(sqrt (/ 1 (* (/ V A) l)))

series197.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(/ 1 (* (/ V A) l))
74.0ms
(* c0 (sqrt (/ 1 (* (/ V A) l))))
34.0ms
(* (/ V A) l)
56.0ms
(sqrt (/ 1 (* (/ V A) l)))

simplify1.1s

Counts
127 → 127
Iterations
IterNodes
done5000
21618
1376
0164

prune761.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 3.6b

localize103.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt A)
0.7b
(* c0 (sqrt (/ 1 (* (/ (* (cbrt V) (cbrt V)) (* (cbrt A) (cbrt A))) (/ (* l (cbrt V)) (cbrt A))))))
1.4b
(/ (* l (cbrt V)) (cbrt A))
14.2b
(sqrt (/ 1 (* (/ (* (cbrt V) (cbrt V)) (* (cbrt A) (cbrt A))) (/ (* l (cbrt V)) (cbrt A)))))

rewrite463.0ms

Algorithm
rewrite-expression-head
Rules
21×sqrt-prod
20×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
13×associate-*r*
12×times-frac
11×add-exp-log
10×pow1
9×cbrt-prod
8×add-cbrt-cube
6×associate-/r* associate-/r/
4×sqrt-pow1 add-log-exp
3×associate-*l* associate-*r/ div-inv
2×frac-times cbrt-undiv sqrt-div div-exp pow-prod-down associate-*l/ prod-exp cbrt-unprod pow-flip unswap-sqr
1×rem-sqrt-square clear-num frac-2neg pow1/2 pow1/3 *-commutative associate-/l* inv-pow
Counts
4 → 92
Calls
4 calls:
1.0ms
(cbrt A)
330.0ms
(* c0 (sqrt (/ 1 (* (/ (* (cbrt V) (cbrt V)) (* (cbrt A) (cbrt A))) (/ (* l (cbrt V)) (cbrt A))))))
15.0ms
(/ (* l (cbrt V)) (cbrt A))
111.0ms
(sqrt (/ 1 (* (/ (* (cbrt V) (cbrt V)) (* (cbrt A) (cbrt A))) (/ (* l (cbrt V)) (cbrt A)))))

series551.0ms

Counts
4 → 12
Calls
4 calls:
310.0ms
(cbrt A)
76.0ms
(* c0 (sqrt (/ 1 (* (/ (* (cbrt V) (cbrt V)) (* (cbrt A) (cbrt A))) (/ (* l (cbrt V)) (cbrt A))))))
90.0ms
(/ (* l (cbrt V)) (cbrt A))
75.0ms
(sqrt (/ 1 (* (/ (* (cbrt V) (cbrt V)) (* (cbrt A) (cbrt A))) (/ (* l (cbrt V)) (cbrt A)))))

simplify822.0ms

Counts
104 → 104
Iterations
IterNodes
done5000
21442
1383
0178

prune902.0ms

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 2.3b

localize65.0ms

Local error

Found 4 expressions with local error:

0.8b
(pow (cbrt V) 3)
1.3b
(* (* c0 (sqrt (/ 1 (/ (* l (pow (cbrt V) 3)) (cbrt A))))) (sqrt (* (cbrt A) (cbrt A))))
2.7b
(/ (* l (pow (cbrt V) 3)) (cbrt A))
14.3b
(sqrt (/ 1 (/ (* l (pow (cbrt V) 3)) (cbrt A))))

rewrite252.0ms

Algorithm
rewrite-expression-head
Rules
56×times-frac
38×add-sqr-sqrt
36×sqrt-prod
35×*-un-lft-identity
34×add-cube-cbrt
21×cbrt-prod
20×add-exp-log
12×pow1 add-cbrt-cube
6×associate-/r* unpow-prod-down cube-prod prod-exp
5×div-inv
4×div-exp associate-*r* cbrt-unprod add-log-exp
3×rem-sqrt-square pow-unpow sqrt-pow1 pow-prod-down
2×pow-to-exp cbrt-undiv pow-pow sqrt-div pow-exp
1×cube-mult clear-num frac-2neg pow1/2 pow1/3 unpow3 associate-*l* associate-*l/ associate-*r/ associate-/r/ *-commutative pow-flip associate-/l* inv-pow rem-cube-cbrt sqr-pow
Counts
4 → 129
Calls
4 calls:
3.0ms
(pow (cbrt V) 3)
212.0ms
(* (* c0 (sqrt (/ 1 (/ (* l (pow (cbrt V) 3)) (cbrt A))))) (sqrt (* (cbrt A) (cbrt A))))
15.0ms
(/ (* l (pow (cbrt V) 3)) (cbrt A))
18.0ms
(sqrt (/ 1 (/ (* l (pow (cbrt V) 3)) (cbrt A))))

series1.0s

Counts
4 → 12
Calls
4 calls:
365.0ms
(pow (cbrt V) 3)
272.0ms
(* (* c0 (sqrt (/ 1 (/ (* l (pow (cbrt V) 3)) (cbrt A))))) (sqrt (* (cbrt A) (cbrt A))))
178.0ms
(/ (* l (pow (cbrt V) 3)) (cbrt A))
213.0ms
(sqrt (/ 1 (/ (* l (pow (cbrt V) 3)) (cbrt A))))

simplify1.3s

Counts
141 → 141
Iterations
IterNodes
done5001
23026
1700
0290

prune816.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 1.3b

regimes1.2s

Accuracy

52.1% (6.3b remaining)

Error of 8.1b against oracle of 1.8b and baseline of 15.0b

bsearch2.0ms

simplify26.0ms

Iterations
IterNodes
done83
483
377
270
166
054

end0.0ms

sample2.0s

Algorithm
intervals
Results
484.0ms8891×body80valid
447.0ms8856×body80nan