Details

Time bar (total: 1.2m)

sample676.0ms

Algorithm
intervals
Results
415.0ms1143×body80nan
195.0ms392×body80valid

simplify289.0ms

Calls
1 calls:
Slowest
289.0ms
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))))

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.8b

localize89.0ms

Local error

Found 4 expressions with local error:

13.6b
(pow (/ d h) (/ 1 2))
12.9b
(pow (/ d l) (/ 1 2))
12.1b
(* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))
6.6b
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
43×add-exp-log
28×prod-exp
14×add-cbrt-cube
10×add-sqr-sqrt pow1 *-un-lft-identity pow-exp add-cube-cbrt
9×pow-to-exp
8×pow-unpow unpow-prod-down
7×associate-*r*
6×cbrt-unprod
5×div-inv
4×insert-posit16 add-log-exp
3×associate-*l/ associate-*r/
2×distribute-rgt-in sub-neg pow-pow distribute-lft-in associate-*l* pow-prod-down *-commutative
1×frac-times flip3-- div-exp flip--
Calls
4 calls:
Slowest
28.0ms
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))))
18.0ms
(* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))
2.0ms
(pow (/ d h) (/ 1 2))
2.0ms
(pow (/ d l) (/ 1 2))

series661.0ms

Calls
4 calls:
Slowest
368.0ms
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))))
110.0ms
(pow (/ d h) (/ 1 2))
109.0ms
(* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))
74.0ms
(pow (/ d l) (/ 1 2))

simplify12.0s

Calls
71 calls:
Slowest
737.0ms
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))))
643.0ms
(* (* (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2))) (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2))) (* (* (/ h l) (/ h l)) (/ h l)))
602.0ms
(* (* (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2)))) (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2)))) (* (* (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))))
575.0ms
(* (* (* (* (pow (/ d h) (/ 1 2)) (pow (/ d h) (/ 1 2))) (pow (/ d h) (/ 1 2))) (* (* (pow (/ d l) (/ 1 2)) (pow (/ d l) (/ 1 2))) (pow (/ d l) (/ 1 2)))) (* (* (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))))
403.0ms
(* (* (* (* (/ 1 2) (/ 1 2)) (/ 1 2)) (* (* (pow (/ (* M D) (* 2 d)) 2) (pow (/ (* M D) (* 2 d)) 2)) (pow (/ (* M D) (* 2 d)) 2))) (* (* (/ h l) (/ h l)) (/ h l)))

prune2.1s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 17.5b

localize22.0ms

Local error

Found 4 expressions with local error:

13.6b
(pow (/ d h) (/ 1 2))
12.9b
(pow (/ d l) (/ 1 2))
6.6b
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l)))
6.4b
(/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l)

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
29×add-exp-log
19×prod-exp
9×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-cube-cbrt
8×pow-to-exp pow1 pow-unpow unpow-prod-down pow-exp
5×div-inv
4×insert-posit16 add-log-exp
3×associate-*r* cbrt-unprod
2×distribute-rgt-in sub-neg pow-pow distribute-lft-in associate-*l/ associate-*r/
1×clear-num frac-2neg flip3-- associate-*l* pow-prod-down *-commutative flip-- associate-/l* associate-/l/
Calls
4 calls:
Slowest
21.0ms
(/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l)
18.0ms
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l)))
4.0ms
(pow (/ d h) (/ 1 2))
2.0ms
(pow (/ d l) (/ 1 2))

series699.0ms

Calls
4 calls:
Slowest
374.0ms
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l)))
125.0ms
(/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l)
107.0ms
(pow (/ d h) (/ 1 2))
92.0ms
(pow (/ d l) (/ 1 2))

simplify8.7s

Calls
57 calls:
Slowest
493.0ms
(* (* (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2)))) (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2)))) (* (* (- 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l)) (- 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l))) (- 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l))))
462.0ms
(* (* (* (* (pow (/ d h) (/ 1 2)) (pow (/ d h) (/ 1 2))) (pow (/ d h) (/ 1 2))) (* (* (pow (/ d l) (/ 1 2)) (pow (/ d l) (/ 1 2))) (pow (/ d l) (/ 1 2)))) (* (* (- 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l)) (- 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l))) (- 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l))))
367.0ms
(+ (* 1 1) (+ (* (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l) (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l)) (* 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l))))
309.0ms
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l)))
304.0ms
(+ (+ (* (log (/ d h)) (/ 1 2)) (* (log (/ d l)) (/ 1 2))) (log (- 1 (/ (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) h) l))))

prune1.6s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 16.0b

localize32.0ms

Local error

Found 4 expressions with local error:

