Details

Time bar (total: 53.3s)

sample757.0ms

Algorithm
intervals
Results
456.0ms1258×body80nan
186.0ms404×body80valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5000
31271
2198
158
022

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 22.9b

localize55.0ms

Local error

Found 4 expressions with local error:

9.9b
(sqrt (/ d l))
10.5b
(sqrt (/ d h))
10.5b
(sqrt (/ d h))
11.4b
(* (/ M (/ (* 2 d) D)) (/ h l))

rewrite53.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:
2.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d h))
43.0ms
(* (/ M (/ (* 2 d) D)) (/ h l))

series276.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(sqrt (/ d l))
52.0ms
(sqrt (/ d h))
62.0ms
(sqrt (/ d h))
107.0ms
(* (/ M (/ (* 2 d) D)) (/ h l))

simplify2.0s

Counts
170 → 170
Iterations
IterNodes
done5000
22997
1800
0312

prune1.7s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 16.2b

localize67.0ms

Local error

Found 4 expressions with local error:

9.9b
(sqrt (/ d l))
9.9b
(sqrt (/ d l))
10.5b
(sqrt (/ d h))
10.5b
(sqrt (/ d h))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
52×sqrt-prod
44×add-sqr-sqrt
40×times-frac
32×*-un-lft-identity add-cube-cbrt
8×pow1 rem-sqrt-square
4×expm1-log1p-u sqrt-pow1 add-cbrt-cube pow1/2 sqrt-div add-exp-log insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
4 → 112
Calls
4 calls:
2.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d l))
3.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d h))

series339.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(sqrt (/ d l))
73.0ms
(sqrt (/ d l))
140.0ms
(sqrt (/ d h))
62.0ms
(sqrt (/ d h))

simplify2.6s

Counts
124 → 124
Iterations
IterNodes
done5000
32250
2660
1255
0143

prune1.6s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 15.2b

localize106.0ms

Local error

Found 4 expressions with local error:

7.4b
(* (* (/ M (/ (* 2 d) D)) (/ (* (cbrt h) (cbrt h)) 1)) (/ (cbrt h) l))
9.9b
(sqrt (/ d l))
10.5b
(sqrt (/ d h))
10.5b
(sqrt (/ d h))

rewrite491.0ms

Algorithm
rewrite-expression-head
Rules
241×add-exp-log
124×add-cbrt-cube
108×prod-exp
103×div-exp
64×cbrt-unprod
59×cbrt-undiv
48×times-frac
47×add-sqr-sqrt
39×sqrt-prod
38×*-un-lft-identity add-cube-cbrt
22×associate-*r*
16×1-exp
12×pow1
9×cbrt-prod
6×rem-sqrt-square
5×frac-times associate-*l/
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
3×sqrt-pow1 pow1/2 sqrt-div pow-prod-down associate-*r/
1×associate-*l* *-commutative
Counts
4 → 195
Calls
4 calls:
474.0ms
(* (* (/ M (/ (* 2 d) D)) (/ (* (cbrt h) (cbrt h)) 1)) (/ (cbrt h) l))
3.0ms
(sqrt (/ d l))
2.0ms
(sqrt (/ d h))
3.0ms
(sqrt (/ d h))

series382.0ms

Counts
4 → 12
Calls
4 calls:
153.0ms
(* (* (/ M (/ (* 2 d) D)) (/ (* (cbrt h) (cbrt h)) 1)) (/ (cbrt h) l))
84.0ms
(sqrt (/ d l))
67.0ms
(sqrt (/ d h))
77.0ms
(sqrt (/ d h))

simplify2.6s

Counts
207 → 207
Iterations
IterNodes
done5014
24036
11107
0391

prune2.1s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 13.4b

localize162.0ms

Local error

Found 4 expressions with local error:

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

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
241×add-exp-log
124×add-cbrt-cube
108×prod-exp
103×div-exp
64×cbrt-unprod
59×cbrt-undiv
38×times-frac
37×add-sqr-sqrt
31×*-un-lft-identity add-cube-cbrt
26×sqrt-prod
22×associate-*r*
16×1-exp
11×pow1
9×cbrt-prod
5×frac-times associate-*l/
4×expm1-log1p-u rem-sqrt-square insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down associate-*r/ div-inv
2×sqrt-pow1 pow1/2 sqrt-div
1×associate-*l* *-commutative fma-udef
Counts
4 → 178
Calls
4 calls:
1.0ms
(fma (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (* (* (* (/ M (/ (* 2 d) D)) (/ (* (cbrt h) (cbrt h)) 1)) (/ (cbrt h) l)) (/ M (/ (* 2 d) D))) -1/2) (* (* (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ d (cbrt l)))) (sqrt (/ d h))))
127.0ms
(* (* (/ M (/ (* 2 d) D)) (/ (* (cbrt h) (cbrt h)) 1)) (/ (cbrt h) l))
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d h))

series2.7s

Counts
4 → 12
Calls
4 calls:
2.4s
(fma (* (* (fabs (/ (cbrt d) (cbrt l))) (sqrt (/ (cbrt d) (cbrt l)))) (sqrt (/ d h))) (* (* (* (* (/ M (/ (* 2 d) D)) (/ (* (cbrt h) (cbrt h)) 1)) (/ (cbrt h) l)) (/ M (/ (* 2 d) D))) -1/2) (* (* (sqrt (/ 1 (* (cbrt l) (cbrt l)))) (sqrt (/ d (cbrt l)))) (sqrt (/ d h))))
140.0ms
(* (* (/ M (/ (* 2 d) D)) (/ (* (cbrt h) (cbrt h)) 1)) (/ (cbrt h) l))
85.0ms
(sqrt (/ d h))
69.0ms
(sqrt (/ d h))

simplify3.4s

Counts
190 → 190
Iterations
IterNodes
done5000
24861
11183
0414

prune1.9s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 12.4b

regimes3.3s

Accuracy

0% (3.3b remaining)

Error of 17.5b against oracle of 14.2b and baseline of 17.5b

bsearch0.0ms

simplify19.0ms

Iterations
IterNodes
done53
153
041

end0.0ms

sample24.8s

Algorithm
intervals
Results
15.3s38867×body80nan
6.6s12785×body80valid