Details

Time bar (total: 1.0m)

sample207.0ms

Algorithm
intervals
Results
84.0ms118×body320valid
55.0ms132×body160valid
44.0ms244×body80nan
1.0ms6×body80valid

simplify369.0ms

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

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 34.2b

localize67.0ms

Local error

Found 4 expressions with local error:

28.8b
(sqrt (- (* g g) (* h h)))
28.8b
(sqrt (- (* g g) (* h h)))
9.6b
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
9.0b
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
10×cbrt-div
8×add-sqr-sqrt sqrt-prod
6×*-un-lft-identity add-cube-cbrt
4×expm1-log1p-u frac-times pow1 flip3-- add-cbrt-cube sqrt-div associate-*r/ add-exp-log insert-posit16 log1p-expm1-u flip-- add-log-exp
2×cbrt-prod rem-sqrt-square flip3-+ pow1/2 pow1/3 associate-*l/ flip-+ difference-of-squares
Calls
4 calls:
Slowest
15.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
15.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
14.0ms
(sqrt (- (* g g) (* h h)))
6.0ms
(sqrt (- (* g g) (* h h)))

series645.0ms

Calls
4 calls:
Slowest
312.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
279.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
30.0ms
(sqrt (- (* g g) (* h h)))
25.0ms
(sqrt (- (* g g) (* h h)))

simplify6.2s

Calls
38 calls:
Slowest
555.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
445.0ms
(cbrt (/ 1 (* 2 a)))
442.0ms
(cbrt (* (/ 1 (* 2 a)) (- (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
327.0ms
(* (cbrt 1/2) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log (/ 1 g)) (log -1/2))) (* 2 (log (/ 1 h)))))))
313.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))

prune1.4s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 29.2b

localize32.0ms

Local error

Found 4 expressions with local error:

28.8b
(sqrt (- (* g g) (* h h)))
28.8b
(sqrt (- (* g g) (* h h)))
9.0b
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
1.9b
(- (- g) (sqrt (- (* g g) (* h h))))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt prod-diff
25×sqrt-prod
24×*-un-lft-identity
22×add-cube-cbrt
8×neg-mul-1 difference-of-squares
6×add-log-exp
5×cbrt-div flip3-- flip--
4×expm1-log1p-u pow1 add-cbrt-cube fma-neg sqrt-div add-exp-log insert-posit16 log1p-expm1-u
2×frac-times rem-sqrt-square pow1/2 associate-*r/
1×associate--l- cbrt-prod neg-sub0 sub-neg pow1/3 diff-log associate-*l/ distribute-lft-out--
Calls
4 calls:
Slowest
17.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
17.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
9.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(sqrt (- (* g g) (* h h)))

series380.0ms

Calls
4 calls:
Slowest
272.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
38.0ms
(sqrt (- (* g g) (* h h)))
35.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
35.0ms
(sqrt (- (* g g) (* h h)))

simplify13.2s

Calls
96 calls:
Slowest
457.0ms
(cbrt (* (/ 1 (* 2 a)) (- (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
314.0ms
(* (exp (* 1/3 (- (+ (log (sqrt -1)) (log h)) (log a)))) (cbrt -1/2))
263.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
261.0ms
(* (exp (* 1/3 (- (+ (log 2) (log (/ 1 a))) (log (/ 1 g))))) (cbrt -1/2))
255.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))

prune1.9s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 28.2b

localize12.0ms

Local error

Found 4 expressions with local error:

28.8b
(sqrt (- (* g g) (* h h)))
28.8b
(sqrt (- (* g g) (* h h)))
1.9b
(- (- g) (sqrt (- (* g g) (* h h))))
1.8b
(- (* g g) (* h h))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
29×prod-diff
28×add-sqr-sqrt
25×sqrt-prod
24×*-un-lft-identity
22×add-cube-cbrt
9×difference-of-squares
8×neg-mul-1 add-log-exp
5×fma-neg
4×expm1-log1p-u pow1 flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 log1p-expm1-u flip--
2×rem-sqrt-square sub-neg pow1/2 diff-log
1×associate--l- neg-sub0 distribute-lft-out--
Calls
4 calls:
Slowest
14.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
8.0ms
(sqrt (- (* g g) (* h h)))
4.0ms
(sqrt (- (* g g) (* h h)))
2.0ms
(- (* g g) (* h h))

series122.0ms

Calls
4 calls:
Slowest
41.0ms
(sqrt (- (* g g) (* h h)))
37.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
24.0ms
(sqrt (- (* g g) (* h h)))
19.0ms
(- (* g g) (* h h))

simplify11.6s

Calls
95 calls:
Slowest
506.0ms
(+ (sqrt (- g)) (sqrt (sqrt (- (* g g) (* h h)))))
291.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
242.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
234.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
232.0ms
(fma (- (cbrt (sqrt (- (* g g) (* h h))))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (* (cbrt (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))))

prune2.1s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 28.2b

localize16.0ms

Local error

Found 4 expressions with local error:

28.8b
(sqrt (- (* g g) (* h h)))
28.8b
(sqrt (- (* g g) (* h h)))
1.9b
(- (- g) (sqrt (- (* g g) (* h h))))
1.8b
(- (* g g) (* h h))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
29×prod-diff
28×add-sqr-sqrt
25×sqrt-prod
24×*-un-lft-identity
22×add-cube-cbrt
9×difference-of-squares
8×neg-mul-1 add-log-exp
5×fma-neg
4×expm1-log1p-u pow1 flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 log1p-expm1-u flip--
2×rem-sqrt-square sub-neg pow1/2 diff-log
1×associate--l- neg-sub0 distribute-lft-out--
Calls
4 calls:
Slowest
12.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
7.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(sqrt (- (* g g) (* h h)))
5.0ms
(- (* g g) (* h h))

series123.0ms

Calls
4 calls:
Slowest
41.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
37.0ms
(sqrt (- (* g g) (* h h)))
28.0ms
(sqrt (- (* g g) (* h h)))
16.0ms
(- (* g g) (* h h))

simplify11.2s

Calls
95 calls:
Slowest
289.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
263.0ms
(fma -1 g (- (* (cbrt (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))))))
251.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
243.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
234.0ms
(fma (* (cbrt (- g)) (cbrt (- g))) (cbrt (- g)) (- (* (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))))))

prune1.7s

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 28.2b

regimes1.2s

Accuracy

0% (2.1b remaining)

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

bsearch6.0ms

end0.0ms

sample7.6s

Algorithm
intervals
Results
2.8s4129×body160valid
2.5s3726×body320valid
2.0s7911×body80nan
27.0ms145×body80valid