Details

Time bar (total: 32.3s)

sample158.0ms

Algorithm
intervals
Results
48.0ms490×pre80true
37.0ms148×body160valid
28.0ms234×body80nan
14.0ms37×body320valid
9.0ms71×body80valid

simplify166.0ms

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 41.4b

localize34.0ms

Local error

Found 4 expressions with local error:

37.0b
(- (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)))

rewrite41.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
28.0ms
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
12.0ms
(- (sqrt (fma -3 (* c a) (* b b))) b)
1.0ms
(sqrt (fma -3 (* c a) (* b b)))
0.0ms
(fma -3 (* c a) (* b b))

series212.0ms

Calls
4 calls:
Slowest
68.0ms
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
56.0ms
(sqrt (fma -3 (* c a) (* b b)))
55.0ms
(- (sqrt (fma -3 (* c a) (* b b))) b)
32.0ms
(fma -3 (* c a) (* b b))

simplify1.7s

Calls
34 calls:
Slowest
473.0ms
(- (* (sqrt (fma -3 (* c a) (* b b))) (sqrt (fma -3 (* c a) (* b b)))) (* b b))
211.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)))
152.0ms
(- (pow (sqrt (fma -3 (* c a) (* b b))) 3) (pow b 3))
121.0ms
(- (log (- (sqrt (fma -3 (* c a) (* b b))) b)) (log (* 3 a)))
77.0ms
(- (pow b 2) (* 3 (* a c)))

prune1.4s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 37.7b

localize21.0ms

Local error

Found 4 expressions with local error:

40.9b
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
0.3b
(/ (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))

rewrite9.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
7.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))

series886.0ms

Calls
4 calls:
Slowest
470.0ms
(/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
322.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
48.0ms
(fma -3 (* c a) (* b b))
46.0ms
(fma -3 (* c a) (* b b))

simplify2.4s

Calls
22 calls:
Slowest
376.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)
294.0ms
(- (* 1/3 (/ (pow (exp (* 1/4 (- (log -3) (+ (log (/ -1 c)) (log (/ -1 a)))))) 2) a)) (* 1/3 (/ b a)))
257.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ -1 c)) (log (/ -1 a)))))) 2) b)
222.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)))
188.0ms
(- (* 1/3 (/ (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) a)) (* 1/3 (/ b a)))

prune1.1s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 37.7b

localize45.0ms

Local error

Found 4 expressions with local error:

40.9b
(fma (sqrt (sqrt (cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
0.6b
(cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))))
0.5b
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))
0.3b
(/ (fma (sqrt (sqrt (cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1
8×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×times-frac associate-*r* associate-*l* fma-udef associate-/l*
1×cbrt-prod pow2 distribute-rgt-in cbrt-undiv clear-num associate-/r* frac-2neg distribute-lft-in pow-plus pow1/3 div-exp pow3 pow-prod-down prod-exp *-commutative pow-prod-up rem-cbrt-cube cbrt-unprod div-inv
Calls
4 calls:
Slowest
15.0ms
(cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))))
10.0ms
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))
7.0ms
(/ (fma (sqrt (sqrt (cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
0.0ms
(fma (sqrt (sqrt (cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

series848.0ms

Calls
4 calls:
Slowest
452.0ms
(/ (fma (sqrt (sqrt (cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
299.0ms
(fma (sqrt (sqrt (cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
61.0ms
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))
36.0ms
(cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))))

simplify5.5s

Calls
36 calls:
Slowest
587.0ms
(* (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))))
343.0ms
(/ (* (* (fma (sqrt (sqrt (cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (fma (sqrt (sqrt (cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))) (fma (sqrt (sqrt (cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))) (* (* (* 3 a) (* 3 a)) (* 3 a)))
342.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)
307.0ms
(- (+ (pow b 4) (* 9 (* (pow a 2) (pow c 2)))) (* 6 (* a (* (pow b 2) c))))
294.0ms
(- (log (fma (sqrt (sqrt (cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))) (log (* 3 a)))

prune1.4s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 37.7b

localize19.0ms

Local error

Found 4 expressions with local error:

40.8b
(fma (sqrt (sqrt (pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
3.5b
(pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3)
0.5b
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))
0.4b
(/ (fma (sqrt (sqrt (pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
24×pow1
14×add-exp-log
10×pow-pow
8×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-cube-cbrt
6×pow-plus pow-prod-up
4×expm1-log1p-u pow-prod-down prod-exp insert-posit16 log1p-expm1-u add-log-exp
3×pow2 times-frac associate-*r* associate-*l* pow-exp fma-udef associate-/l*
1×distribute-rgt-in pow-to-exp cbrt-undiv clear-num associate-/r* unpow-prod-down frac-2neg distribute-lft-in unpow1/3 div-exp pow3 *-commutative cbrt-unprod div-inv
Calls
4 calls:
Slowest
16.0ms
(pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3)
9.0ms
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))
4.0ms
(/ (fma (sqrt (sqrt (pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
0.0ms
(fma (sqrt (sqrt (pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

series884.0ms

Calls
4 calls:
Slowest
414.0ms
(/ (fma (sqrt (sqrt (pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
272.0ms
(fma (sqrt (sqrt (pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
154.0ms
(pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3)
45.0ms
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))

simplify7.6s

Calls
49 calls:
Slowest
673.0ms
(* (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))))
368.0ms
(/ (* (* (fma (sqrt (sqrt (pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (fma (sqrt (sqrt (pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))) (fma (sqrt (sqrt (pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))) (* (* (* 3 a) (* 3 a)) (* 3 a)))
342.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)
320.0ms
(/ (sqrt (fma (sqrt (sqrt (pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))) 3)
304.0ms
(* (+ (log (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))) (log (fma -3 (* c a) (* b b)))) 1/3)

prune1.2s

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 37.7b

regimes867.0ms

Accuracy

0% (2.0b remaining)

Error of 42.3b against oracle of 40.3b and baseline of 42.3b

bsearch5.0ms

end0.0ms

sample5.7s

Algorithm
intervals
Results
1.8s4824×body160valid
1.2s16195×pre80true
1.1s8195×body80nan
650.0ms1384×body320valid
594.0ms1792×body80valid