Details

Time bar (total: 2.6m)

sample755.0ms

Algorithm
intervals
Results
463.0ms1299×body80nan
183.0ms423×body80valid

simplify4.5s

Counts
1 → 1
Iterations
IterNodes
49030
31081
2188
155
022

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 21.7b

localize70.0ms

Local error

Found 4 expressions with local error:

10.3b
(sqrt (/ d h))
10.7b
(/ (/ (sqrt (/ d l)) (/ 2 (* (* (/ M 2) (/ D d)) (* (/ M 2) (/ D d))))) (/ l h))
11.2b
(sqrt (/ d l))
11.2b
(sqrt (/ d l))

rewrite995.0ms

Algorithm
rewrite-expression-head
Rules
16265×times-frac
5466×add-sqr-sqrt
5457×*-un-lft-identity add-cube-cbrt
4043×sqrt-prod
3808×frac-times
3375×associate-/r/
2464×associate-*l/ associate-*r/
908×div-inv
460×add-cbrt-cube add-exp-log
357×associate-/l*
270×cbrt-undiv div-exp
130×prod-exp cbrt-unprod
13×associate-/r*
7×pow1
6×rem-sqrt-square
4×insert-posit16 add-log-exp
3×sqrt-pow1 pow1/2 sqrt-div
1×clear-num frac-2neg associate-/l/
Counts
4 → 5214
Calls
4 calls:
2.0ms
(sqrt (/ d h))
102.0ms
(/ (/ (sqrt (/ d l)) (/ 2 (* (* (/ M 2) (/ D d)) (* (/ M 2) (/ D d))))) (/ l h))
4.0ms
(sqrt (/ d l))
4.0ms
(sqrt (/ d l))

series541.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(sqrt (/ d h))
323.0ms
(/ (/ (sqrt (/ d l)) (/ 2 (* (* (/ M 2) (/ D d)) (* (/ M 2) (/ D d))))) (/ l h))
72.0ms
(sqrt (/ d l))
76.0ms
(sqrt (/ d l))

simplify1.3m

Counts
5226 → 5226
Iterations
IterNodes
128329
08555

prune44.4s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 9.2b

localize85.0ms

Local error

Found 4 expressions with local error:

4.9b
(* (/ M 2) (/ D d))
4.9b
(* (/ M 2) (/ D d))
10.3b
(sqrt (/ d h))
11.2b
(sqrt (/ d l))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt
64×times-frac
46×*-un-lft-identity add-cube-cbrt
28×add-cbrt-cube add-exp-log
26×associate-*r* associate-*l* sqrt-prod
10×pow1
8×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
6×div-inv
4×rem-sqrt-square insert-posit16 add-log-exp
2×frac-times sqrt-pow1 pow1/2 sqrt-div pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 154
Calls
4 calls:
13.0ms
(* (/ M 2) (/ D d))
18.0ms
(* (/ M 2) (/ D d))
2.0ms
(sqrt (/ d h))
2.0ms
(sqrt (/ d l))

series170.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* (/ M 2) (/ D d))
31.0ms
(* (/ M 2) (/ D d))
55.0ms
(sqrt (/ d h))
51.0ms
(sqrt (/ d l))

simplify2.7s

Counts
166 → 166
Iterations
IterNodes
35729
21761
1568
0244

prune1.5s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 5.2b

localize93.0ms

Local error

Found 4 expressions with local error:

