Details

Time bar (total: 28.0s)

sample149.0ms

Algorithm
intervals
Results
67.0ms45×body2560valid
24.0ms185×body80valid
16.0ms25×body1280valid
9.0ms64×body80nan
7.0ms12×body640valid
3.0ms3×body5120valid
2.0ms5×body320valid
1.0ms3×body160valid

simplify559.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.4b

localize31.0ms

Local error

Found 4 expressions with local error:

22.7b
(sqrt (- (* b b) (* 4 (* a c))))
1.0b
(- (* b b) (* 4 (* a c)))
0.7b
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
0.1b
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
13×*-un-lft-identity
8×add-log-exp
7×add-cube-cbrt
6×times-frac add-cbrt-cube add-exp-log sqrt-prod associate-/l* difference-of-squares
4×pow1 flip3-- insert-posit16 flip--
3×distribute-lft-out--
2×sub-neg sqrt-div diff-log associate-/l/
1×associate--l- neg-sub0 cbrt-undiv rem-sqrt-square clear-num associate-/r* frac-2neg pow1/2 div-sub div-exp div-inv
Calls
4 calls:
Slowest
34.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
7.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
3.0ms
(- (* b b) (* 4 (* a c)))
3.0ms
(sqrt (- (* b b) (* 4 (* a c))))

series259.0ms

Calls
4 calls:
Slowest
86.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
70.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
65.0ms
(sqrt (- (* b b) (* 4 (* a c))))
38.0ms
(- (* b b) (* 4 (* a c)))

simplify4.8s

