Details

Time bar (total: 1.7m)

sample162.0ms

Algorithm
intervals
Results
70.0ms116×body320valid
38.0ms137×body160valid
37.0ms273×body80nan
1.0ms3×body80valid

simplify347.0ms

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

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 35.0b

localize48.0ms

Local error

Found 4 expressions with local error:

29.0b
(sqrt (- (* g g) (* h h)))
29.0b
(sqrt (- (* g g) (* h h)))
9.3b
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
6.4b
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))

rewrite336.0ms

Algorithm
rewrite-expression-head
Rules
359×add-sqr-sqrt
304×times-frac
253×*-un-lft-identity
195×cbrt-prod
145×add-cube-cbrt
106×difference-of-squares
94×sqrt-prod
52×distribute-lft-out--
49×cbrt-div
32×associate-/r*
24×swap-sqr
20×*-commutative unswap-sqr
19×associate-/l*
18×associate-/r/
17×div-inv
14×distribute-rgt-neg-in
8×associate-*l*
6×pow1
4×clear-num frac-2neg flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 flip-- add-log-exp associate-/l/
2×rem-sqrt-square sqrt-pow1 pow1/2 pow1/3
Calls
4 calls:
Slowest
162.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
102.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
29.0ms
(sqrt (- (* g g) (* h h)))
26.0ms
(sqrt (- (* g g) (* h h)))

series802.0ms

Calls
4 calls:
Slowest
348.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
327.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
70.0ms
(sqrt (- (* g g) (* h h)))
57.0ms
(sqrt (- (* g g) (* h h)))

simplify42.5s

Calls
330 calls:
Slowest
584.0ms
(cbrt (/ (+ (sqrt (- g)) (sqrt (sqrt (- (* g g) (* h h))))) (/ 1 (sqrt 1/2))))
577.0ms
(cbrt (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))
449.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ (* (cbrt a) (cbrt a)) (* (cbrt 1/2) (cbrt 1/2)))))
406.0ms
(* (cbrt 1/2) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log (/ 1 g)) (log -1/2))) (* 2 (log (/ 1 h)))))))
397.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ 1 (* (cbrt 1/2) (cbrt 1/2)))))

prune6.0s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 29.3b

localize70.0ms

Local error

Found 4 expressions with local error:

29.0b
(sqrt (- (* g g) (* h h)))
29.0b
(sqrt (- (* g g) (* h h)))
6.4b
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
1.4b
(- (- g) (sqrt (- (* g g) (* h h))))

rewrite312.0ms

Algorithm
rewrite-expression-head
Rules
234×add-sqr-sqrt
141×times-frac
128×*-un-lft-identity
91×cbrt-prod
81×sqrt-prod
80×difference-of-squares
72×add-cube-cbrt
26×distribute-lft-out--
24×cbrt-div swap-sqr
20×*-commutative unswap-sqr
16×associate-/r*
9×associate-/r/ associate-/l*
8×associate-*l* div-inv add-log-exp
6×pow1
4×flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 flip--
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 diff-log associate-/l/
1×associate--l- neg-sub0 sub-neg distribute-rgt-neg-in pow1/3 neg-log
Calls
4 calls:
Slowest
152.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
78.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
47.0ms
(sqrt (- (* g g) (* h h)))
29.0ms
(sqrt (- (* g g) (* h h)))

series604.0ms

Calls
4 calls:
Slowest
408.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
80.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
59.0ms
(sqrt (- (* g g) (* h h)))
56.0ms
(sqrt (- (* g g) (* h h)))

simplify21.9s

Calls
209 calls:
Slowest
634.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
419.0ms
(cbrt (/ (+ (sqrt (sqrt (- (* g g) (* h h)))) (sqrt g)) (/ (* (cbrt a) (cbrt a)) (* (cbrt 1/2) (cbrt 1/2)))))
387.0ms
(* (cbrt 1/2) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log (/ 1 g)) (log -1/2))) (* 2 (log (/ 1 h)))))))
358.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ 1 (* (cbrt 1/2) (cbrt 1/2)))))
341.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ (* (cbrt a) (cbrt a)) (* (cbrt 1/2) (cbrt 1/2)))))

prune4.2s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 28.5b

localize60.0ms

Local error

Found 4 expressions with local error:

29.0b
(sqrt (- (* g g) (* h h)))
29.0b
(sqrt (- (* g g) (* h h)))
1.4b
(- (- g) (sqrt (- (* g g) (* h h))))
1.4b
(- (* g g) (* h h))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
162×add-sqr-sqrt
77×difference-of-squares
67×sqrt-prod
46×*-un-lft-identity
36×swap-sqr
30×*-commutative unswap-sqr
17×distribute-lft-out--
12×associate-*l*
10×add-log-exp
6×pow1 add-cube-cbrt
4×flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 flip--
3×diff-log
2×rem-sqrt-square sub-neg sqrt-pow1 pow1/2
1×associate--l- neg-sub0 distribute-rgt-neg-in neg-log
Calls
4 calls:
Slowest
49.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
34.0ms
(sqrt (- (* g g) (* h h)))
30.0ms
(sqrt (- (* g g) (* h h)))
23.0ms
(- (* g g) (* h h))

series298.0ms

Calls
4 calls:
Slowest
101.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
86.0ms
(sqrt (- (* g g) (* h h)))
60.0ms
(sqrt (- (* g g) (* h h)))
51.0ms
(- (* g g) (* h h))

simplify3.8s

Calls
151 calls:
Slowest
273.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
237.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
212.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
197.0ms
(/ (exp (- g)) (exp (sqrt (- (* g g) (* h h)))))
188.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))

prune3.0s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 28.5b

localize73.0ms

Local error

Found 4 expressions with local error:

29.0b
(sqrt (- (* g g) (* h h)))
29.0b
(sqrt (- (* g g) (* h h)))
29.0b
(sqrt (- (* g g) (* h h)))
1.4b
(- (- g) (sqrt (- (* g g) (* h h))))

rewrite218.0ms

Algorithm
rewrite-expression-head
Rules
164×add-sqr-sqrt
100×sqrt-prod
77×difference-of-squares
47×*-un-lft-identity
36×swap-sqr
30×*-commutative unswap-sqr
17×distribute-lft-out--
12×associate-*l*
8×add-log-exp
7×pow1 add-cube-cbrt
6×sqrt-div
4×flip3-- add-cbrt-cube add-exp-log insert-posit16 flip--
3×rem-sqrt-square sqrt-pow1 pow1/2
2×diff-log
1×associate--l- neg-sub0 sub-neg distribute-rgt-neg-in neg-log
Calls
4 calls:
Slowest
83.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
48.0ms
(sqrt (- (* g g) (* h h)))
47.0ms
(sqrt (- (* g g) (* h h)))
34.0ms
(sqrt (- (* g g) (* h h)))

series295.0ms

Calls
4 calls:
Slowest
84.0ms
(sqrt (- (* g g) (* h h)))
84.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
65.0ms
(sqrt (- (* g g) (* h h)))
62.0ms
(sqrt (- (* g g) (* h h)))

simplify4.7s

Calls
131 calls:
Slowest
634.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
254.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
240.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
237.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
192.0ms
(/ (exp (- g)) (exp (sqrt (- (* g g) (* h h)))))

prune3.6s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 28.5b

regimes857.0ms

Accuracy

59.2% (1.4b remaining)

Error of 31.2b against oracle of 29.8b and baseline of 33.2b

bsearch252.0ms

end0.0ms

sample7.4s

Algorithm
intervals
Results
3.4s3690×body320valid
1.9s4142×body160valid
1.7s7864×body80nan
31.0ms168×body80valid