Details

Time bar (total: 28.2s)

sample119.0ms

Algorithm
intervals
Results
40.0ms148×body160valid
22.0ms508×pre80true
20.0ms252×body80nan
12.0ms50×body320valid
5.0ms58×body80valid

simplify166.0ms

Calls
1 calls:
Slowest
166.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 43.8b

localize46.0ms

Local error

Found 4 expressions with local error:

37.9b
(- (sqrt (fma -3 (* c a) (* b b))) b)
0.3b
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
0.2b
(fma -3 (* c a) (* b b))
0.1b
(sqrt (fma -3 (* c a) (* b b)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube fma-neg add-exp-log sqrt-prod
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×times-frac associate-/l*
2×flip3-- flip-- associate-/l/
1×cbrt-undiv rem-sqrt-square clear-num associate-/r* sub-neg frac-2neg pow1/2 div-sub div-exp fma-udef div-inv
Calls
4 calls:
Slowest
24.0ms
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
11.0ms
(- (sqrt (fma -3 (* c a) (* b b))) b)
2.0ms
(sqrt (fma -3 (* c a) (* b b)))
0.0ms
(fma -3 (* c a) (* b b))

series425.0ms

Calls
4 calls:
Slowest
124.0ms
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
121.0ms
(sqrt (fma -3 (* c a) (* b b)))
111.0ms
(- (sqrt (fma -3 (* c a) (* b b))) b)
69.0ms
(fma -3 (* c a) (* b b))

simplify1.7s

Calls
34 calls:
Slowest
548.0ms
(- (* (sqrt (fma -3 (* c a) (* b b))) (sqrt (fma -3 (* c a) (* b b)))) (* b b))
173.0ms
(/ (* (* (- (sqrt (fma -3 (* c a) (* b b))) b) (- (sqrt (fma -3 (* c a) (* b b))) b)) (- (sqrt (fma -3 (* c a) (* b b))) b)) (* (* (* 3 a) (* 3 a)) (* 3 a)))
158.0ms
(- (pow (sqrt (fma -3 (* c a) (* b b))) 3) (pow b 3))
112.0ms
(- (log (- (sqrt (fma -3 (* c a) (* b b))) b)) (log (* 3 a)))
78.0ms
(- (pow b 2) (* 3 (* a c)))

prune1.0s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 40.1b

localize14.0ms

Local error

Found 4 expressions with local error:

42.8b
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
0.4b
(/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
0.2b
(fma -3 (* c a) (* b b))
0.2b
(fma -3 (* c a) (* b b))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×times-frac fma-udef associate-/l*
1×cbrt-undiv clear-num associate-/r* frac-2neg div-exp div-inv
Calls
4 calls:
Slowest
4.0ms
(/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
0.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
0.0ms
(fma -3 (* c a) (* b b))
0.0ms
(fma -3 (* c a) (* b b))

series1.2s

Calls
4 calls:
Slowest
620.0ms
(/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
411.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
87.0ms
(fma -3 (* c a) (* b b))
71.0ms
(fma -3 (* c a) (* b b))

simplify2.3s

Calls
22 calls:
Slowest
315.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)
284.0ms
(- (* 1/3 (/ (pow (exp (* 1/4 (- (log -3) (+ (log (/ -1 c)) (log (/ -1 a)))))) 2) a)) (* 1/3 (/ b a)))
263.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ -1 c)) (log (/ -1 a)))))) 2) b)
211.0ms
(/ (* (* (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))) (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))) (* (* (* 3 a) (* 3 a)) (* 3 a)))
200.0ms
(- (* 1/3 (/ (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) a)) (* 1/3 (/ b a)))

prune1.4s

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 40.1b

localize14.0ms

Local error

Found 4 expressions with local error:

42.8b
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
42.8b
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
42.8b
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
0.5b
(cbrt (* (* (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a)) (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))) (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
7×cbrt-div
5×frac-times associate-*l/
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r/ fma-udef
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Calls
4 calls:
Slowest
30.0ms
(cbrt (* (* (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a)) (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))) (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))))
0.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

series1.9s

Calls
4 calls:
Slowest
755.0ms
(cbrt (* (* (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a)) (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))) (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))))
396.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
384.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
360.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

simplify5.0s

Calls
21 calls:
Slowest
729.0ms
(cbrt (* (* (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a)) (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))) (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))))
510.0ms
(cbrt (* (* (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a)) (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))) (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))))
427.0ms
(cbrt (* (* (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))) (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))))
390.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)
370.0ms
(cbrt (* (* (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))) (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))))

prune1.2s

Pruning

35 alts after pruning (35 fresh and 0 done)

Merged error: 40.1b

localize19.0ms

Local error

Found 4 expressions with local error:

42.8b
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
42.8b
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
42.8b
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
0.6b
(cbrt (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a)))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
7×cbrt-prod
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×times-frac fma-udef
1×cbrt-div pow1/3 div-inv
Calls
4 calls:
Slowest
1.0ms
(cbrt (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a)))
0.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
0.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

series1.8s

Calls
4 calls:
Slowest
593.0ms
(cbrt (/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a)))
442.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
402.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
372.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

simplify3.2s

Calls
20 calls:
Slowest
456.0ms
(- (+ (* 5/162 (/ (* (cbrt -1/3) (* (exp (* 1/3 (+ (* 4 (log (/ -1 a))) (* 2 (log (/ -1 b)))))) (pow (exp (* 1/4 (- (log -3) (+ (log (/ -1 c)) (log (/ -1 a)))))) 6))) c)) (* (cbrt -1/3) (exp (* 1/3 (- (log (/ -1 a)) (log (/ -1 b))))))) (* 1/3 (/ (* (cbrt -1/3) (* (exp (* 1/3 (- (log (/ -1 a)) (log (/ -1 b))))) (pow (exp (* 1/4 (- (log -3) (+ (log (/ -1 c)) (log (/ -1 a)))))) 2))) b)))
410.0ms
(- (* (exp (* 1/3 (- (+ (log (/ 1 a)) (log -1)) (log (/ 1 b))))) (cbrt 1/3)) (+ (* 5/162 (/ (* (cbrt 1/3) (* (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 6) (exp (* 1/3 (+ (* 2 (log (/ 1 b))) (* 4 (log (/ 1 a)))))))) c)) (* 1/3 (/ (* (cbrt 1/3) (* (exp (* 1/3 (- (+ (log (/ 1 a)) (log -1)) (log (/ 1 b))))) (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2))) b))))
399.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)
351.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)
337.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)

prune953.0ms

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 39.7b

regimes685.0ms

Accuracy

0% (3.5b remaining)

Error of 43.5b against oracle of 40.0b and baseline of 43.5b

bsearch5.0ms

end0.0ms

sample5.1s

Algorithm
intervals
Results
1.5s8251×body80nan
1.3s4830×body160valid
1.1s16251×pre80true
600.0ms1393×body320valid
230.0ms1777×body80valid