Details

Time bar (total: 51.2s)

sample140.0ms

Algorithm
intervals
Results
42.0ms195×body80valid
32.0ms32×body2560valid
21.0ms25×body1280valid
14.0ms92×body80nan
5.0ms7×body640valid
5.0ms4×body5120valid
4.0ms8×body320valid
2.0ms5×body160valid

simplify201.0ms

Calls
1 calls:
Slowest
200.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.4b

localize35.0ms

Local error

Found 4 expressions with local error:

21.3b
(sqrt (fma (* a c) -4 (* b b)))
1.1b
(- (- b) (sqrt (fma (* a c) -4 (* b b))))
0.4b
(fma (* a c) -4 (* b b))
0.1b
(/ (/ (- (- b) (sqrt (fma (* a c) -4 (* b b)))) 2) a)

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
169×add-sqr-sqrt
168×*-un-lft-identity
159×times-frac
116×add-cube-cbrt
60×prod-diff
46×sqrt-prod
34×distribute-rgt-neg-in
26×distribute-lft-out-- difference-of-squares
25×associate-/l*
21×distribute-lft-neg-in
10×fma-neg
9×add-cbrt-cube add-exp-log
8×add-log-exp
7×neg-mul-1
5×pow1 div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv associate-/r* div-exp
2×diff-log div-sub
1×associate--l- neg-sub0 rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 flip3-- pow1/2 neg-log fma-udef flip-- associate-/l/
Calls
4 calls:
Slowest
47.0ms
(/ (/ (- (- b) (sqrt (fma (* a c) -4 (* b b)))) 2) a)
21.0ms
(- (- b) (sqrt (fma (* a c) -4 (* b b))))
2.0ms
(sqrt (fma (* a c) -4 (* b b)))
0.0ms
(fma (* a c) -4 (* b b))

series382.0ms

Calls
4 calls:
Slowest
122.0ms
(/ (/ (- (- b) (sqrt (fma (* a c) -4 (* b b)))) 2) a)
104.0ms
(sqrt (fma (* a c) -4 (* b b)))
86.0ms
(- (- b) (sqrt (fma (* a c) -4 (* b b))))
70.0ms
(fma (* a c) -4 (* b b))

simplify29.5s

Calls
334 calls:
Slowest
409.0ms
(/ (/ (* (cbrt (- (- b) (sqrt (fma (* a c) -4 (* b b))))) (cbrt (- (- b) (sqrt (fma (* a c) -4 (* b b)))))) (* (cbrt 2) (cbrt 2))) (* (cbrt a) (cbrt a)))
236.0ms
(fma (* (cbrt b) (cbrt b)) (- (cbrt b)) (- (* (cbrt (sqrt (fma (* a c) -4 (* b b)))) (* (cbrt (sqrt (fma (* a c) -4 (* b b)))) (cbrt (sqrt (fma (* a c) -4 (* b b))))))))
232.0ms
(fma (- (sqrt b)) (sqrt b) (- (* (cbrt (sqrt (fma (* a c) -4 (* b b)))) (* (cbrt (sqrt (fma (* a c) -4 (* b b)))) (cbrt (sqrt (fma (* a c) -4 (* b b))))))))
225.0ms
(/ (/ (* (* (- (- b) (sqrt (fma (* a c) -4 (* b b)))) (- (- b) (sqrt (fma (* a c) -4 (* b b))))) (- (- b) (sqrt (fma (* a c) -4 (* b b))))) (* (* 2 2) 2)) (* (* a a) a))
223.0ms
(fma (* (cbrt (- b)) (cbrt (- b))) (cbrt (- b)) (- (* (cbrt (sqrt (fma (* a c) -4 (* b b)))) (* (cbrt (sqrt (fma (* a c) -4 (* b b)))) (cbrt (sqrt (fma (* a c) -4 (* b b))))))))

prune3.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.4b

localize27.0ms

Local error

Found 3 expressions with local error:

