Details

Time bar (total: 29.0s)

sample54.0ms

Algorithm
intervals
Results
22.0ms289×body80valid
7.0ms96×body80nan

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done5000
3596
295
138
017

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 16.2b

localize36.0ms

Local error

Found 4 expressions with local error:

5.5b
(/ (/ (* M D) 2) d)
5.5b
(/ (/ (* M D) 2) d)
6.6b
(sqrt (- 1 (/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) (/ l h))))
11.5b
(/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) (/ l h))

rewrite189.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:
15.0ms
(/ (/ (* M D) 2) d)
26.0ms
(/ (/ (* M D) 2) d)
43.0ms
(sqrt (- 1 (/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) (/ l h))))
94.0ms
(/ (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) (/ l h))

series417.0ms

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

simplify3.1s

Counts
251 → 251
Iterations
IterNodes
done5000
24478
11075
0386

prune1.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 8.7b

localize45.0ms

Local error

Found 4 expressions with local error:

5.2b
(/ (/ (/ (* M D) 2) d) (/ 1 h))
5.5b
(/ (/ (* M D) 2) d)
5.5b
(/ (/ (* M D) 2) d)
6.6b
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) l) (/ (/ (/ (* M D) 2) d) (/ 1 h)))))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
1045×times-frac
416×add-sqr-sqrt
415×*-un-lft-identity add-cube-cbrt
93×div-inv
82×add-exp-log
54×add-cbrt-cube div-exp
39×associate-/l*
32×cbrt-undiv
19×associate-/r*
6×prod-exp
5×pow1
4×expm1-log1p-u rec-exp 1-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 → 522
Calls
4 calls:
40.0ms
(/ (/ (/ (* M D) 2) d) (/ 1 h))
21.0ms
(/ (/ (* M D) 2) d)
22.0ms
(/ (/ (* M D) 2) d)
7.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) l) (/ (/ (/ (* M D) 2) d) (/ 1 h)))))

series377.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(/ (/ (/ (* M D) 2) d) (/ 1 h))
38.0ms
(/ (/ (* M D) 2) d)
42.0ms
(/ (/ (* M D) 2) d)
213.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) l) (/ (/ (/ (* M D) 2) d) (/ 1 h)))))

simplify2.4s

Counts
534 → 534
Iterations
IterNodes
done5000
12606
0827

prune3.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 8.7b

localize47.0ms

Local error

Found 4 expressions with local error:

6.6b
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) l) (/ (* (* (cbrt (/ (/ (* M D) 2) d)) (cbrt (/ (/ (* M D) 2) d))) (cbrt (/ (/ (* M D) 2) d))) (/ 1 h)))))
19.7b
(cbrt (/ (/ (* M D) 2) d))
19.7b
(cbrt (/ (/ (* M D) 2) d))
19.7b
(cbrt (/ (/ (* M D) 2) d))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
75×cbrt-prod
48×add-sqr-sqrt
47×*-un-lft-identity add-cube-cbrt
12×div-inv
5×pow1
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-div pow1/3 sqrt-prod
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 flip--
Counts
4 → 129
Calls
4 calls:
7.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) l) (/ (* (* (cbrt (/ (/ (* M D) 2) d)) (cbrt (/ (/ (* M D) 2) d))) (cbrt (/ (/ (* M D) 2) d))) (/ 1 h)))))
9.0ms
(cbrt (/ (/ (* M D) 2) d))
11.0ms
(cbrt (/ (/ (* M D) 2) d))
20.0ms
(cbrt (/ (/ (* M D) 2) d))

series819.0ms

Counts
4 → 12
Calls
4 calls:
385.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) 2) d) l) (/ (* (* (cbrt (/ (/ (* M D) 2) d)) (cbrt (/ (/ (* M D) 2) d))) (cbrt (/ (/ (* M D) 2) d))) (/ 1 h)))))
150.0ms
(cbrt (/ (/ (* M D) 2) d))
130.0ms
(cbrt (/ (/ (* M D) 2) d))
154.0ms
(cbrt (/ (/ (* M D) 2) d))

simplify3.1s

Counts
141 → 141
Iterations
IterNodes
done5014
33997
2969
1372
0200

prune1.6s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 8.7b

localize61.0ms

Local error

Found 4 expressions with local error:

4.8b
(* M (/ (/ D 2) d))
5.2b
(/ (/ (/ (* M D) 2) d) (/ 1 h))
5.5b
(/ (/ (* M D) 2) d)
6.6b
(sqrt (- 1 (* (/ (* M (/ (/ D 2) d)) l) (/ (/ (/ (* M D) 2) d) (/ 1 h)))))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
1081×times-frac
445×add-sqr-sqrt
435×*-un-lft-identity add-cube-cbrt
92×div-inv
82×add-exp-log
54×add-cbrt-cube
52×div-exp
43×associate-*r*
32×associate-/l*
30×cbrt-undiv
16×associate-/r*
8×prod-exp
7×pow1
6×cbrt-unprod
4×expm1-log1p-u rec-exp 1-exp insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l* sqrt-prod unswap-sqr
2×clear-num frac-2neg sqrt-div associate-/l/
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 pow-prod-down associate-*r/ associate-/r/ *-commutative flip--
Counts
4 → 539
Calls
4 calls:
50.0ms
(* M (/ (/ D 2) d))
33.0ms
(/ (/ (/ (* M D) 2) d) (/ 1 h))
13.0ms
(/ (/ (* M D) 2) d)
7.0ms
(sqrt (- 1 (* (/ (* M (/ (/ D 2) d)) l) (/ (/ (/ (* M D) 2) d) (/ 1 h)))))

series403.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(* M (/ (/ D 2) d))
88.0ms
(/ (/ (/ (* M D) 2) d) (/ 1 h))
43.0ms
(/ (/ (* M D) 2) d)
219.0ms
(sqrt (- 1 (* (/ (* M (/ (/ D 2) d)) l) (/ (/ (/ (* M D) 2) d) (/ 1 h)))))

simplify2.7s

Counts
551 → 551
Iterations
IterNodes
done5001
12989
0958

prune3.2s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 8.7b

regimes1.1s

Accuracy

0% (1.5b remaining)

Error of 8.1b against oracle of 6.6b and baseline of 8.1b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done23
123
018

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.2s9320×body80valid
772.0ms3180×body80nan