Details

Time bar (total: 39.6s)

sample427.0ms

Algorithm
intervals
Results
241.0ms1101×body80nan
117.0ms402×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5000
31271
2198
158
022

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.1b

localize48.0ms

Local error

Found 4 expressions with local error:

12.2b
(sqrt (/ d h))
13.2b
(* (/ M (/ (* 2 d) D)) (/ h l))
15.5b
(sqrt (/ d l))
15.5b
(sqrt (/ d l))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
73×times-frac
67×add-sqr-sqrt
46×*-un-lft-identity add-cube-cbrt
39×sqrt-prod
36×add-cbrt-cube add-exp-log
26×associate-*l*
14×cbrt-undiv div-exp
13×associate-*r*
10×prod-exp cbrt-unprod
9×pow1
8×div-inv
6×rem-sqrt-square
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×sqrt-pow1 pow1/2 sqrt-div
1×frac-times pow-prod-down associate-*l/ associate-*r/ associate-/r/ *-commutative
Counts
4 → 158
Calls
4 calls:
7.0ms
(sqrt (/ d h))
78.0ms
(* (/ M (/ (* 2 d) D)) (/ h l))
4.0ms
(sqrt (/ d l))
4.0ms
(sqrt (/ d l))

series299.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(sqrt (/ d h))
104.0ms
(* (/ M (/ (* 2 d) D)) (/ h l))
48.0ms
(sqrt (/ d l))
60.0ms
(sqrt (/ d l))

simplify1.8s

Counts
170 → 170
Iterations
IterNodes
done5097
22849
1783
0312

prune1.5s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 21.7b

localize129.0ms

Local error

Found 4 expressions with local error:

12.2b
(sqrt (/ d h))
12.2b
(sqrt (/ d h))
13.2b
(* (/ M (/ (* 2 d) D)) (/ h l))
15.5b
(sqrt (/ d l))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
73×times-frac
67×add-sqr-sqrt
46×*-un-lft-identity add-cube-cbrt
39×sqrt-prod
36×add-cbrt-cube add-exp-log
26×associate-*l*
14×cbrt-undiv div-exp
13×associate-*r*
10×prod-exp cbrt-unprod
9×pow1
8×div-inv
6×rem-sqrt-square
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×sqrt-pow1 pow1/2 sqrt-div
1×frac-times pow-prod-down associate-*l/ associate-*r/ associate-/r/ *-commutative
Counts
4 → 158
Calls
4 calls:
7.0ms
(sqrt (/ d h))
7.0ms
(sqrt (/ d h))
79.0ms
(* (/ M (/ (* 2 d) D)) (/ h l))
8.0ms
(sqrt (/ d l))

series279.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(sqrt (/ d h))
69.0ms
(sqrt (/ d h))
73.0ms
(* (/ M (/ (* 2 d) D)) (/ h l))
59.0ms
(sqrt (/ d l))

simplify1.8s

Counts
170 → 170
Iterations
IterNodes
done5097
22849
1783
0312

prune1.9s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 19.2b

localize101.0ms

Local error

Found 4 expressions with local error:

7.5b
(fma (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (* (* (/ M (/ (* 2 d) D)) (/ h l)) (/ M (/ (* 2 d) D))) -1/2) (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))))
12.2b
(sqrt (/ d h))
12.2b
(sqrt (/ d h))
13.2b
(* (/ M (/ (* 2 d) D)) (/ h l))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
63×times-frac
57×add-sqr-sqrt
39×*-un-lft-identity add-cube-cbrt
36×add-cbrt-cube add-exp-log
26×associate-*l* sqrt-prod
14×cbrt-undiv div-exp
13×associate-*r*
10×prod-exp cbrt-unprod
8×pow1
7×div-inv
4×expm1-log1p-u rem-sqrt-square insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×sqrt-pow1 pow1/2 sqrt-div
1×frac-times pow-prod-down associate-*l/ associate-*r/ associate-/r/ *-commutative fma-udef
Counts
4 → 141
Calls
4 calls:
0.0ms
(fma (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (* (* (/ M (/ (* 2 d) D)) (/ h l)) (/ M (/ (* 2 d) D))) -1/2) (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))))
4.0ms
(sqrt (/ d h))
6.0ms
(sqrt (/ d h))
72.0ms
(* (/ M (/ (* 2 d) D)) (/ h l))

series1.7s

Counts
4 → 12
Calls
4 calls:
1.1s
(fma (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (* (* (/ M (/ (* 2 d) D)) (/ h l)) (/ M (/ (* 2 d) D))) -1/2) (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))))
58.0ms
(sqrt (/ d h))
55.0ms
(sqrt (/ d h))
463.0ms
(* (/ M (/ (* 2 d) D)) (/ h l))

simplify2.4s

Counts
153 → 153
Iterations
IterNodes
done5017
23749
1913
0331

prune1.7s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 15.1b

localize104.0ms

Local error

Found 4 expressions with local error:

7.4b
(* (/ M (/ (* 2 d) D)) h)
7.5b
(fma (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (* (/ (* (/ M (/ (* 2 d) D)) h) l) (/ M (/ (* 2 d) D))) -1/2) (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))))
12.2b
(sqrt (/ d h))
12.2b
(sqrt (/ d h))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
51×times-frac
44×add-sqr-sqrt
33×*-un-lft-identity add-cube-cbrt
26×associate-*l* sqrt-prod
18×add-cbrt-cube add-exp-log
8×pow1
6×div-inv
5×cbrt-undiv div-exp prod-exp cbrt-unprod
4×expm1-log1p-u rem-sqrt-square insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r*
2×sqrt-pow1 pow1/2 sqrt-div unswap-sqr
1×pow-prod-down associate-*l/ associate-/r/ *-commutative fma-udef
Counts
4 → 119
Calls
4 calls:
38.0ms
(* (/ M (/ (* 2 d) D)) h)
1.0ms
(fma (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (* (/ (* (/ M (/ (* 2 d) D)) h) l) (/ M (/ (* 2 d) D))) -1/2) (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))))
7.0ms
(sqrt (/ d h))
8.0ms
(sqrt (/ d h))

series1.3s

Counts
4 → 12
Calls
4 calls:
77.0ms
(* (/ M (/ (* 2 d) D)) h)
1.1s
(fma (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (* (/ (* (/ M (/ (* 2 d) D)) h) l) (/ M (/ (* 2 d) D))) -1/2) (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))))
71.0ms
(sqrt (/ d h))
63.0ms
(sqrt (/ d h))

simplify2.1s

Counts
131 → 131
Iterations
IterNodes
done5001
22719
1695
0286

prune1.2s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 14.8b

regimes2.6s

Accuracy

0% (2.3b remaining)

Error of 16.3b against oracle of 14.0b and baseline of 16.3b

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done38
138
030

end0.0ms

sample16.3s

Algorithm
intervals
Results
9.7s38005×body80nan
4.7s12701×body80valid