Details

Time bar (total: 1.3m)

sample173.0ms

Algorithm
intervals
Results
57.0ms113×body320valid
48.0ms246×body80nan
45.0ms136×body160valid
1.0ms7×body80valid

simplify333.0ms

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

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 38.3b

localize67.0ms

Local error

Found 4 expressions with local error:

31.2b
(sqrt (- (* g g) (* h h)))
31.2b
(sqrt (- (* g g) (* h h)))
9.1b
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
8.1b
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
286×times-frac
231×add-sqr-sqrt
203×*-un-lft-identity
179×cbrt-prod
125×add-cube-cbrt
54×difference-of-squares
39×distribute-lft-out--
34×sqrt-prod
15×div-inv
13×distribute-rgt-neg-in
6×pow1
4×add-cbrt-cube sqrt-div add-exp-log insert-posit16 add-log-exp
2×rem-sqrt-square cbrt-div sqrt-pow1 flip3-- pow1/2 pow1/3 associate-/r/ flip--
Counts
4 → 233
Calls
4 calls:
Slowest
24.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
14.0ms
(sqrt (- (* g g) (* h h)))
13.0ms
(sqrt (- (* g g) (* h h)))
13.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))

series820.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
348.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
312.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
87.0ms
(sqrt (- (* g g) (* h h)))
72.0ms
(sqrt (- (* g g) (* h h)))

simplify27.4s

Counts
209 → 245
Calls
209 calls:
Slowest
449.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ 1 (* (cbrt 1/2) (cbrt 1/2)))))
410.0ms
(* (exp (* 1/3 (- (+ (log 2) (log (/ 1 a))) (log (/ 1 g))))) (cbrt -1/2))
409.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)))))
398.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ 1 (* (cbrt 1/2) (cbrt 1/2)))))
392.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ (* (cbrt a) (cbrt a)) (sqrt 1/2))))

prune4.4s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 32.4b

localize96.0ms

Local error

Found 4 expressions with local error:

31.2b
(sqrt (- (* g g) (* h h)))
31.2b
(sqrt (- (* g g) (* h h)))
8.1b
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
3.8b
(- (* g g) (* h h))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
132×times-frac
116×add-sqr-sqrt
88×*-un-lft-identity
83×cbrt-prod
62×add-cube-cbrt
29×difference-of-squares
21×sqrt-prod
13×distribute-lft-out--
7×div-inv
6×pow1 add-log-exp
4×add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×flip3-- flip--
2×rem-sqrt-square sqrt-pow1 pow1/2
1×cbrt-div sub-neg pow1/3 diff-log associate-/r/
Counts
4 → 141
Calls
4 calls:
Slowest
12.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
12.0ms
(sqrt (- (* g g) (* h h)))
10.0ms
(- (* g g) (* h h))
7.0ms
(sqrt (- (* g g) (* h h)))

series523.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
345.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
73.0ms
(- (* g g) (* h h))
56.0ms
(sqrt (- (* g g) (* h h)))
49.0ms
(sqrt (- (* g g) (* h h)))

simplify14.7s

Counts
115 → 153
Calls
115 calls:
Slowest
429.0ms
(* (cbrt 1/2) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log (/ 1 g)) (log -1/2))) (* 2 (log (/ 1 h)))))))
423.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)))))
369.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ 1 (* (cbrt 1/2) (cbrt 1/2)))))
325.0ms
(* (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g))))) (cbrt -1/2))
324.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ (* (cbrt a) (cbrt a)) (sqrt 1/2))))

prune3.9s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 31.7b

localize165.0ms

Local error

Found 4 expressions with local error:

31.2b
(sqrt (- (* g g) (* h h)))
31.2b
(sqrt (- (* g g) (* h h)))
31.2b
(sqrt (- (* g g) (* h h)))
31.2b
(sqrt (- (* g g) (* h h)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-prod
12×add-sqr-sqrt
8×pow1 *-un-lft-identity sqrt-div add-cube-cbrt
4×rem-sqrt-square sqrt-pow1 flip3-- add-cbrt-cube pow1/2 add-exp-log insert-posit16 flip-- add-log-exp difference-of-squares
Counts
4 → 68
Calls
4 calls:
Slowest
14.0ms
(sqrt (- (* g g) (* h h)))
14.0ms
(sqrt (- (* g g) (* h h)))
13.0ms
(sqrt (- (* g g) (* h h)))
13.0ms
(sqrt (- (* g g) (* h h)))

series333.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
88.0ms
(sqrt (- (* g g) (* h h)))
86.0ms
(sqrt (- (* g g) (* h h)))
81.0ms
(sqrt (- (* g g) (* h h)))
77.0ms
(sqrt (- (* g g) (* h h)))

simplify4.4s

Counts
44 → 80
Calls
44 calls:
Slowest
418.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
321.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
315.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
314.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
300.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))

prune4.1s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 31.7b

localize224.0ms

Local error

Found 4 expressions with local error:

32.2b
(cbrt (- (* g g) (* h h)))
32.2b
(cbrt (- (* g g) (* h h)))
31.2b
(sqrt (- (* g g) (* h h)))
31.2b
(sqrt (- (* g g) (* h h)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×cbrt-prod *-un-lft-identity add-cube-cbrt sqrt-prod
6×pow1
4×cbrt-div flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 flip-- add-log-exp difference-of-squares
2×rem-sqrt-square sqrt-pow1 pow1/2 pow1/3
Counts
4 → 64
Calls
4 calls:
Slowest
15.0ms
(sqrt (- (* g g) (* h h)))
14.0ms
(sqrt (- (* g g) (* h h)))
10.0ms
(cbrt (- (* g g) (* h h)))
10.0ms
(cbrt (- (* g g) (* h h)))

series596.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
235.0ms
(cbrt (- (* g g) (* h h)))
190.0ms
(cbrt (- (* g g) (* h h)))
91.0ms
(sqrt (- (* g g) (* h h)))
80.0ms
(sqrt (- (* g g) (* h h)))

simplify4.9s

Counts
40 → 76
Calls
40 calls:
Slowest
721.0ms
(cbrt (sqrt (- (* g g) (* h h))))
328.0ms
(- (exp (* 1/3 (+ (* 2 (log h)) (log -1)))) (* 1/3 (* (pow g 2) (exp (* 1/3 (- (log -1) (* 4 (log h))))))))
310.0ms
(cbrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
304.0ms
(cbrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
293.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))

prune2.9s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 31.7b

regimes2.2s

Accuracy

0% (1.7b remaining)

Error of 31.7b against oracle of 29.9b and baseline of 31.7b

bsearch23.0ms

end0.0ms

sample7.6s

Algorithm
intervals
Results
3.0s3717×body320valid
2.2s4128×body160valid
1.9s8082×body80nan
30.0ms155×body80valid