Details

Time bar (total: 30.6s)

sample177.0ms

Algorithm
intervals
Results
51.0ms54×body320valid
37.0ms149×body160valid
32.0ms511×pre80true
30.0ms255×body80nan
7.0ms53×body80valid

simplify122.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 44.8b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.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
12.0ms
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
10.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))

series198.0ms

Calls
4 calls:
Slowest
62.0ms
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
54.0ms
(sqrt (fma -3 (* c a) (* b b)))
45.0ms
(- (sqrt (fma -3 (* c a) (* b b))) b)
37.0ms
(fma -3 (* c a) (* b b))

simplify1.7s

Calls
34 calls:
Slowest
440.0ms
(- (* (sqrt (fma -3 (* c a) (* b b))) (sqrt (fma -3 (* c a) (* b b)))) (* b b))
195.0ms
(- (pow (sqrt (fma -3 (* c a) (* b b))) 3) (pow b 3))
186.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)))
110.0ms
(- (log (- (sqrt (fma -3 (* c a) (* b b))) b)) (log (* 3 a)))
90.0ms
(- (pow b 2) (* 3 (* a c)))

prune1.1s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 41.4b

localize15.0ms

Local error

Found 4 expressions with local error:

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

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

series850.0ms

Calls
4 calls:
Slowest
488.0ms
(/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
300.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))
31.0ms
(fma -3 (* c a) (* b b))
30.0ms
(fma -3 (* c a) (* b b))

simplify2.1s

Calls
22 calls:
Slowest
320.0ms
(- (* 1/3 (/ (pow (exp (* 1/4 (- (log -3) (+ (log (/ -1 c)) (log (/ -1 a)))))) 2) a)) (* 1/3 (/ b a)))
302.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)
191.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)))
190.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ -1 c)) (log (/ -1 a)))))) 2) b)
184.0ms
(- (* 1/3 (/ (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) a)) (* 1/3 (/ b a)))

prune1.2s

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 41.3b

localize30.0ms

Local error

Found 4 expressions with local error:

44.2b
(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.5b
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))
0.5b
(cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))))
0.4b
(* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1
11×add-cbrt-cube add-exp-log
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow-plus associate-*r* pow-prod-up
5×fma-udef
4×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×pow2
2×distribute-rgt-in distribute-lft-in pow3 *-commutative
1×cbrt-prod pow1/3 rem-cbrt-cube
Calls
4 calls:
Slowest
12.0ms
(* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))
9.0ms
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))
7.0ms
(cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))))
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))

series453.0ms

Calls
4 calls:
Slowest
275.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))
89.0ms
(* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))
55.0ms
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))
34.0ms
(cbrt (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))))

simplify5.1s

Calls
48 calls:
Slowest
556.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))))
387.0ms
(- (+ (pow b 6) (* 27 (* (pow a 2) (* (pow b 2) (pow c 2))))) (* 9 (* a (* (pow b 4) c))))
379.0ms
(- (+ (pow b 6) (* 27 (* (pow a 2) (* (pow b 2) (pow c 2))))) (* 9 (* a (* (pow b 4) c))))
337.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)
291.0ms
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))

prune1.7s

Pruning

39 alts after pruning (39 fresh and 0 done)

Merged error: 41.2b

localize36.0ms

Local error

Found 4 expressions with local error:

44.1b
(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 -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
38×pow1
17×add-exp-log
11×pow-plus add-cbrt-cube pow-prod-up
10×pow-pow
7×add-sqr-sqrt *-un-lft-identity pow-prod-down prod-exp add-cube-cbrt
6×associate-*r*
5×pow2 fma-udef
4×expm1-log1p-u associate-*l* cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×pow-exp
2×distribute-rgt-in distribute-lft-in pow3 *-commutative
1×pow-to-exp unpow-prod-down unpow1/3
Calls
4 calls:
Slowest
26.0ms
(* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))
19.0ms
(pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3)
10.0ms
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))
1.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))

series580.0ms

Calls
4 calls:
Slowest
278.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))
180.0ms
(pow (* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b))) 1/3)
83.0ms
(* (* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b))) (fma -3 (* c a) (* b b)))
38.0ms
(* (fma -3 (* c a) (* b b)) (fma -3 (* c a) (* b b)))

simplify7.0s

Calls
61 calls:
Slowest
514.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))))
462.0ms
(- (pow (exp (* 1/4 (- (log -3) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)
425.0ms
(- (+ (pow b 6) (* 27 (* (pow a 2) (* (pow b 2) (pow c 2))))) (* 9 (* a (* (pow b 4) c))))
386.0ms
(- (+ (pow b 6) (* 27 (* (pow a 2) (* (pow b 2) (pow c 2))))) (* 9 (* a (* (pow b 4) c))))
324.0ms
(- (+ (pow b 4) (* 9 (* (pow a 2) (pow c 2)))) (* 6 (* a (* (pow b 2) c))))

prune1.6s

Pruning

37 alts after pruning (37 fresh and 0 done)

Merged error: 41.2b

regimes979.0ms

Accuracy

0% (2.1b remaining)

Error of 42.5b against oracle of 40.4b and baseline of 42.5b

bsearch9.0ms

end0.0ms

sample5.6s

Algorithm
intervals
Results
1.5s16155×pre80true
1.5s8155×body80nan
1.3s4806×body160valid
632.0ms1435×body320valid
234.0ms1759×body80valid