Details

Time bar (total: 24.1s)

sample91.0ms

Algorithm
intervals
Results
26.0ms193×body80valid
16.0ms26×body2560valid
14.0ms30×body1280valid
8.0ms87×body80nan
7.0ms17×body640valid
2.0ms7×body320valid
2.0ms6×body160valid
1.0ms1×body5120valid

simplify137.0ms

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

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.8b

localize402.0ms

Local error

Found 4 expressions with local error:

19.2b
(sqrt (- (* b b) (* (* 3 a) c)))
1.1b
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
1.0b
(- (* b b) (* (* 3 a) c))
0.2b
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))

rewrite38.0ms

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

series209.0ms

Calls
4 calls:
Slowest
87.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))
51.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
46.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
25.0ms
(- (* b b) (* (* 3 a) c))

simplify4.3s

Calls
40 calls:
Slowest
607.0ms
(- (* (- b) (- b)) (* (sqrt (- (* b b) (* (* 3 a) c))) (sqrt (- (* b b) (* (* 3 a) c)))))
536.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 3 a) c) 3)))
283.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))
262.0ms
(+ (pow (- b) 3) (pow (sqrt (- (* b b) (* (* 3 a) c))) 3))
248.0ms
(- b (* 3/2 (/ (* a c) b)))

prune1.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.1b

localize6.0ms

Local error

Found 4 expressions with local error:

19.2b
(sqrt (- (* b b) (* (* 3 a) c)))
1.1b
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
1.0b
(- (* b b) (* (* 3 a) c))
0.2b
(* (* 3 a) c)

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity add-log-exp
7×add-sqr-sqrt
6×add-cube-cbrt
4×expm1-log1p-u pow1 fma-def add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×sqrt-prod
2×flip3-- sqrt-div flip--
1×neg-sub0 +-commutative rem-sqrt-square neg-mul-1 sum-log sub-neg flip3-+ pow1/2 fma-neg diff-log associate-*l* prod-diff *-commutative associate-+l- flip-+ distribute-lft-out
Calls
4 calls:
Slowest
8.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
6.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
5.0ms
(* (* 3 a) c)
3.0ms
(- (* b b) (* (* 3 a) c))

series185.0ms

Calls
4 calls:
Slowest
69.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
56.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
42.0ms
(- (* b b) (* (* 3 a) c))
17.0ms
(* (* 3 a) c)

simplify2.2s

Calls
25 calls:
Slowest
453.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 3 a) c) 3)))
280.0ms
(- b (* 3/2 (/ (* a c) b)))
258.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))
122.0ms
(- (* 3/2 (/ (* a c) b)) (* 2 b))
118.0ms
(/ (exp (* b b)) (exp (* (* 3 a) c)))

prune863.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.0b

localize6.0ms

Local error

Found 4 expressions with local error:

19.2b
(sqrt (- (* b b) (* (* 3 a) c)))
1.1b
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
1.0b
(- (* b b) (* (* 3 a) c))
0.2b
(/ (* 3 a) (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))))

rewrite28.0ms

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

series284.0ms

Calls
4 calls:
Slowest
149.0ms
(/ (* 3 a) (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))))
66.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
44.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
26.0ms
(- (* b b) (* (* 3 a) c))

simplify3.9s

Calls
41 calls:
Slowest
599.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 3 a) c) 3)))
283.0ms
(/ (* (* (* 3 a) (* 3 a)) (* 3 a)) (* (* (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))))
271.0ms
(- b (* 3/2 (/ (* a c) b)))
262.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))
253.0ms
(+ (* (- b) (- b)) (- (* (sqrt (- (* b b) (* (* 3 a) c))) (sqrt (- (* b b) (* (* 3 a) c)))) (* (- b) (sqrt (- (* b b) (* (* 3 a) c))))))

prune1.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 6.0b

localize16.0ms

Local error

Found 4 expressions with local error:

19.2b
(sqrt (- (* b b) (* (* 3 a) c)))
1.1b
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
1.0b
(- (* b b) (* (* 3 a) c))
0.2b
(/ 1 (/ 3 (/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) a)))

rewrite22.0ms

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

series228.0ms

Calls
4 calls:
Slowest
81.0ms
(/ 1 (/ 3 (/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) a)))
62.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
51.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
34.0ms
(- (* b b) (* (* 3 a) c))

simplify2.9s

Calls
31 calls:
Slowest
517.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 3 a) c) 3)))
245.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))
180.0ms
(/ (exp (* b b)) (exp (* (* 3 a) c)))
168.0ms
(- b (* 3/2 (/ (* a c) b)))
140.0ms
(/ 3 (/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) a))

prune985.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 6.0b

regimes718.0ms

Accuracy

83.5% (4.5b remaining)

Error of 10.5b against oracle of 6.0b and baseline of 33.5b

bsearch213.0ms

end0.0ms

sample4.2s

Algorithm
intervals
Results
992.0ms5897×body80valid
871.0ms1068×body2560valid
635.0ms902×body1280valid
602.0ms112×body5120valid
432.0ms2961×body80nan
241.0ms422×body640valid
79.0ms229×body320valid
24.0ms102×body160valid