Details

Time bar (total: 37.4s)

sample108.0ms

Algorithm
intervals
Results
60.0ms304×body80valid
17.0ms98×body80nan

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done5000
3596
295
138
017

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.8b

localize63.0ms

Local error

Found 4 expressions with local error:

4.0b
(sqrt (- 1 (/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) (/ l h))))
4.7b
(/ (/ (* M D) 2) d)
4.7b
(/ (/ (* M D) 2) d)
8.0b
(/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) (/ l h))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
235×add-cbrt-cube add-exp-log
141×cbrt-undiv div-exp
103×times-frac
63×add-sqr-sqrt
56×*-un-lft-identity
51×add-cube-cbrt
50×prod-exp cbrt-unprod
19×associate-/r*
15×associate-/l*
13×div-inv
10×sqrt-prod
6×difference-of-squares
5×pow1 associate-/l/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×sqrt-div
1×frac-times rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-*l/ associate-*r/ associate-/r/ flip-- distribute-lft-out--
Counts
4 → 239
Calls
4 calls:
18.0ms
(sqrt (- 1 (/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) (/ l h))))
12.0ms
(/ (/ (* M D) 2) d)
11.0ms
(/ (/ (* M D) 2) d)
65.0ms
(/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) (/ l h))

series376.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(sqrt (- 1 (/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) (/ l h))))
31.0ms
(/ (/ (* M D) 2) d)
45.0ms
(/ (/ (* M D) 2) d)
125.0ms
(/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) (/ l h))

simplify3.1s

Counts
251 → 251
Iterations
IterNodes
done5001
24463
11076
0386

prune1.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 6.2b

localize54.0ms

Local error

Found 4 expressions with local error:

4.0b
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) (/ (* (cbrt l) (cbrt l)) 1)) (/ (/ (/ (* M D) 2) d) (/ (cbrt l) h)))))
4.7b
(/ (/ (* M D) 2) d)
4.7b
(/ (/ (* M D) 2) d)
5.8b
(/ (/ (/ (* M D) 2) d) (/ (cbrt l) h))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
1774×times-frac
698×add-sqr-sqrt
697×*-un-lft-identity add-cube-cbrt
234×cbrt-prod
129×div-inv
54×add-exp-log
50×add-cbrt-cube
39×associate-/l*
32×cbrt-undiv div-exp
28×associate-/r*
5×pow1
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg sqrt-prod associate-/l/
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-/r/ flip--
Counts
4 → 748
Calls
4 calls:
5.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) (/ (* (cbrt l) (cbrt l)) 1)) (/ (/ (/ (* M D) 2) d) (/ (cbrt l) h)))))
28.0ms
(/ (/ (* M D) 2) d)
21.0ms
(/ (/ (* M D) 2) d)
33.0ms
(/ (/ (/ (* M D) 2) d) (/ (cbrt l) h))

series676.0ms

Counts
4 → 12
Calls
4 calls:
253.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) (/ (* (cbrt l) (cbrt l)) 1)) (/ (/ (/ (* M D) 2) d) (/ (cbrt l) h)))))
52.0ms
(/ (/ (* M D) 2) d)
45.0ms
(/ (/ (* M D) 2) d)
325.0ms
(/ (/ (/ (* M D) 2) d) (/ (cbrt l) h))

simplify3.9s

Counts
760 → 760
Iterations
IterNodes
done5001
13970
01205

prune7.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.9b

localize56.0ms

Local error

Found 4 expressions with local error:

4.0b
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) (/ 1 (* (cbrt h) (cbrt h)))) (/ (/ (/ (* M D) 2) d) (/ l (cbrt h))))))
4.7b
(/ (/ (* M D) 2) d)
4.7b
(/ (/ (* M D) 2) d)
4.7b
(/ (/ (/ (* M D) 2) d) (/ l (cbrt h)))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
1774×times-frac
698×add-sqr-sqrt
697×*-un-lft-identity add-cube-cbrt
234×cbrt-prod
129×div-inv
54×add-exp-log
50×add-cbrt-cube
39×associate-/l*
32×cbrt-undiv div-exp
28×associate-/r*
5×pow1
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg sqrt-prod associate-/l/
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-/r/ flip--
Counts
4 → 748
Calls
4 calls:
10.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) (/ 1 (* (cbrt h) (cbrt h)))) (/ (/ (/ (* M D) 2) d) (/ l (cbrt h))))))
20.0ms
(/ (/ (* M D) 2) d)
21.0ms
(/ (/ (* M D) 2) d)
44.0ms
(/ (/ (/ (* M D) 2) d) (/ l (cbrt h)))

series604.0ms

Counts
4 → 12
Calls
4 calls:
266.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) (/ 1 (* (cbrt h) (cbrt h)))) (/ (/ (/ (* M D) 2) d) (/ l (cbrt h))))))
49.0ms
(/ (/ (* M D) 2) d)
37.0ms
(/ (/ (* M D) 2) d)
252.0ms
(/ (/ (/ (* M D) 2) d) (/ l (cbrt h)))

simplify3.1s

Counts
760 → 760
Iterations
IterNodes
done5001
13913
01201

prune6.5s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 5.9b

localize35.0ms

Local error

Found 4 expressions with local error:

4.6b
(* (/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) l) h)
4.7b
(/ (/ (* M D) 2) d)
4.7b
(/ (/ (* M D) 2) d)
5.0b
(/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) l)

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
237×add-cbrt-cube add-exp-log
124×cbrt-undiv div-exp
73×times-frac
68×prod-exp cbrt-unprod
45×add-sqr-sqrt
41×*-un-lft-identity add-cube-cbrt
15×associate-/l*
12×div-inv
9×associate-/r*
7×associate-*l*
6×pow1
5×associate-/l/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*r*
2×associate-*l/ unswap-sqr
1×frac-times pow-prod-down associate-*r/ *-commutative
Counts
4 → 220
Calls
4 calls:
106.0ms
(* (/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) l) h)
10.0ms
(/ (/ (* M D) 2) d)
14.0ms
(/ (/ (* M D) 2) d)
30.0ms
(/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) l)

series261.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(* (/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) l) h)
39.0ms
(/ (/ (* M D) 2) d)
31.0ms
(/ (/ (* M D) 2) d)
79.0ms
(/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) l)

simplify2.3s

Counts
232 → 232
Iterations
IterNodes
done5006
24216
1884
0300

prune1.3s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 5.9b

regimes1.0s

Accuracy

0% (1.7b remaining)

Error of 8.4b against oracle of 6.7b and baseline of 8.4b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done26
126
021

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.9s9250×body80valid
637.0ms3040×body80nan