Details

Time bar (total: 4.1m)

sample100.0ms

Algorithm
intervals
Results
26.0ms186×body80valid
22.0ms30×body2560valid
15.0ms28×body1280valid
9.0ms96×body80nan
8.0ms18×body640valid
3.0ms10×body320valid
2.0ms6×body160valid

simplify75.0ms

Calls
1 calls:
Slowest
75.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.9b

localize35.0ms

Local error

Found 4 expressions with local error:

25.7b
(sqrt (- (* b_2 b_2) (* a c)))
1.8b
(- (* b_2 b_2) (* a c))
1.7b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)

rewrite450.0ms

Algorithm
rewrite-expression-head
Rules
587×add-sqr-sqrt
380×prod-diff
326×*-un-lft-identity
210×add-cube-cbrt
192×sqrt-prod
132×associate-*l*
130×difference-of-squares
112×unswap-sqr
84×associate-*r*
68×distribute-rgt-neg-in
63×distribute-lft-neg-in swap-sqr
58×distribute-lft-out--
52×*-commutative
25×fma-neg
21×neg-mul-1 times-frac
10×add-log-exp
7×associate-/l*
6×add-cbrt-cube add-exp-log
5×pow1
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
3×associate-/r* diff-log
2×associate--l- neg-sub0 sub-neg sqrt-div div-sub associate-/l/
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-exp neg-log div-inv
Calls
4 calls:
Slowest
224.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
83.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
73.0ms
(sqrt (- (* b_2 b_2) (* a c)))
54.0ms
(- (* b_2 b_2) (* a c))

series365.0ms

Calls
4 calls:
Slowest
109.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
95.0ms
(sqrt (- (* b_2 b_2) (* a c)))
94.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
68.0ms
(- (* b_2 b_2) (* a c))

simplify1.2m

Calls
898 calls:
Slowest
619.0ms
(fma (* (cbrt (- b_2)) (cbrt (- b_2))) (cbrt (- b_2)) (- (* (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt (sqrt (- (* b_2 b_2) (* a c)))))))
453.0ms
(/ (* (* (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) (* (* a a) a))
390.0ms
(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
364.0ms
(- (* (- b_2) (- b_2)) (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))))
306.0ms
(fma (sqrt (- b_2)) (sqrt (- b_2)) (- (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (cbrt (sqrt (- (* b_2 b_2) (* a c))))))))

prune5.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.6b

localize18.0ms

Local error

Found 4 expressions with local error:

25.7b
(sqrt (- (* b_2 b_2) (* a c)))
1.8b
(- (* b_2 b_2) (* a c))
1.7b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)

rewrite373.0ms

Algorithm
rewrite-expression-head
Rules
587×add-sqr-sqrt
380×prod-diff
326×*-un-lft-identity
210×add-cube-cbrt
192×sqrt-prod
132×associate-*l*
130×difference-of-squares
112×unswap-sqr
84×associate-*r*
68×distribute-rgt-neg-in
63×distribute-lft-neg-in swap-sqr
58×distribute-lft-out--
52×*-commutative
25×fma-neg
21×neg-mul-1 times-frac
10×add-log-exp
7×associate-/l*
6×add-cbrt-cube add-exp-log
5×pow1
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
3×associate-/r* diff-log
2×associate--l- neg-sub0 sub-neg sqrt-div div-sub associate-/l/
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-exp neg-log div-inv
Calls
4 calls:
Slowest
197.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
84.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
38.0ms
(sqrt (- (* b_2 b_2) (* a c)))
29.0ms
(- (* b_2 b_2) (* a c))

series418.0ms

Calls
4 calls:
Slowest
132.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
119.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
107.0ms
(sqrt (- (* b_2 b_2) (* a c)))
60.0ms
(- (* b_2 b_2) (* a c))

simplify1.2m

Calls
898 calls:
Slowest
590.0ms
(/ (* (* (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) (* (* a a) a))
453.0ms
(fma (* (sqrt b_2) (sqrt b_2)) (* (sqrt b_2) (sqrt b_2)) (- (* (* a c) 1)))
399.0ms
(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
368.0ms
(- (* (- b_2) (- b_2)) (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))))
248.0ms
(sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))

prune5.9s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.6b

localize60.0ms

Local error

Found 4 expressions with local error:

25.7b
(sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0))
2.3b
(fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c))))))
1.7b
(- (- b_2) (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0)))
0.6b
(cbrt c)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
76×*-un-lft-identity
70×prod-diff
57×add-sqr-sqrt
50×add-cube-cbrt
45×sqrt-prod
25×distribute-rgt-neg-in
24×distribute-lft-neg-in
11×distribute-lft-out
10×fma-neg
8×neg-mul-1 add-log-exp
5×pow1
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×cbrt-prod
2×sqrt-div diff-log distribute-lft-out-- difference-of-squares
1×associate--l- neg-sub0 rem-sqrt-square sub-neg sqrt-pow1 flip3-+ flip3-- pow1/2 pow1/3 neg-log flip-+ fma-udef hypot-def flip--
Calls
4 calls:
Slowest
17.0ms
(- (- b_2) (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0)))
6.0ms
(sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0))
1.0ms
(cbrt c)
0.0ms
(fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c))))))

series1.1s

Calls
4 calls:
Slowest
707.0ms
(cbrt c)
148.0ms
(sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0))
135.0ms
(- (- b_2) (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0)))
87.0ms
(fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c))))))

simplify38.1s

Calls
179 calls:
Slowest
482.0ms
(sqrt (+ (pow (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 3) (pow 0 3)))
405.0ms
(fma (- (sqrt b_2)) (sqrt b_2) (- (* (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0))) (* (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0))) (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0)))))))
400.0ms
(fma (* (cbrt b_2) (cbrt b_2)) (- (cbrt b_2)) (- (* (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0))) (* (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0))) (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0)))))))
399.0ms
(fma (sqrt (- b_2)) (sqrt (- b_2)) (- (* (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0))) (* (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0))) (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0)))))))
388.0ms
(fma (- (* (cbrt b_2) (cbrt b_2))) (cbrt b_2) (- (* (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0))) (* (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0))) (cbrt (sqrt (+ (fma b_2 b_2 (- (* (cbrt c) (* a (* (cbrt c) (cbrt c)))))) 0)))))))

prune2.2s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 5.5b

localize36.0ms

Local error

Found 4 expressions with local error:

25.7b
(sqrt (- (* b_2 b_2) (* a c)))
25.7b
(sqrt (- (* b_2 b_2) (* a c)))
25.7b
(sqrt (- (* b_2 b_2) (* a c)))
1.8b
(- (* b_2 b_2) (* a c))

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
276×add-sqr-sqrt
180×prod-diff
149×*-un-lft-identity
117×add-cube-cbrt
100×associate-*l*
84×associate-*r*
56×unswap-sqr
51×sqrt-prod
47×swap-sqr
40×difference-of-squares
36×*-commutative
16×distribute-lft-out--
15×fma-neg
7×pow1
6×sqrt-div add-log-exp
4×expm1-log1p-u flip3-- add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u flip--
3×rem-sqrt-square sqrt-pow1 pow1/2
1×sub-neg diff-log
Calls
4 calls:
Slowest
66.0ms
(sqrt (- (* b_2 b_2) (* a c)))
41.0ms
(sqrt (- (* b_2 b_2) (* a c)))
40.0ms
(sqrt (- (* b_2 b_2) (* a c)))
38.0ms
(- (* b_2 b_2) (* a c))

series368.0ms

Calls
4 calls:
Slowest
108.0ms
(sqrt (- (* b_2 b_2) (* a c)))
104.0ms
(sqrt (- (* b_2 b_2) (* a c)))
92.0ms
(sqrt (- (* b_2 b_2) (* a c)))
64.0ms
(- (* b_2 b_2) (* a c))

simplify36.9s

Calls
471 calls:
Slowest
472.0ms
(fma (- (sqrt c)) (* a (sqrt c)) (* (sqrt c) (* a (sqrt c))))
348.0ms
(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
341.0ms
(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
308.0ms
(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
297.0ms
(sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))

prune4.5s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 5.5b

regimes541.0ms

Accuracy

84.2% (4.5b remaining)

Error of 10.2b against oracle of 5.8b and baseline of 34.2b

bsearch432.0ms

end0.0ms

sample4.1s

Algorithm
intervals
Results
1.2s925×body1280valid
982.0ms1077×body2560valid
745.0ms5799×body80valid
421.0ms3024×body80nan
309.0ms471×body640valid
146.0ms99×body5120valid
82.0ms252×body320valid
23.0ms104×body160valid