3.9b
(/ (* (/ (sqrt (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l)))) 1) (* (/ M 2) (/ D d))) (* (/ (cbrt l) (cbrt h)) (/ (cbrt l) (cbrt h))))
4.9b
(* (/ M 2) (/ D d))
4.9b
(* (/ M 2) (/ D d))
11.2b
(sqrt (/ d l))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
536×add-exp-log
293×add-cbrt-cube
262×div-exp
207×prod-exp
172×cbrt-undiv
142×cbrt-unprod
66×add-sqr-sqrt
55×times-frac
39×*-un-lft-identity add-cube-cbrt
26×associate-*r* associate-*l*
25×1-exp
13×sqrt-prod
9×pow1
8×frac-times associate-*r/ unswap-sqr
7×associate-/l/
6×associate-*l/ div-inv
4×insert-posit16 add-log-exp
3×associate-/r/
2×rem-sqrt-square pow-prod-down *-commutative
1×clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 sqrt-div associate-/l*
Counts
4 → 287
Calls
4 calls:
61.0ms
(/ (* (/ (sqrt (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l)))) 1) (* (/ M 2) (/ D d))) (* (/ (cbrt l) (cbrt h)) (/ (cbrt l) (cbrt h))))
12.0ms
(* (/ M 2) (/ D d))
15.0ms
(* (/ M 2) (/ D d))
2.0ms
(sqrt (/ d l))

series323.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(/ (* (/ (sqrt (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l)))) 1) (* (/ M 2) (/ D d))) (* (/ (cbrt l) (cbrt h)) (/ (cbrt l) (cbrt h))))
29.0ms
(* (/ M 2) (/ D d))
28.0ms
(* (/ M 2) (/ D d))
54.0ms
(sqrt (/ d l))

simplify2.0s

Counts
299 → 299
Iterations
IterNodes
25691
11236
0452

prune1.9s

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 4.8b

localize94.0ms

Local error

Found 4 expressions with local error:

2.9b
(* (/ (sqrt (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l)))) 1) (* (/ M 2) (/ D d)))
3.9b
(/ (* (/ (sqrt (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l)))) 1) (* (/ M 2) (/ D d))) (* (/ (cbrt l) (cbrt h)) (/ (cbrt l) (cbrt h))))
4.9b
(* (/ M 2) (/ D d))
4.9b
(* (/ M 2) (/ D d))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
595×add-exp-log
334×add-cbrt-cube
284×div-exp
234×prod-exp
185×cbrt-undiv
160×cbrt-unprod
64×add-sqr-sqrt
57×times-frac
42×associate-*l*
40×*-un-lft-identity add-cube-cbrt
30×1-exp
27×associate-*r*
13×frac-times pow1 associate-*r/
9×associate-*l/
8×unswap-sqr
7×associate-/l/
6×div-inv
5×pow-prod-down
4×insert-posit16 add-log-exp
3×associate-/r/ *-commutative sqrt-prod
1×clear-num associate-/r* frac-2neg associate-/l*
Counts
4 → 321
Calls
4 calls:
50.0ms
(* (/ (sqrt (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l)))) 1) (* (/ M 2) (/ D d)))
61.0ms
(/ (* (/ (sqrt (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l)))) 1) (* (/ M 2) (/ D d))) (* (/ (cbrt l) (cbrt h)) (/ (cbrt l) (cbrt h))))
12.0ms
(* (/ M 2) (/ D d))
12.0ms
(* (/ M 2) (/ D d))

series446.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(* (/ (sqrt (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l)))) 1) (* (/ M 2) (/ D d)))
212.0ms
(/ (* (/ (sqrt (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l)))) 1) (* (/ M 2) (/ D d))) (* (/ (cbrt l) (cbrt h)) (/ (cbrt l) (cbrt h))))
29.0ms
(* (/ M 2) (/ D d))
29.0ms
(* (/ M 2) (/ D d))

simplify1.4s

Counts
333 → 333
Iterations
IterNodes
24850
11294
0447

prune1.8s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 4.1b

regimes2.3s

Accuracy

15.5% (2.8b remaining)

Error of 8.9b against oracle of 6.1b and baseline of 9.4b

bsearch5.0ms

simplify21.0ms

Iterations
IterNodes
280
180
061

end0.0ms

sample15.2s

Algorithm
intervals
Results
9.3s37962×body80nan
3.9s12796×body80valid