Details

Time bar (total: 5.2m)

sample96.0ms

Algorithm
intervals
Results
22.0ms35×body2560valid
20.0ms182×body80valid
15.0ms28×body1280valid
10.0ms106×body80nan
7.0ms16×body640valid
6.0ms3×body5120valid
2.0ms8×body320valid
1.0ms3×body160valid

simplify72.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.5b

localize34.0ms

Local error

Found 4 expressions with local error:

23.7b
(sqrt (- (* b_2 b_2) (* a c)))
0.5b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.4b
(- (* b_2 b_2) (* a c))
0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)

rewrite475.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
249.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
81.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
74.0ms
(sqrt (- (* b_2 b_2) (* a c)))
54.0ms
(- (* b_2 b_2) (* a c))

series428.0ms

Calls
4 calls:
Slowest
138.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
118.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
109.0ms
(sqrt (- (* b_2 b_2) (* a c)))
62.0ms
(- (* b_2 b_2) (* a c))

simplify1.2m

Calls
898 calls:
Slowest
478.0ms
(fma (* (sqrt b_2) (sqrt b_2)) (* (sqrt b_2) (sqrt b_2)) (- (* (* (sqrt a) c) (sqrt a))))
448.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))
368.0ms
(- (* (- b_2) (- b_2)) (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))))
303.0ms
(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
297.0ms
(fma (- (* (cbrt b_2) (cbrt b_2))) (cbrt 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.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 5.3b

localize1.0ms

Local error

Found 4 expressions with local error:

23.7b
(sqrt (- (* b_2 b_2) (* a c)))
0.5b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.4b
(- (* b_2 b_2) (* a c))
0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)

rewrite427.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
220.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
79.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
63.0ms
(sqrt (- (* b_2 b_2) (* a c)))
39.0ms
(- (* b_2 b_2) (* a c))

series392.0ms

Calls
4 calls:
Slowest
139.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
115.0ms
(sqrt (- (* b_2 b_2) (* a c)))
92.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
47.0ms
(- (* b_2 b_2) (* a c))

simplify1.2m

Calls
898 calls:
Slowest
795.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))
570.0ms
(fma (- (* (cbrt b_2) (cbrt b_2))) (cbrt b_2) (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt 1))))
372.0ms
(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
367.0ms
(- (* (- b_2) (- b_2)) (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))))
269.0ms
(fma (* (sqrt b_2) (sqrt b_2)) (* (sqrt b_2) (sqrt b_2)) (- (* (cbrt (* a c)) (* (cbrt (* a c)) (cbrt (* a c))))))

prune5.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 5.3b

localize12.0ms

Local error

Found 4 expressions with local error:

23.7b
(sqrt (- (* b_2 b_2) (* a c)))
0.5b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.4b
(- (* b_2 b_2) (* a c))
0.2b
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))

rewrite422.0ms

Algorithm
rewrite-expression-head
Rules
685×add-sqr-sqrt
425×*-un-lft-identity
380×prod-diff
272×add-cube-cbrt
201×sqrt-prod
165×times-frac
148×difference-of-squares
132×associate-*l*
112×unswap-sqr
84×associate-*r*
77×distribute-rgt-neg-in
76×distribute-lft-out--
63×distribute-lft-neg-in swap-sqr
52×*-commutative
34×associate-/r*
25×fma-neg
21×neg-mul-1 associate-/r/
15×add-exp-log
10×add-log-exp
9×add-cbrt-cube
7×flip3-- div-exp flip-- associate-/l*
6×pow1
5×div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv clear-num diff-log
2×rec-exp sub-neg frac-2neg sqrt-div 1-exp remove-double-div
1×associate--l- neg-sub0 rem-sqrt-square sqrt-pow1 pow1/2 neg-log pow-flip inv-pow
Calls
4 calls:
Slowest
236.0ms
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
78.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
63.0ms
(sqrt (- (* b_2 b_2) (* a c)))
27.0ms
(- (* b_2 b_2) (* a c))

series353.0ms

Calls
4 calls:
Slowest
122.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
116.0ms
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
79.0ms
(sqrt (- (* b_2 b_2) (* a c)))
36.0ms
(- (* b_2 b_2) (* a c))

simplify1.6m

Calls
1055 calls:
Slowest
551.0ms
(/ (sqrt 1) (+ (* (- b_2) (- b_2)) (+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* (- b_2) (sqrt (- (* b_2 b_2) (* a c)))))))
506.0ms
(/ 1 (/ (sqrt a) (- (sqrt (- b_2)) (sqrt (sqrt (- (* b_2 b_2) (* a c)))))))
472.0ms
(/ (cbrt 1) (+ (* (- b_2) (- b_2)) (+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* (- b_2) (sqrt (- (* b_2 b_2) (* a c)))))))
467.0ms
(/ 1 (+ (* (- b_2) (- b_2)) (+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* (- b_2) (sqrt (- (* b_2 b_2) (* a c)))))))
426.0ms
(/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt a) (cbrt a)) (+ (sqrt (- b_2)) (sqrt (sqrt (- (* b_2 b_2) (* a c)))))))

prune7.1s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 5.3b

localize21.0ms

Local error

Found 4 expressions with local error:

23.7b
(sqrt (- (* b_2 b_2) (* a c)))
12.4b
(/ (* c a) a)
0.8b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
0.4b
(- (* b_2 b_2) (* a c))

rewrite323.0ms

Algorithm
rewrite-expression-head
Rules
387×add-sqr-sqrt
240×prod-diff
218×*-un-lft-identity
168×add-cube-cbrt
120×associate-*l*
96×associate-*r*
86×sqrt-prod
74×unswap-sqr
62×difference-of-squares
51×swap-sqr
44×*-commutative
36×times-frac
35×fma-neg
25×distribute-lft-out--
12×associate-/l*
9×add-cbrt-cube add-exp-log
8×add-log-exp
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-/r* flip3-- flip--
2×cbrt-undiv sub-neg sqrt-div diff-log div-exp
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
216.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
40.0ms
(- (* b_2 b_2) (* a c))
37.0ms
(sqrt (- (* b_2 b_2) (* a c)))
12.0ms
(/ (* c a) a)

series282.0ms

Calls
4 calls:
Slowest
103.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
100.0ms
(sqrt (- (* b_2 b_2) (* a c)))
67.0ms
(- (* b_2 b_2) (* a c))
11.0ms
(/ (* c a) a)

simplify42.2s

Calls
660 calls:
Slowest
1.5s
(/ (* (* (* c c) c) (* (* a a) a)) (* (* a a) a))
594.0ms
(fma (- (cbrt (* a c))) (* (cbrt (* a c)) (cbrt (* a c))) (* (cbrt (* a c)) (* (cbrt (* a c)) (cbrt (* a c)))))
336.0ms
(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
276.0ms
(sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
253.0ms
(fma (* (* (cbrt b_2) (cbrt b_2)) (* (cbrt b_2) (cbrt b_2))) (* (cbrt b_2) (cbrt b_2)) (- (* (cbrt (* a c)) (* (cbrt (* a c)) (cbrt (* a c))))))

prune4.2s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 5.3b

regimes519.0ms

Accuracy

85.7% (3.8b remaining)

Error of 9.3b against oracle of 5.5b and baseline of 32.0b

bsearch342.0ms

end0.0ms

sample3.8s

Algorithm
intervals
Results
915.0ms1045×body2560valid
769.0ms5845×body80valid
580.0ms947×body1280valid
457.0ms105×body160valid
323.0ms2830×body80nan
288.0ms440×body640valid
138.0ms120×body5120valid
67.0ms216×body320valid