Details

Time bar (total: 4.5m)

sample161.0ms

Algorithm
intervals
Results
52.0ms41×body2560valid
31.0ms179×body80valid
24.0ms27×body1280valid
15.0ms95×body80nan
8.0ms12×body640valid
5.0ms4×body5120valid
4.0ms8×body320valid
1.0ms3×body160valid

simplify145.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.4b

localize40.0ms

Local error

Found 4 expressions with local error:

25.6b
(sqrt (- (* b b) (* (* 4 a) c)))
1.8b
(- (* b b) (* (* 4 a) c))
1.0b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
0.1b
(/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))

rewrite613.0ms

Algorithm
rewrite-expression-head
Rules
139×add-sqr-sqrt
116×*-un-lft-identity
60×times-frac
42×unswap-sqr
36×associate-*l* add-cube-cbrt
30×difference-of-squares
28×distribute-lft-out
24×sqrt-prod
18×associate-*r*
14×distribute-rgt-neg-in
12×associate-/r* *-commutative distribute-lft-out--
10×add-log-exp
9×add-cbrt-cube add-exp-log
6×swap-sqr
5×pow1 associate-/l*
4×insert-posit16
2×neg-sub0 cbrt-undiv sum-log flip3-+ flip3-- sqrt-div div-exp associate-+l- flip-+ flip-- associate-/l/
1×+-commutative rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log div-sub neg-log prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
364.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
112.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
72.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
63.0ms
(- (* b b) (* (* 4 a) c))

series398.0ms

Calls
4 calls:
Slowest
152.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
102.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
89.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
55.0ms
(- (* b b) (* (* 4 a) c))

simplify16.5s

Calls
219 calls:
Slowest
408.0ms
(+ (pow (- b) 3) (pow (sqrt (- (* b b) (* (* 4 a) c))) 3))
382.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
342.0ms
(- (* (- b) (- b)) (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))))
305.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)))
272.0ms
(/ (exp (* b b)) (exp (* (* 4 a) c)))

prune2.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.4b

localize27.0ms

Local error

Found 4 expressions with local error:

25.6b
(sqrt (+ (* b b) (* (* c -4) a)))
1.8b
(+ (* b b) (* (* c -4) a))
1.0b
(+ (- b) (sqrt (+ (* b b) (* (* c -4) a))))
0.1b
(/ (+ (- b) (sqrt (+ (* b b) (* (* c -4) a)))) (* 2 a))

rewrite548.0ms

Algorithm
rewrite-expression-head
Rules
116×*-un-lft-identity
60×times-frac
49×add-sqr-sqrt
40×distribute-lft-out
36×associate-*l* add-cube-cbrt
18×associate-*r*
14×distribute-rgt-neg-in
12×associate-/r*
10×add-log-exp
9×add-cbrt-cube add-exp-log sqrt-prod
6×*-commutative unswap-sqr
5×pow1 associate-/l*
4×flip3-+ flip-+ insert-posit16
3×sum-log
2×neg-sub0 cbrt-undiv +-commutative sqrt-div div-exp associate-+l- associate-/l/
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-sub neg-log prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
308.0ms
(/ (+ (- b) (sqrt (+ (* b b) (* (* c -4) a)))) (* 2 a))
133.0ms
(+ (- b) (sqrt (+ (* b b) (* (* c -4) a))))
62.0ms
(sqrt (+ (* b b) (* (* c -4) a)))
39.0ms
(+ (* b b) (* (* c -4) a))

series417.0ms

Calls
4 calls:
Slowest
147.0ms
(/ (+ (- b) (sqrt (+ (* b b) (* (* c -4) a)))) (* 2 a))
104.0ms
(+ (- b) (sqrt (+ (* b b) (* (* c -4) a))))
97.0ms
(sqrt (+ (* b b) (* (* c -4) a)))
68.0ms
(+ (* b b) (* (* c -4) a))

simplify10.3s

Calls
174 calls:
Slowest
396.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* c -4) a) (* (* c -4) a))))
386.0ms
(- (* (- b) (- b)) (* (sqrt (+ (* b b) (* (* c -4) a))) (sqrt (+ (* b b) (* (* c -4) a)))))
333.0ms
(/ (* (* (+ (- b) (sqrt (+ (* b b) (* (* c -4) a)))) (+ (- b) (sqrt (+ (* b b) (* (* c -4) a))))) (+ (- b) (sqrt (+ (* b b) (* (* c -4) a))))) (* (* (* 2 a) (* 2 a)) (* 2 a)))
303.0ms
(+ (pow (- b) 3) (pow (sqrt (+ (* b b) (* (* c -4) a))) 3))
285.0ms
(/ (* (* (+ (- b) (sqrt (+ (* b b) (* (* c -4) a)))) (+ (- b) (sqrt (+ (* b b) (* (* c -4) a))))) (+ (- b) (sqrt (+ (* b b) (* (* c -4) a))))) (* (* (* 2 2) 2) (* (* a a) a)))