21.3b
(sqrt (fma a (* c -4) (* b b)))
1.1b
(+ b (sqrt (fma a (* c -4) (* b b))))
0.2b
(* (- (+ b (sqrt (fma a (* c -4) (* b b))))) (/ 1/2 a))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
15×add-cube-cbrt
13×associate-*r*
12×associate-*l*
10×times-frac
8×add-cbrt-cube add-exp-log
6×pow1
5×add-log-exp
4×distribute-lft-neg-in distribute-rgt-neg-in distribute-neg-frac
3×expm1-log1p-u fma-def flip3-+ sqrt-prod flip-+ insert-posit16 log1p-expm1-u distribute-lft-out
2×frac-times associate-*l/ prod-exp cbrt-unprod unswap-sqr
1×distribute-lft-neg-out cbrt-undiv +-commutative rem-sqrt-square neg-mul-1 sum-log sqrt-pow1 pow1/2 div-exp pow-prod-down associate-*r/ *-commutative div-inv
Calls
3 calls:
Slowest
54.0ms
(* (- (+ b (sqrt (fma a (* c -4) (* b b))))) (/ 1/2 a))
6.0ms
(+ b (sqrt (fma a (* c -4) (* b b))))
2.0ms
(sqrt (fma a (* c -4) (* b b)))

series324.0ms

Calls
3 calls:
Slowest
120.0ms
(* (- (+ b (sqrt (fma a (* c -4) (* b b))))) (/ 1/2 a))
102.0ms
(sqrt (fma a (* c -4) (* b b)))
101.0ms
(+ b (sqrt (fma a (* c -4) (* b b))))

simplify4.3s

Calls
55 calls:
Slowest
615.0ms
(* (- (+ b (sqrt (fma a (* c -4) (* b b))))) (/ 1/2 a))
390.0ms
(* (* (* (- (+ b (sqrt (fma a (* c -4) (* b b))))) (- (+ b (sqrt (fma a (* c -4) (* b b)))))) (- (+ b (sqrt (fma a (* c -4) (* b b)))))) (/ (* (* 1/2 1/2) 1/2) (* (* a a) a)))
336.0ms
(* (+ (* b b) (- (* (sqrt (fma a (* c -4) (* b b))) (sqrt (fma a (* c -4) (* b b)))) (* b (sqrt (fma a (* c -4) (* b b)))))) a)
333.0ms
(* (- (+ (pow b 3) (pow (sqrt (fma a (* c -4) (* b b))) 3))) (/ 1/2 a))
316.0ms
(* (* (* (- (+ b (sqrt (fma a (* c -4) (* b b))))) (- (+ b (sqrt (fma a (* c -4) (* b b)))))) (- (+ b (sqrt (fma a (* c -4) (* b b)))))) (* (* (/ 1/2 a) (/ 1/2 a)) (/ 1/2 a)))

prune1.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 5.3b

localize52.0ms

Local error

Found 3 expressions with local error:

21.3b
(sqrt (fma a (* c -4) (* b b)))
1.1b
(+ b (sqrt (fma a (* c -4) (* b b))))
0.1b
(/ (* (- (+ b (sqrt (fma a (* c -4) (* b b))))) 1/2) a)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity
8×add-sqr-sqrt add-cbrt-cube add-exp-log
7×add-cube-cbrt
5×add-log-exp
4×pow1
3×expm1-log1p-u associate-/r* fma-def times-frac sqrt-prod insert-posit16 log1p-expm1-u
2×cbrt-undiv flip3-+ div-exp associate-*l/ flip-+ distribute-neg-frac associate-/l/
1×distribute-lft-neg-out +-commutative rem-sqrt-square clear-num sum-log frac-2neg sqrt-pow1 pow1/2 prod-exp distribute-frac-neg cbrt-unprod div-inv distribute-lft-out associate-/l*
Calls
3 calls:
Slowest
15.0ms
(/ (* (- (+ b (sqrt (fma a (* c -4) (* b b))))) 1/2) a)
5.0ms
(+ b (sqrt (fma a (* c -4) (* b b))))
2.0ms
(sqrt (fma a (* c -4) (* b b)))

