Details

Time bar (total: 42.9s)

sample205.0ms

Algorithm
intervals
Results
79.0ms108×body320valid
56.0ms143×body160valid
44.0ms235×body80nan
1.0ms5×body80valid

simplify283.0ms

Calls
1 calls:
Slowest
283.0ms
(+ (cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h)))))))

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 35.2b

localize38.0ms

Local error

Found 4 expressions with local error:

29.9b
(sqrt (- (* g g) (* h h)))
29.9b
(sqrt (- (* g g) (* h h)))
9.9b
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
8.0b
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
46×cbrt-prod
43×add-sqr-sqrt
36×times-frac
33×*-un-lft-identity
25×add-cube-cbrt
12×sqrt-prod
11×div-inv
10×difference-of-squares
4×pow1 add-cbrt-cube sqrt-div add-exp-log insert-posit16 distribute-lft-out-- add-log-exp
2×rem-sqrt-square cbrt-div flip3-- pow1/2 pow1/3 associate-/r/ flip--
Calls
4 calls:
Slowest
6.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
5.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
2.0ms
(sqrt (- (* g g) (* h h)))
2.0ms
(sqrt (- (* g g) (* h h)))

series468.0ms

Calls
4 calls:
Slowest
213.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
199.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
32.0ms
(sqrt (- (* g g) (* h h)))
23.0ms
(sqrt (- (* g g) (* h h)))

simplify8.6s

Calls
74 calls:
Slowest
597.0ms
(* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log 1/2) (log (/ -1 a)))) (* 2 (log (/ -1 h)))))) (cbrt -1/2))
419.0ms
(* (cbrt 1/2) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log (/ 1 g)) (log -1/2))) (* 2 (log (/ 1 h)))))))
332.0ms
(- (+ (* 1/18 (* (cbrt 1/2) (* (exp (* 1/3 (- (log (/ 1 (sqrt -1))) (+ (* 5 (log h)) (log a))))) (pow g 2)))) (* (cbrt 1/2) (exp (* 1/3 (- (+ (log (sqrt -1)) (log h)) (log a)))))) (* 1/3 (* (cbrt 1/2) (* g (exp (* 1/3 (- (log -1) (+ (* 2 (log h)) (log a)))))))))
261.0ms
(+ (* 1/18 (* (exp (* 1/3 (- (log (/ 1 (sqrt -1))) (+ (* 5 (log h)) (log a))))) (* (pow g 2) (cbrt -1/2)))) (+ (* (exp (* 1/3 (- (+ (log (sqrt -1)) (log h)) (log a)))) (cbrt -1/2)) (* 1/3 (* (cbrt -1/2) (* g (exp (* 1/3 (- (log -1) (+ (* 2 (log h)) (log a))))))))))
254.0ms
(cbrt (sqrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2))))

prune1.9s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 30.9b

localize14.0ms

Local error

Found 4 expressions with local error:

29.9b
(sqrt (- (* g g) (* h h)))
29.9b
(sqrt (- (* g g) (* h h)))
9.9b
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
2.6b
(- (* g g) (* h h))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
29×cbrt-prod
25×*-un-lft-identity
24×times-frac
17×add-cube-cbrt
12×sqrt-prod
11×difference-of-squares
7×div-inv
6×add-log-exp
4×pow1 add-cbrt-cube sqrt-div add-exp-log insert-posit16 distribute-lft-out--
3×flip3-- flip--
2×rem-sqrt-square pow1/2
1×cbrt-div sub-neg pow1/3 diff-log associate-/r/
Calls
4 calls:
Slowest
6.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
5.0ms
(- (* g g) (* h h))
3.0ms
(sqrt (- (* g g) (* h h)))
3.0ms
(sqrt (- (* g g) (* h h)))

series313.0ms

Calls
4 calls:
Slowest
230.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
32.0ms
(sqrt (- (* g g) (* h h)))
28.0ms
(sqrt (- (* g g) (* h h)))
24.0ms
(- (* g g) (* h h))

simplify6.1s

Calls
59 calls:
Slowest
522.0ms
(* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log 1/2) (log (/ -1 a)))) (* 2 (log (/ -1 h)))))) (cbrt -1/2))
477.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) 1))
279.0ms
(cbrt (sqrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2))))
248.0ms
(+ (* 1/18 (* (exp (* 1/3 (- (log (/ 1 (sqrt -1))) (+ (* 5 (log h)) (log a))))) (* (pow g 2) (cbrt -1/2)))) (+ (* (exp (* 1/3 (- (+ (log (sqrt -1)) (log h)) (log a)))) (cbrt -1/2)) (* 1/3 (* (cbrt -1/2) (* g (exp (* 1/3 (- (log -1) (+ (* 2 (log h)) (log a))))))))))
228.0ms
(cbrt (* (cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2))) (cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))))