prune1.7s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 5.4b

localize31.0ms

Local error

Found 4 expressions with local error:

25.6b
(sqrt (- (* b b) (* (* 4 a) c)))
15.7b
(/ (* c (* 4 a)) (* (* 2 a) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
1.8b
(- (* b b) (* (* 4 a) c))
1.7b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))

rewrite963.0ms

Algorithm
rewrite-expression-head
Rules
792×add-sqr-sqrt
635×associate-*r*
572×times-frac
525×associate-*l*
375×*-un-lft-identity
255×add-cube-cbrt
236×unswap-sqr
106×*-commutative
78×difference-of-squares
60×distribute-lft-out--
48×sqrt-prod
40×add-cbrt-cube add-exp-log
26×associate-/r*
24×distribute-rgt-neg-in
22×associate-/l*
18×prod-exp cbrt-unprod
10×add-log-exp
9×cbrt-undiv div-exp
6×swap-sqr
5×pow1
4×flip3-- insert-posit16 flip--
3×diff-log
2×sub-neg sqrt-div associate-*r/ associate-/r/
1×associate--l- neg-sub0 rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 neg-log div-inv
Calls
4 calls:
Slowest
758.0ms
(/ (* c (* 4 a)) (* (* 2 a) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
89.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
57.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
42.0ms
(- (* b b) (* (* 4 a) c))

series563.0ms

Calls
4 calls:
Slowest
236.0ms
(/ (* c (* 4 a)) (* (* 2 a) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
131.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
113.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
83.0ms
(- (* b b) (* (* 4 a) c))

simplify3.6m

Calls
1294 calls:
Slowest
2.9s
(/ (* (* (* c c) c) (* (* (* 4 a) (* 4 a)) (* 4 a))) (* (* (* (* 2 a) (* 2 a)) (* 2 a)) (* (* (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))))
784.0ms
(- (+ (log c) (+ (log 4) (log a))) (+ (log (* 2 a)) (log (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))))
725.0ms
(/ (* (sqrt c) (* (sqrt 4) (sqrt a))) (* a (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
710.0ms
(/ (* 4 a) (* a (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
626.0ms
(/ (* c (* 4 a)) (* (sqrt (* 2 a)) (sqrt (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))))

prune5.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 5.3b

localize22.0ms

Local error

Found 4 expressions with local error:

25.6b
(sqrt (- (* b b) (* (* 4 a) c)))
1.8b
(- (* b b) (* (* 4 a) c))
1.7b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
0.1b
(/ c (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))

rewrite290.0ms

Algorithm
rewrite-expression-head
Rules
128×add-sqr-sqrt
61×*-un-lft-identity
40×difference-of-squares
36×unswap-sqr
29×sqrt-prod
22×distribute-lft-out--
21×times-frac
18×associate-*l*
17×add-cube-cbrt
10×add-log-exp
7×associate-/r*
6×add-cbrt-cube swap-sqr add-exp-log *-commutative
5×pow1 distribute-rgt-neg-in
4×flip3-- insert-posit16 flip--
3×diff-log associate-/l*
2×sub-neg sqrt-div associate-/r/
1×associate--l- neg-sub0 cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-exp neg-log div-inv
Calls
4 calls:
Slowest
136.0ms
(/ c (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
70.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
48.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
33.0ms
(- (* b b) (* (* 4 a) c))

series370.0ms

Calls
4 calls:
Slowest
170.0ms
(/ c (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
80.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
70.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
49.0ms
(- (* b b) (* (* 4 a) c))

simplify5.8s

Calls
140 calls:
Slowest
239.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
225.0ms
(+ (* (- b) (- b)) (+ (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))) (* (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
225.0ms
(/ (* (* c c) c) (* (* (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
163.0ms
(/ (exp (* b b)) (exp (* (* 4 a) c)))
155.0ms
(- b (* 2 (/ (* a c) b)))

prune1.0s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 5.3b

regimes228.0ms

Accuracy

94.7% (1.3b remaining)

Error of 7.0b against oracle of 5.7b and baseline of 30.1b

bsearch279.0ms

end0.0ms

sample3.2s

Algorithm
intervals
Results
971.0ms1070×body2560valid
610.0ms5855×body80valid
508.0ms889×body1280valid
431.0ms452×body640valid
291.0ms3022×body80nan
85.0ms101×body5120valid
79.0ms245×body320valid
17.0ms106×body160valid