series331.0ms

Calls
3 calls:
Slowest
120.0ms
(/ (* (- (+ b (sqrt (fma a (* c -4) (* b b))))) 1/2) a)
108.0ms
(+ b (sqrt (fma a (* c -4) (* b b))))
103.0ms
(sqrt (fma a (* c -4) (* b b)))

simplify2.7s

Calls
34 calls:
Slowest
513.0ms
(/ (* (* (* (- (+ b (sqrt (fma a (* c -4) (* b b))))) 1/2) (* (- (+ b (sqrt (fma a (* c -4) (* b b))))) 1/2)) (* (- (+ b (sqrt (fma a (* c -4) (* b b))))) 1/2)) (* (* a a) a))
425.0ms
(/ (* (* (* (- (+ b (sqrt (fma a (* c -4) (* b b))))) (- (+ b (sqrt (fma a (* c -4) (* b b)))))) (- (+ b (sqrt (fma a (* c -4) (* b b)))))) (* (* 1/2 1/2) 1/2)) (* (* a a) a))
302.0ms
(* (- (+ (pow b 3) (pow (sqrt (fma a (* c -4) (* b b))) 3))) 1/2)
297.0ms
(- (* 2 b) (* 2 (/ (* a c) b)))
170.0ms
(- (log (* (- (+ b (sqrt (fma a (* c -4) (* b b))))) 1/2)) (log a))

prune926.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 5.3b

localize51.0ms

Local error

Found 4 expressions with local error:

21.3b
(sqrt (fma a (* c -4) (* b b)))
21.3b
(sqrt (fma a (* c -4) (* b b)))
1.1b
(+ b (sqrt (fma a (* c -4) (* b b))))
1.1b
(+ b (sqrt (fma a (* c -4) (* b b))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
10×add-sqr-sqrt
8×add-cube-cbrt add-log-exp
6×pow1 fma-def sqrt-prod
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×+-commutative rem-sqrt-square sum-log sqrt-pow1 flip3-+ pow1/2 flip-+ distribute-lft-out
Calls
4 calls:
Slowest
5.0ms
(+ b (sqrt (fma a (* c -4) (* b b))))
5.0ms
(+ b (sqrt (fma a (* c -4) (* b b))))
1.0ms
(sqrt (fma a (* c -4) (* b b)))
1.0ms
(sqrt (fma a (* c -4) (* b b)))

series461.0ms

Calls
4 calls:
Slowest
130.0ms
(+ b (sqrt (fma a (* c -4) (* b b))))
120.0ms
(sqrt (fma a (* c -4) (* b b)))
113.0ms
(+ b (sqrt (fma a (* c -4) (* b b))))
98.0ms
(sqrt (fma a (* c -4) (* b b)))

simplify1.0s

Calls
30 calls:
Slowest
224.0ms
(- (* 2 b) (* 2 (/ (* a c) b)))
222.0ms
(- (* 2 b) (* 2 (/ (* a c) b)))
95.0ms
(* 2 (/ (* a c) b))
63.0ms
(* 2 (/ (* a c) b))
53.0ms
(* (exp b) (exp (sqrt (fma a (* c -4) (* b b)))))

prune1.1s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 5.3b

regimes380.0ms

Accuracy

81.3% (5.2b remaining)

Error of 10.9b against oracle of 5.6b and baseline of 33.7b

bsearch289.0ms

end0.0ms

sample4.5s

Algorithm
intervals
Results
1.6s1086×body2560valid
967.0ms5821×body80valid
754.0ms913×body1280valid
386.0ms2866×body80nan
333.0ms462×body640valid
126.0ms109×body5120valid
86.0ms213×body320valid
32.0ms117×body160valid