prune1.8s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 29.8b

localize45.0ms

Local error

Found 4 expressions with local error:

29.9b
(sqrt (- (* g g) (* h h)))
29.9b
(sqrt (- (* g g) (* h h)))
4.3b
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (cbrt (/ a 1/2))))
2.6b
(- (* g g) (* h h))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
71×cbrt-prod
56×add-sqr-sqrt
42×times-frac
40×*-un-lft-identity
26×add-cube-cbrt
17×difference-of-squares
15×sqrt-prod
7×div-inv distribute-lft-out--
6×add-log-exp
4×pow1 add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×flip3-- flip--
2×rem-sqrt-square cbrt-div pow1/2
1×sub-neg pow1/3 diff-log associate-/r/
Calls
4 calls:
Slowest
6.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (cbrt (/ a 1/2))))
2.0ms
(sqrt (- (* g g) (* h h)))
2.0ms
(sqrt (- (* g g) (* h h)))
2.0ms
(- (* g g) (* h h))

series526.0ms

Calls
4 calls:
Slowest
440.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (cbrt (/ a 1/2))))
31.0ms
(sqrt (- (* g g) (* h h)))
31.0ms
(sqrt (- (* g g) (* h h)))
24.0ms
(- (* g g) (* h h))

simplify8.1s

Calls
77 calls:
Slowest
427.0ms
(+ (* (pow (/ 1 a) 1/9) (* (cbrt -1) (exp (* 1/3 (+ (log h) (log (/ (sqrt -1) (cbrt 2)))))))) (+ (* 1/3 (* (pow (/ 1 a) 1/9) (* (exp (* 1/3 (- (log (/ -1 (cbrt 2))) (* 2 (log h))))) (* (cbrt -1) g)))) (* 1/18 (* (pow (/ 1 a) 1/9) (* (exp (* 1/3 (- (log (/ 1 (* (sqrt -1) (cbrt 2)))) (* 5 (log h))))) (* (cbrt -1) (pow g 2)))))))
360.0ms
(* (pow (/ -1 a) 1/9) (exp (* 1/3 (- (+ (log (/ -1 g)) (log (/ 1/2 (cbrt -2)))) (* 2 (log (/ -1 h)))))))
247.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
235.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (* (cbrt (cbrt (/ a 1/2))) (cbrt (cbrt (/ a 1/2))))))
232.0ms
(* (pow (/ 1 a) 1/9) (* (cbrt -1) (exp (* 1/3 (- (log (/ 2 (cbrt 2))) (log (/ 1 g)))))))

prune2.7s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 29.8b

localize38.0ms

Local error

Found 4 expressions with local error:

29.9b
(sqrt (- (* g g) (* h h)))
29.9b
(sqrt (- (* g g) (* h h)))
2.6b
(- (* g g) (* h h))
2.6b
(- (* g g) (* h h))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt sqrt-prod add-log-exp
6×*-un-lft-identity add-cube-cbrt
4×pow1 flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 flip-- difference-of-squares
2×rem-sqrt-square sub-neg pow1/2 diff-log
Calls
4 calls:
Slowest
3.0ms
(sqrt (- (* g g) (* h h)))
2.0ms
(sqrt (- (* g g) (* h h)))
2.0ms
(- (* g g) (* h h))
2.0ms
(- (* g g) (* h h))

series125.0ms

Calls
4 calls:
Slowest
39.0ms
(sqrt (- (* g g) (* h h)))
29.0ms
(sqrt (- (* g g) (* h h)))
29.0ms
(- (* g g) (* h h))
27.0ms
(- (* g g) (* h h))

simplify1.7s

Calls
32 calls:
Slowest
241.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
207.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
203.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
182.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
122.0ms
(sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))))

prune1.8s

Pruning

24 alts after pruning (23 fresh and 1 done)

Merged error: 29.8b

regimes1.0s

Accuracy

0% (1.8b remaining)

Error of 31.4b against oracle of 29.6b and baseline of 31.4b

bsearch7.0ms

end0.0ms

sample7.1s

Algorithm
intervals
Results
3.0s3730×body320valid
2.1s8200×body80nan
1.7s4135×body160valid
23.0ms135×body80valid