13.6b
(pow (/ d h) (/ 1 2))
12.9b
(pow (/ d l) (/ 1 2))
6.7b
(/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))
6.6b
(* (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) 1) (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×pow1 pow-unpow unpow-prod-down add-exp-log
6×add-cbrt-cube div-inv
4×associate-/r* insert-posit16 add-log-exp
3×associate-*r*
2×distribute-rgt-in pow-to-exp sub-neg pow-pow distribute-lft-in pow-exp associate-*r/
1×clear-num frac-2neg flip3-- associate-*l* pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod flip--
Calls
4 calls:
Slowest
39.0ms
(* (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) 1) (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))))
3.0ms
(pow (/ d h) (/ 1 2))
3.0ms
(pow (/ d l) (/ 1 2))
0.0ms
(/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))

series782.0ms

Calls
4 calls:
Slowest
454.0ms
(* (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) 1) (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))))
143.0ms
(/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))
97.0ms
(pow (/ d l) (/ 1 2))
88.0ms
(pow (/ d h) (/ 1 2))

simplify6.4s

Calls
49 calls:
Slowest
453.0ms
(+ (* 1 1) (+ (* (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))) (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))) (* 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))))))
423.0ms
(* (* (* (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) 1) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) 1)) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) 1)) (* (* (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))) (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))))) (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))))))
394.0ms
(* (- (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) 1))
385.0ms
(* (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) 1) (- (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))))
325.0ms
(* (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) 1) (- (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))))

prune1.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 16.0b

localize18.0ms

Local error

Found 4 expressions with local error:

13.6b
(pow (/ d h) (/ 1 2))
12.9b
(sqrt (* (/ -1 l) (* -1 d)))
6.7b
(/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))
6.6b
(* (* (* (pow (/ d h) (/ 1 2)) (sqrt (* (/ -1 l) (* -1 d)))) 1) (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt *-un-lft-identity associate-*l/ add-cube-cbrt
7×pow1 add-exp-log
6×add-cbrt-cube
5×associate-*r/
4×pow-unpow associate-/r* unpow-prod-down sqrt-div insert-posit16 div-inv add-log-exp
3×associate-*r*
2×distribute-rgt-in frac-times sub-neg distribute-lft-in flip3-- flip--
1×pow-to-exp clear-num pow-pow frac-2neg pow1/2 associate-*l* pow-prod-down pow-exp prod-exp associate-/r/ *-commutative sqrt-prod cbrt-unprod
Calls
4 calls:
Slowest
61.0ms
(* (* (* (pow (/ d h) (/ 1 2)) (sqrt (* (/ -1 l) (* -1 d)))) 1) (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))))
2.0ms
(pow (/ d h) (/ 1 2))
1.0ms
(sqrt (* (/ -1 l) (* -1 d)))
1.0ms
(/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))

series1.1s

Calls
4 calls:
Slowest
466.0ms
(pow (/ d h) (/ 1 2))
393.0ms
(* (* (* (pow (/ d h) (/ 1 2)) (sqrt (* (/ -1 l) (* -1 d)))) 1) (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))))
137.0ms
(/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))
66.0ms
(sqrt (* (/ -1 l) (* -1 d)))

simplify7.7s

Calls
46 calls:
Slowest
545.0ms
(* (* (* (pow (/ d h) (/ 1 2)) (sqrt (* -1 (* -1 d)))) 1) (- (pow 1 3) (pow (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))) 3)))
505.0ms
(* (sqrt l) (+ (* 1 1) (+ (* (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))) (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))) (* 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))))))
474.0ms
(* (* (* (* (* (pow (/ d h) (/ 1 2)) (sqrt (* (/ -1 l) (* -1 d)))) 1) (* (* (pow (/ d h) (/ 1 2)) (sqrt (* (/ -1 l) (* -1 d)))) 1)) (* (* (pow (/ d h) (/ 1 2)) (sqrt (* (/ -1 l) (* -1 d)))) 1)) (* (* (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))) (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))))) (- 1 (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))))))
428.0ms
(* (* (* (pow (/ d h) (/ 1 2)) (sqrt (* -1 (* -1 d)))) 1) (- (* 1 1) (* (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))) (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2))))))
387.0ms
(* (- (/ h (/ l (/ (* (/ (* M D) (* d 2)) (/ (* M D) (* d 2))) 2)))) (* (* (pow (/ d h) (/ 1 2)) (sqrt (* (/ -1 l) (* -1 d)))) 1))

prune1.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 13.1b

regimes1.1s

Accuracy

60.5% (4.7b remaining)

Error of 17.8b against oracle of 13.0b and baseline of 25.0b

bsearch1.2s

end0.0ms

sample23.6s

Algorithm
intervals
Results
15.2s38694×body80nan
6.1s12835×body80valid