Calls
46 calls:
Slowest
480.0ms
(sqrt (- (pow (* b b) 3) (pow (* 4 (* a c)) 3)))
417.0ms
(- (* (- b) (- b)) (* (sqrt (- (* b b) (* 4 (* a c)))) (sqrt (- (* b b) (* 4 (* a c))))))
346.0ms
(- (pow (- b) 3) (pow (sqrt (- (* b b) (* 4 (* a c)))) 3))
285.0ms
(/ (* (* (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (- (- b) (sqrt (- (* b b) (* 4 (* a c)))))) (- (- b) (sqrt (- (* b b) (* 4 (* a c)))))) (* (* (* 2 a) (* 2 a)) (* 2 a)))
235.0ms
(sqrt (- (* (* b b) (* b b)) (* (* 4 (* a c)) (* 4 (* a c)))))

prune865.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.2b

localize15.0ms

Local error

Found 4 expressions with local error:

22.7b
(sqrt (- (* b b) (* a (* 4 c))))
1.0b
(- (* b b) (* a (* 4 c)))
0.7b
(- (- b) (sqrt (- (* b b) (* a (* 4 c)))))
0.1b
(/ (- (- b) (sqrt (- (* b b) (* a (* 4 c))))) (* 2 a))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
13×*-un-lft-identity
8×add-log-exp
7×add-cube-cbrt
6×times-frac add-cbrt-cube add-exp-log sqrt-prod associate-/l* difference-of-squares
4×pow1 flip3-- insert-posit16 flip--
3×distribute-lft-out--
2×sub-neg sqrt-div diff-log associate-/l/
1×associate--l- neg-sub0 cbrt-undiv rem-sqrt-square clear-num associate-/r* frac-2neg pow1/2 div-sub div-exp div-inv
Calls
4 calls:
Slowest
36.0ms
(/ (- (- b) (sqrt (- (* b b) (* a (* 4 c))))) (* 2 a))
11.0ms
(- (- b) (sqrt (- (* b b) (* a (* 4 c)))))
3.0ms
(sqrt (- (* b b) (* a (* 4 c))))
3.0ms
(- (* b b) (* a (* 4 c)))

series176.0ms

Calls
4 calls:
Slowest
62.0ms
(/ (- (- b) (sqrt (- (* b b) (* a (* 4 c))))) (* 2 a))
47.0ms
(- (- b) (sqrt (- (* b b) (* a (* 4 c)))))
43.0ms
(sqrt (- (* b b) (* a (* 4 c))))
24.0ms
(- (* b b) (* a (* 4 c)))

simplify4.2s

Calls
46 calls:
Slowest
468.0ms
(sqrt (- (pow (* b b) 3) (pow (* a (* 4 c)) 3)))
351.0ms
(- (* (- b) (- b)) (* (sqrt (- (* b b) (* a (* 4 c)))) (sqrt (- (* b b) (* a (* 4 c))))))
304.0ms
(- (pow (- b) 3) (pow (sqrt (- (* b b) (* a (* 4 c)))) 3))
239.0ms
(sqrt (- (* (* b b) (* b b)) (* (* a (* 4 c)) (* a (* 4 c)))))
227.0ms
(- b (* 2 (/ (* a c) b)))

prune887.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 4.2b

localize14.0ms

Local error

Found 4 expressions with local error:

22.7b
(sqrt (- (* b b) (* a (* 4 c))))
1.0b
(- (* b b) (* a (* 4 c)))
0.7b
(- (- b) (sqrt (- (* b b) (* a (* 4 c)))))
0.2b
(* (- (- b) (sqrt (- (* b b) (* a (* 4 c))))) (/ 1 (* 2 a)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
11×*-un-lft-identity
8×add-exp-log add-log-exp
7×add-cube-cbrt
6×pow1 add-cbrt-cube associate-*l*
5×flip3-- sqrt-prod flip--
4×associate-*r* insert-posit16 difference-of-squares
2×frac-times sub-neg sqrt-div diff-log associate-*l/ prod-exp distribute-lft-out--
1×associate--l- neg-sub0 rem-sqrt-square rec-exp pow1/2 pow-prod-down associate-*r/ un-div-inv *-commutative cbrt-unprod div-inv
Calls
4 calls:
Slowest
24.0ms
(* (- (- b) (sqrt (- (* b b) (* a (* 4 c))))) (/ 1 (* 2 a)))
13.0ms
(- (- b) (sqrt (- (* b b) (* a (* 4 c)))))
5.0ms
(- (* b b) (* a (* 4 c)))
5.0ms
(sqrt (- (* b b) (* a (* 4 c))))

series191.0ms

Calls
4 calls:
Slowest
61.0ms
(* (- (- b) (sqrt (- (* b b) (* a (* 4 c))))) (/ 1 (* 2 a)))
51.0ms
(sqrt (- (* b b) (* a (* 4 c))))
49.0ms
(- (- b) (sqrt (- (* b b) (* a (* 4 c)))))
29.0ms
(- (* b b) (* a (* 4 c)))

simplify5.8s

Calls
45 calls:
Slowest
565.0ms
(* (- (* (- b) (- b)) (* (sqrt (- (* b b) (* a (* 4 c)))) (sqrt (- (* b b) (* a (* 4 c)))))) (/ 1 (* 2 a)))
526.0ms
(* (- (* (- b) (- b)) (* (sqrt (- (* b b) (* a (* 4 c)))) (sqrt (- (* b b) (* a (* 4 c)))))) 1)
507.0ms
(sqrt (- (pow (* b b) 3) (pow (* a (* 4 c)) 3)))
405.0ms
(* (+ (* (- b) (- b)) (+ (* (sqrt (- (* b b) (* a (* 4 c)))) (sqrt (- (* b b) (* a (* 4 c))))) (* (- b) (sqrt (- (* b b) (* a (* 4 c))))))) (* 2 a))
386.0ms
(* (- (pow (- b) 3) (pow (sqrt (- (* b b) (* a (* 4 c)))) 3)) (/ 1 (* 2 a)))

prune1.0s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 4.2b

localize21.0ms

Local error

Found 4 expressions with local error:

22.7b
(sqrt (- (* b b) (* a (* 4 c))))
12.7b
(/ (* c a) a)
1.0b
(- (* b b) (* a (* 4 c)))
0.8b
(+ (- b) (sqrt (- (* b b) (* a (* 4 c)))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
8×add-log-exp
7×*-un-lft-identity
6×add-sqr-sqrt
5×add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×sqrt-prod
2×flip3-- sqrt-div flip--
1×neg-sub0 +-commutative rem-sqrt-square clear-num sum-log sub-neg frac-2neg flip3-+ pow1/2 diff-log associate-+l- flip-+ div-inv distribute-lft-out associate-/l*
Calls
4 calls:
Slowest
7.0ms
(+ (- b) (sqrt (- (* b b) (* a (* 4 c)))))
5.0ms
(/ (* c a) a)
5.0ms
(sqrt (- (* b b) (* a (* 4 c))))
4.0ms
(- (* b b) (* a (* 4 c)))

series136.0ms

Calls
4 calls:
Slowest
58.0ms
(+ (- b) (sqrt (- (* b b) (* a (* 4 c)))))
45.0ms
(sqrt (- (* b b) (* a (* 4 c))))
29.0ms
(- (* b b) (* a (* 4 c)))
4.0ms
(/ (* c a) a)

simplify2.2s

Calls
21 calls:
Slowest
587.0ms
(sqrt (- (pow (* b b) 3) (pow (* a (* 4 c)) 3)))
303.0ms
(sqrt (- (* (* b b) (* b b)) (* (* a (* 4 c)) (* a (* 4 c)))))
201.0ms
(- b (* 2 (/ (* a c) b)))
142.0ms
(* (exp (- b)) (exp (sqrt (- (* b b) (* a (* 4 c))))))
125.0ms
(- (* 2 (/ (* a c) b)) (* 2 b))

prune770.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 4.2b

regimes317.0ms

Accuracy

96.5% (0.8b remaining)

Error of 6.4b against oracle of 5.6b and baseline of 29.4b

bsearch349.0ms

end0.0ms

sample5.0s

Algorithm
intervals
Results
1.9s1014×body2560valid
1.0s5891×body80valid
786.0ms893×body1280valid
422.0ms2853×body80nan
267.0ms479×body640valid
162.0ms116×body5120valid
127.0ms235×body320valid
28.0ms101×body160valid