Details

analyze746.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	87.4%	0.1%	6
20.3%	73.3%	6.4%	7
27.3%	66.3%	6.4%	8
38.2%	53%	8.7%	9
46%	40.6%	13.4%	10
49.9%	35.1%	15%	11
54.9%	26.9%	18.1%	12
57.4%	22%	20.6%	13
59.7%	18%	22.4%	14

Compiler

Compiled 39 to 27 computations (30.8% saved)

sample40.0ms (0%)

Algorithm

1×

intervals

Results

23.0ms	256×	body	128	valid
2.0ms	19×	body	128	nan
1.0ms	14×	body	128	invalid

Compiler

Compiled 77 to 56 computations (27.3% saved)

simplify453.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (354.0ms)

Iter	Nodes	Cost
0	2977	54
1	2977	54

prune7.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

16.7b

Counts

2 → 2

Compiler

Compiled 36 to 25 computations (30.6% saved)

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
1.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
1.7b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite32.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`add-log-exp_binary64`
10×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`
6×	`pow1_binary64` `cancel-sign-sub-inv_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`flip3--_binary64` `flip--_binary64`
2×	`pow1/2_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `neg-sub0_binary64` `sqrt-pow1_binary64` `distribute-rgt-neg-in_binary64` `rem-sqrt-square_binary64` `neg-log_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `sum-log_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `associate--l-_binary64` `associate-+l-_binary64` `+-commutative_binary64` `flip-+_binary64`

Counts

4 → 68

Calls

8 calls:

10.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
9.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

series532.0ms (0.2%)

Counts

4 → 58

Calls

4 calls:

143.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
141.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
134.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
113.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 3888 to 2882 computations (25.9% saved)

simplify81.0ms (0%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5613	2158

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))
0.1b	(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))))
0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a))
0.0b	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))
1.7b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) b)
1.7b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64`
8×	`add-log-exp_binary64`
7×	`add-cube-cbrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`flip3--_binary64` `cancel-sign-sub-inv_binary64` `flip--_binary64`
2×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `difference-of-squares_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `distribute-lft-out--_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 59

Calls

8 calls:

8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) b)
6.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
0.0ms	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))

series508.0ms (0.2%)

Counts

4 → 58

Calls

4 calls:

142.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) b)
128.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
127.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
110.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 3732 to 2774 computations (25.7% saved)

simplify85.0ms (0%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4927	1909
1	4927	1909

prune1.1s (0.4%)

Pruning

58 alts after pruning (58 fresh and 0 done)

	Pruned	Kept	Total
New	185	58	243
Fresh	0	0	0
Picked	0	0	0
Done	2	0	2
Total	187	58	245

Error

6.5b

Counts

245 → 58

Compiler

Compiled 8619 to 5250 computations (39.1% saved)

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
0.1b	(/.f64 (+.f64 (neg.f64 b) (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
1.7b	(+.f64 (neg.f64 b) (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
1.7b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`add-log-exp_binary64`
10×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`
6×	`pow1_binary64` `cancel-sign-sub-inv_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`flip3--_binary64` `flip--_binary64`
2×	`pow1/2_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `neg-sub0_binary64` `sqrt-pow1_binary64` `distribute-rgt-neg-in_binary64` `rem-sqrt-square_binary64` `neg-log_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `sum-log_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `associate--l-_binary64` `associate-+l-_binary64` `+-commutative_binary64` `flip-+_binary64`

Counts

4 → 68

Calls

8 calls:

9.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
5.0ms	(+.f64 (neg.f64 b) (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(/.f64 (+.f64 (neg.f64 b) (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))

series452.0ms (0.2%)

Counts

4 → 53

Calls

4 calls:

138.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
114.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
101.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
98.0ms	(+.f64 (neg.f64 b) (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))

Compiler

Compiled 3577 to 2673 computations (25.3% saved)

simplify98.0ms (0%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4880	2064
1	4880	2064

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

1.7b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
0.6b	(-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))
0.1b	(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))))
0.0b	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))
1.7b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
4.4b	(/.f64 (*.f64 c a) b)
5.0b	(/.f64 (.f64 2 (-.f64 (/.f64 (.f64 c a) b) b)) (*.f64 2 a))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`
6×	`add-log-exp_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
5×	`pow1_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`associate-/r*_binary64` `times-frac_binary64`
3×	`sqrt-prod_binary64`
2×	`associate-/l/_binary64` `flip3--_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `flip--_binary64` `sqrt-div_binary64`
1×	`flip3-+_binary64` `pow1/2_binary64` `distribute-lft-out_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 71

Calls

8 calls:

12.0ms	(/.f64 (.f64 2 (-.f64 (/.f64 (.f64 c a) b) b)) (*.f64 2 a))
6.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
4.0ms	(/.f64 (*.f64 c a) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
0.0ms	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))

series537.0ms (0.2%)

Counts

4 → 55

Calls

4 calls:

198.0ms	(/.f64 (.f64 2 (-.f64 (/.f64 (.f64 c a) b) b)) (*.f64 2 a))
125.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
109.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
105.0ms	(/.f64 (*.f64 c a) b)

Compiler

Compiled 2933 to 2162 computations (26.3% saved)

simplify76.0ms (0%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4937	1611
1	4937	1611

localize36.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (.f64 c a) (*.f64 c a))
0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a))
0.0b	(.f64 2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))))
0.0b	(.f64 -2 (/.f64 c (+.f64 b (-.f64 (.f64 2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) b))))
4.4b	(/.f64 (*.f64 c a) b)
9.3b	(+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))
13.5b	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite40.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`add-exp-log_binary64`
27×	`add-cbrt-cube_binary64`
25×	`prod-exp_binary64`
17×	`times-frac_binary64` `div-exp_binary64`
16×	`*-un-lft-identity_binary64`
15×	`associate-/r*_binary64`
14×	`add-sqr-sqrt_binary64`
13×	`add-cube-cbrt_binary64`
9×	`cbrt-unprod_binary64`
7×	`cbrt-undiv_binary64`
6×	`add-log-exp_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
5×	`pow-to-exp_binary64` `pow1_binary64` `pow-exp_binary64`
4×	`unpow3_binary64`
3×	`sqrt-prod_binary64`
2×	`sqr-pow_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64` `sqrt-div_binary64` `cube-mult_binary64`
1×	`flip3-+_binary64` `pow1/2_binary64` `flip3--_binary64` `distribute-lft-out_binary64` `frac-add_binary64` `distribute-rgt-out_binary64` `distribute-rgt1-in_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `+-commutative_binary64` `flip--_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 106

Calls

8 calls:

14.0ms	(+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))
11.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
4.0ms	(/.f64 (*.f64 c a) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
0.0ms	(.f64 -2 (/.f64 c (+.f64 b (-.f64 (.f64 2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) b))))

series822.0ms (0.3%)

Counts

4 → 52

Calls

4 calls:

361.0ms	(+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))
211.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
138.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
112.0ms	(/.f64 (*.f64 c a) b)

Compiler

Compiled 4177 to 2888 computations (30.9% saved)

simplify82.0ms (0%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5081	2589

localize36.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 c (.f64 (*.f64 c a) 16))
0.0b	(.f64 (.f64 c a) 16)
0.0b	(/.f64 (-.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 4) (.f64 a (.f64 c (.f64 (.f64 c a) 16))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (.f64 4 a))))) b) (.f64 2 a))
0.0b	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))
12.8b	(sqrt.f64 (-.f64 (pow.f64 b 4) (.f64 a (.f64 c (.f64 (.f64 c a) 16)))))
14.8b	(/.f64 (sqrt.f64 (-.f64 (pow.f64 b 4) (.f64 a (.f64 c (.f64 (.f64 c a) 16))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
15.3b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

51×	`sqrt-prod_binary64`
38×	`add-sqr-sqrt_binary64`
36×	`times-frac_binary64`
35×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`sqrt-div_binary64`
7×	`pow1_binary64`
6×	`associate-/r_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l_binary64`
4×	`add-log-exp_binary64`
3×	`pow1/2_binary64` `flip3--_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `flip--_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `flip-+_binary64`
1×	`cbrt-undiv_binary64` `sqrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 110

Calls

8 calls:

12.0ms	(/.f64 (sqrt.f64 (-.f64 (pow.f64 b 4) (.f64 a (.f64 c (.f64 (.f64 c a) 16))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
5.0ms	(sqrt.f64 (-.f64 (pow.f64 b 4) (.f64 a (.f64 c (.f64 (.f64 c a) 16)))))
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
0.0ms	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))

series575.0ms (0.2%)

Counts

4 → 56

Calls

4 calls:

182.0ms	(/.f64 (sqrt.f64 (-.f64 (pow.f64 b 4) (.f64 a (.f64 c (.f64 (.f64 c a) 16))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
143.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
126.0ms	(sqrt.f64 (-.f64 (pow.f64 b 4) (.f64 a (.f64 c (.f64 (.f64 c a) 16)))))
124.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 4651 to 3366 computations (27.6% saved)

simplify111.0ms (0%)

Algorithm

1×	egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5246	5473

localize37.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))) b))
0.1b	(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))))
0.1b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))) b)))) (.f64 2 a))
0.0b	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))
18.9b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))) b))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite59.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

200×	`add-sqr-sqrt_binary64`
99×	`times-frac_binary64`
96×	`difference-of-squares_binary64`
85×	`*-un-lft-identity_binary64`
72×	`unpow-prod-down_binary64` `cube-prod_binary64`
45×	`add-cube-cbrt_binary64`
41×	`sqrt-prod_binary64`
40×	`sqr-pow_binary64`
33×	`associate-/l*_binary64`
20×	`distribute-lft-out--_binary64`
7×	`pow1_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
4×	`difference-cubes_binary64` `add-log-exp_binary64` `flip3--_binary64` `flip--_binary64`
3×	`associate-/r*_binary64` `pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`flip3-+_binary64` `cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64`

Counts

4 → 197

Calls

8 calls:

31.0ms	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))) b))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
0.0ms	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))

series706.0ms (0.3%)

Counts

4 → 51

Calls

4 calls:

365.0ms	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))) b))))
129.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
113.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
100.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 5361 to 3793 computations (29.2% saved)

simplify156.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

248 → 248

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5644	16970

prune10.4s (4.4%)

Pruning

241 alts after pruning (238 fresh and 3 done)

	Pruned	Kept	Total
New	617	202	819
Fresh	17	36	53
Picked	0	0	0
Done	2	3	5
Total	636	241	877

Error

6.5b

Counts

877 → 241

Compiler

Compiled 41275 to 25032 computations (39.4% saved)

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
0.1b	(/.f64 (+.f64 (neg.f64 b) (fabs.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
1.7b	(+.f64 (neg.f64 b) (fabs.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
1.7b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`add-log-exp_binary64`
10×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`
6×	`pow1_binary64` `cancel-sign-sub-inv_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`flip3--_binary64` `flip--_binary64`
2×	`pow1/2_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `neg-sub0_binary64` `sqrt-pow1_binary64` `distribute-rgt-neg-in_binary64` `rem-sqrt-square_binary64` `neg-log_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `sum-log_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `associate--l-_binary64` `associate-+l-_binary64` `+-commutative_binary64` `flip-+_binary64`

Counts

4 → 68

Calls

8 calls:

9.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
5.0ms	(+.f64 (neg.f64 b) (fabs.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(/.f64 (+.f64 (neg.f64 b) (fabs.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))

series462.0ms (0.2%)

Counts

4 → 53

Calls

4 calls:

145.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
116.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
101.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
100.0ms	(+.f64 (neg.f64 b) (fabs.f64 (fabs.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))

Compiler

Compiled 3664 to 2760 computations (24.7% saved)

simplify96.0ms (0%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4863	2064
1	4863	2064

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

5.0b	(/.f64 (.f64 2 (-.f64 (/.f64 (.f64 c a) b) b)) (*.f64 2 a))
4.4b	(/.f64 (*.f64 c a) b)
4.4b	(/.f64 (*.f64 c a) b)
0.0b	(.f64 -2 (/.f64 c (.f64 2 (-.f64 b (/.f64 (*.f64 c a) b)))))
4.4b	(/.f64 (*.f64 c a) b)
4.4b	(/.f64 (*.f64 c a) b)
5.0b	(/.f64 (.f64 2 (-.f64 (/.f64 (.f64 c a) b) b)) (*.f64 2 a))
5.4b	(/.f64 c (.f64 2 (-.f64 b (/.f64 (.f64 c a) b))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`*-un-lft-identity_binary64` `cbrt-undiv_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `times-frac_binary64` `div-exp_binary64`
8×	`associate-/r*_binary64`
7×	`cbrt-unprod_binary64` `prod-exp_binary64`
6×	`associate-/l*_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `associate-*r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64`
2×	`associate-/l/_binary64` `flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`

Counts

4 → 88

Calls

8 calls:

12.0ms	(/.f64 (.f64 2 (-.f64 (/.f64 (.f64 c a) b) b)) (*.f64 2 a))
10.0ms	(/.f64 c (.f64 2 (-.f64 b (/.f64 (.f64 c a) b))))
5.0ms	(/.f64 (*.f64 c a) b)
5.0ms	(/.f64 (*.f64 c a) b)
0.0ms	(.f64 -2 (/.f64 c (.f64 2 (-.f64 b (/.f64 (*.f64 c a) b)))))

series542.0ms (0.2%)

Counts

4 → 49

Calls

4 calls:

203.0ms	(/.f64 (.f64 2 (-.f64 (/.f64 (.f64 c a) b) b)) (*.f64 2 a))
122.0ms	(/.f64 c (.f64 2 (-.f64 b (/.f64 (.f64 c a) b))))
112.0ms	(/.f64 (*.f64 c a) b)
105.0ms	(/.f64 (*.f64 c a) b)

Compiler

Compiled 2445 to 1825 computations (25.4% saved)

simplify49.0ms (0%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5135	1607

localize36.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))
0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a))
0.0b	(.f64 2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (/.f64 (.f64 c a) (.f64 b b)) (.f64 c a)) (pow.f64 (cbrt.f64 b) 3))))
0.0b	(.f64 -2 (/.f64 c (+.f64 b (-.f64 (.f64 2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (/.f64 (.f64 c a) (.f64 b b)) (*.f64 c a)) (pow.f64 (cbrt.f64 b) 3)))) b))))
4.4b	(/.f64 (*.f64 c a) b)
9.3b	(+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (/.f64 (.f64 c a) (.f64 b b)) (*.f64 c a)) (pow.f64 (cbrt.f64 b) 3)))
10.2b	(/.f64 (.f64 c a) (.f64 b b))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite39.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`
6×	`add-log-exp_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
5×	`pow1_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`associate-/r*_binary64` `times-frac_binary64`
3×	`sqrt-prod_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64` `sqrt-div_binary64`
1×	`flip3-+_binary64` `pow1/2_binary64` `flip3--_binary64` `distribute-lft-out_binary64` `frac-add_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `+-commutative_binary64` `flip--_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 70

Calls

8 calls:

19.0ms	(+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (/.f64 (.f64 c a) (.f64 b b)) (*.f64 c a)) (pow.f64 (cbrt.f64 b) 3)))
6.0ms	(/.f64 (.f64 c a) (.f64 b b))
5.0ms	(/.f64 (*.f64 c a) b)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
0.0ms	(.f64 -2 (/.f64 c (+.f64 b (-.f64 (.f64 2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (/.f64 (.f64 c a) (.f64 b b)) (*.f64 c a)) (pow.f64 (cbrt.f64 b) 3)))) b))))

series817.0ms (0.3%)

Counts

4 → 52

Calls

4 calls:

404.0ms	(+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (/.f64 (.f64 c a) (.f64 b b)) (*.f64 c a)) (pow.f64 (cbrt.f64 b) 3)))
158.0ms	(/.f64 (.f64 c a) (.f64 b b))
142.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
112.0ms	(/.f64 (*.f64 c a) b)

Compiler

Compiled 4492 to 3027 computations (32.6% saved)

simplify52.0ms (0%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5533	1811

localize38.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))) b))
0.1b	(/.f64 c (+.f64 b (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) 3))))
0.1b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))) b)))) (.f64 2 a))
0.0b	(.f64 -2 (/.f64 c (+.f64 b (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3)))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
33.4b	(cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) 3))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite22.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64`
15×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`sqrt-div_binary64`
7×	`pow1_binary64`
6×	`unpow-prod-down_binary64` `cube-prod_binary64`
4×	`add-log-exp_binary64` `flip3--_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip--_binary64`
3×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64`
2×	`cbrt-div_binary64` `cube-div_binary64`
1×	`rem-cbrt-cube_binary64` `pow1/3_binary64` `sqr-pow_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 74

Calls

8 calls:

6.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) 3))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
0.0ms	(.f64 -2 (/.f64 c (+.f64 b (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3)))))

series476.0ms (0.2%)

Counts

4 → 50

Calls

4 calls:

135.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))) 3))
123.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
118.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
101.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 5747 to 4030 computations (29.9% saved)

simplify79.0ms (0%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5100	1938

localize58.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (.f64 c a) 16)
0.0b	(.f64 16 (.f64 a a))
0.0b	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))
0.0b	(/.f64 (-.f64 (/.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 12) (pow.f64 (.f64 c (.f64 4 a)) 6))) (sqrt.f64 (+.f64 (pow.f64 b 8) (.f64 a (.f64 (.f64 c (.f64 (.f64 c a) 16)) (+.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (.f64 a a)))))))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (.f64 4 a))))) b) (*.f64 2 a))
14.8b	(/.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 12) (pow.f64 (.f64 c (.f64 4 a)) 6))) (sqrt.f64 (+.f64 (pow.f64 b 8) (.f64 a (.f64 (.f64 c (.f64 (.f64 c a) 16)) (+.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (.f64 a a)))))))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (.f64 4 a)))))
15.3b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
27.1b	(/.f64 (sqrt.f64 (-.f64 (pow.f64 b 12) (pow.f64 (.f64 c (.f64 4 a)) 6))) (sqrt.f64 (+.f64 (pow.f64 b 8) (.f64 a (.f64 (.f64 c (.f64 (.f64 c a) 16)) (+.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (*.f64 a a))))))))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite159.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

1128×	`times-frac_binary64`
1066×	`sqrt-prod_binary64`
836×	`add-sqr-sqrt_binary64`
589×	`*-un-lft-identity_binary64`
491×	`add-cube-cbrt_binary64`
294×	`difference-of-squares_binary64`
245×	`sqr-pow_binary64`
98×	`unpow-prod-down_binary64`
97×	`associate-/l*_binary64`
49×	`distribute-lft-out--_binary64`
24×	`sqrt-div_binary64`
18×	`associate-/r/_binary64`
12×	`associate-/r*_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`flip3-+_binary64` `flip-+_binary64`
9×	`div-inv_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
3×	`associate-/l/_binary64` `sqrt-undiv_binary64`
2×	`pow1/2_binary64` `flip3--_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip--_binary64`

Counts

4 → 756

Calls

8 calls:

39.0ms	(/.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 12) (pow.f64 (.f64 c (.f64 4 a)) 6))) (sqrt.f64 (+.f64 (pow.f64 b 8) (.f64 a (.f64 (.f64 c (.f64 (.f64 c a) 16)) (+.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (.f64 a a)))))))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (.f64 4 a)))))
18.0ms	(/.f64 (sqrt.f64 (-.f64 (pow.f64 b 12) (pow.f64 (.f64 c (.f64 4 a)) 6))) (sqrt.f64 (+.f64 (pow.f64 b 8) (.f64 a (.f64 (.f64 c (.f64 (.f64 c a) 16)) (+.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (*.f64 a a))))))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
0.0ms	(/.f64 (-.f64 (/.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 12) (pow.f64 (.f64 c (.f64 4 a)) 6))) (sqrt.f64 (+.f64 (pow.f64 b 8) (.f64 a (.f64 (.f64 c (.f64 (.f64 c a) 16)) (+.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (.f64 a a)))))))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (.f64 4 a))))) b) (*.f64 2 a))

series782.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

298.0ms	(/.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 12) (pow.f64 (.f64 c (.f64 4 a)) 6))) (sqrt.f64 (+.f64 (pow.f64 b 8) (.f64 a (.f64 (.f64 c (.f64 (.f64 c a) 16)) (+.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (.f64 a a)))))))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (.f64 4 a)))))
241.0ms	(/.f64 (sqrt.f64 (-.f64 (pow.f64 b 12) (pow.f64 (.f64 c (.f64 4 a)) 6))) (sqrt.f64 (+.f64 (pow.f64 b 8) (.f64 a (.f64 (.f64 c (.f64 (.f64 c a) 16)) (+.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (*.f64 a a))))))))))
146.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
97.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 5176 to 3718 computations (28.2% saved)

simplify812.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

804 → 804

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	4994	99380
1	4994	99380

prune43.4s (18.2%)

Pruning

433 alts after pruning (427 fresh and 6 done)

	Pruned	Kept	Total
New	1076	232	1308
Fresh	38	195	233
Picked	0	0	0
Done	2	6	8
Total	1116	433	1549

Error

6.5b

Counts

1549 → 433

Compiler

Compiled 87775 to 55438 computations (36.8% saved)

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
0.1b	(/.f64 (+.f64 (neg.f64 b) (fabs.f64 (fabs.f64 (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (*.f64 2 a))
1.7b	(+.f64 (neg.f64 b) (fabs.f64 (fabs.f64 (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))))
1.7b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`add-log-exp_binary64`
10×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`
6×	`pow1_binary64` `cancel-sign-sub-inv_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`flip3--_binary64` `flip--_binary64`
2×	`pow1/2_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `neg-sub0_binary64` `sqrt-pow1_binary64` `distribute-rgt-neg-in_binary64` `rem-sqrt-square_binary64` `neg-log_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `sum-log_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `associate--l-_binary64` `associate-+l-_binary64` `+-commutative_binary64` `flip-+_binary64`

Counts

4 → 68

Calls

8 calls:

9.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
5.0ms	(+.f64 (neg.f64 b) (fabs.f64 (fabs.f64 (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(/.f64 (+.f64 (neg.f64 b) (fabs.f64 (fabs.f64 (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (*.f64 2 a))

series464.0ms (0.2%)

Counts

4 → 53

Calls

4 calls:

143.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
113.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
105.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
102.0ms	(+.f64 (neg.f64 b) (fabs.f64 (fabs.f64 (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))))

Compiler

Compiled 3800 to 2896 computations (23.8% saved)

simplify87.0ms (0%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4930	2106
1	4930	2106

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

5.4b	(/.f64 c (.f64 2 (-.f64 b (/.f64 (.f64 c a) b))))
4.4b	(/.f64 (*.f64 c a) b)
0.0b	(.f64 -2 (/.f64 c (.f64 2 (-.f64 b (/.f64 (*.f64 c a) b)))))
0.0b	(-.f64 (/.f64 c b) (/.f64 b a))
0.0b	(-.f64 (/.f64 c b) (/.f64 b a))
0.0b	(.f64 -2 (/.f64 c (.f64 2 (-.f64 b (/.f64 (*.f64 c a) b)))))
4.4b	(/.f64 (*.f64 c a) b)
5.4b	(/.f64 c (.f64 2 (-.f64 b (/.f64 (.f64 c a) b))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite47.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64`
24×	`*-un-lft-identity_binary64` `times-frac_binary64`
23×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`add-cube-cbrt_binary64`
13×	`cancel-sign-sub-inv_binary64`
9×	`associate-r_binary64`
6×	`add-log-exp_binary64` `pow1_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `div-exp_binary64`
5×	`associate-*r/_binary64`
4×	`associate-/r_binary64` `associate-/r/_binary64` `difference-of-squares_binary64` `associate-/l_binary64` `div-inv_binary64`
3×	`flip3--_binary64` `associate-l_binary64` `flip--_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64` `distribute-lft-out--_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `diff-log_binary64` `unswap-sqr_binary64` `frac-sub_binary64` `*-commutative_binary64`

Counts

4 → 104

Calls

8 calls:

14.0ms	(-.f64 (/.f64 c b) (/.f64 b a))
12.0ms	(.f64 -2 (/.f64 c (.f64 2 (-.f64 b (/.f64 (*.f64 c a) b)))))
8.0ms	(/.f64 c (.f64 2 (-.f64 b (/.f64 (.f64 c a) b))))
4.0ms	(/.f64 (*.f64 c a) b)
0.0ms	(-.f64 (/.f64 c b) (/.f64 b a))

series490.0ms (0.2%)

Counts

4 → 53

Calls

4 calls:

165.0ms	(-.f64 (/.f64 c b) (/.f64 b a))
115.0ms	(/.f64 c (.f64 2 (-.f64 b (/.f64 (.f64 c a) b))))
109.0ms	(.f64 -2 (/.f64 c (.f64 2 (-.f64 b (/.f64 (*.f64 c a) b)))))
100.0ms	(/.f64 (*.f64 c a) b)

Compiler

Compiled 2167 to 1548 computations (28.6% saved)

simplify70.0ms (0%)

Algorithm

1×	egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5123	2038

localize38.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (.f64 a (+.f64 (/.f64 c b) (.f64 (/.f64 (*.f64 c a) (pow.f64 b 3)) c))) 3)
0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) b) (.f64 2 a))
0.0b	(.f64 2 (cbrt.f64 (pow.f64 (.f64 a (+.f64 (/.f64 c b) (.f64 (/.f64 (.f64 c a) (pow.f64 b 3)) c))) 3)))
0.0b	(.f64 -2 (/.f64 c (+.f64 b (-.f64 (.f64 2 (cbrt.f64 (pow.f64 (.f64 a (+.f64 (/.f64 c b) (.f64 (/.f64 (*.f64 c a) (pow.f64 b 3)) c))) 3))) b))))
5.7b	(+.f64 (/.f64 c b) (.f64 (/.f64 (.f64 c a) (pow.f64 b 3)) c))
11.6b	(/.f64 (*.f64 c a) (pow.f64 b 3))
18.2b	(cbrt.f64 (pow.f64 (.f64 a (+.f64 (/.f64 c b) (.f64 (/.f64 (*.f64 c a) (pow.f64 b 3)) c))) 3))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-exp-log_binary64`
13×	`add-sqr-sqrt_binary64`
12×	`-un-lft-identity_binary64` `associate-/r_binary64` `add-cube-cbrt_binary64` `times-frac_binary64`
9×	`add-cbrt-cube_binary64`
8×	`cbrt-prod_binary64`
7×	`unpow-prod-down_binary64` `cube-prod_binary64`
6×	`add-log-exp_binary64` `div-exp_binary64`
5×	`pow1_binary64`
3×	`cbrt-div_binary64` `associate-*r/_binary64` `sqr-pow_binary64` `cube-div_binary64` `prod-exp_binary64` `sqrt-prod_binary64` `unpow3_binary64` `cube-mult_binary64`
2×	`pow-to-exp_binary64` `flip3-+_binary64` `cbrt-undiv_binary64` `frac-add_binary64` `flip-+_binary64` `pow-exp_binary64` `sqrt-div_binary64` `associate-*l/_binary64`
1×	`pow1/2_binary64` `rem-cbrt-cube_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `pow1/3_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64`

Counts

4 → 90

Calls

8 calls:

8.0ms	(+.f64 (/.f64 c b) (.f64 (/.f64 (.f64 c a) (pow.f64 b 3)) c))
7.0ms	(/.f64 (*.f64 c a) (pow.f64 b 3))
7.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
3.0ms	(cbrt.f64 (pow.f64 (.f64 a (+.f64 (/.f64 c b) (.f64 (/.f64 (*.f64 c a) (pow.f64 b 3)) c))) 3))
0.0ms	(.f64 -2 (/.f64 c (+.f64 b (-.f64 (.f64 2 (cbrt.f64 (pow.f64 (.f64 a (+.f64 (/.f64 c b) (.f64 (/.f64 (*.f64 c a) (pow.f64 b 3)) c))) 3))) b))))

series1.1s (0.4%)

Counts

4 → 61

Calls

4 calls:

407.0ms	(cbrt.f64 (pow.f64 (.f64 a (+.f64 (/.f64 c b) (.f64 (/.f64 (*.f64 c a) (pow.f64 b 3)) c))) 3))
287.0ms	(+.f64 (/.f64 c b) (.f64 (/.f64 (.f64 c a) (pow.f64 b 3)) c))
227.0ms	(/.f64 (*.f64 c a) (pow.f64 b 3))
139.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 4648 to 3375 computations (27.4% saved)

simplify61.0ms (0%)

Algorithm

1×	egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5106	2733

localize43.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (cbrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))
0.0b	(.f64 16 (.f64 a a))
0.0b	(/.f64 (-.f64 (/.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (.f64 a a)))))) (fabs.f64 (cbrt.f64 (+.f64 (.f64 b b) (.f64 c (.f64 4 a)))))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 b b) (.f64 c (.f64 4 a)))))) b) (*.f64 2 a))
0.0b	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))
12.8b	(sqrt.f64 (-.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (.f64 a a))))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.9b	(cbrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.9b	(cbrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
6×	`pow1_binary64` `sqrt-prod_binary64` `cbrt-prod_binary64`
4×	`cbrt-div_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
2×	`flip3-+_binary64` `pow1/2_binary64` `flip3--_binary64` `pow1/3_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `flip--_binary64` `flip-+_binary64`

Counts

4 → 56

Calls

8 calls:

5.0ms	(sqrt.f64 (-.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (.f64 a a))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(cbrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(cbrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
0.0ms	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))

series726.0ms (0.3%)

Counts

4 → 51

Calls

4 calls:

230.0ms	(cbrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
229.0ms	(cbrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
134.0ms	(sqrt.f64 (-.f64 (pow.f64 b 4) (.f64 c (.f64 c (.f64 16 (.f64 a a))))))
133.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 6421 to 4638 computations (27.8% saved)

simplify68.0ms (0%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4939	2085
1	4939	2085

localize55.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))))
0.1b	(.f64 (/.f64 (+.f64 (sqrt.f64 (pow.f64 b 3)) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3/2)) (sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))))) (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3/2) (sqrt.f64 (pow.f64 b 3))) (sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a)))))))))))
0.1b	(/.f64 (.f64 (/.f64 (+.f64 (sqrt.f64 (pow.f64 b 3)) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3/2)) (sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))))) (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3/2) (sqrt.f64 (pow.f64 b 3))) (sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))))))) (.f64 2 a))
0.0b	(.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
21.2b	(sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))))
21.2b	(sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))))

Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite22.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
8×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `sqrt-div_binary64`
4×	`add-log-exp_binary64` `pow1/2_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64`
2×	`flip3-+_binary64` `flip3--_binary64` `flip--_binary64` `flip-+_binary64`

Counts

4 → 60

Calls

8 calls:

5.0ms	(sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))))
5.0ms	(sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
0.0ms	(/.f64 (.f64 (/.f64 (+.f64 (sqrt.f64 (pow.f64 b 3)) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3/2)) (sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))))) (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))) 3/2) (sqrt.f64 (pow.f64 b 3))) (sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a))))))))))) (.f64 2 a))

series902.0ms (0.4%)

Counts

4 → 44

Calls

4 calls:

458.0ms	(sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))))
216.0ms	(sqrt.f64 (+.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 4 a)))))))))
116.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))
112.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 4 a))))

Compiler

Compiled 8314 to 5634 computations (32.2% saved)

simplify85.0ms (0%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5174	2350

prune35.3s (14.8%)

Pruning

559 alts after pruning (549 fresh and 10 done)

	Pruned	Kept	Total
New	483	157	640
Fresh	30	392	422
Picked	0	0	0
Done	1	10	11
Total	514	559	1073

Error

6.5b

Counts

1073 → 559

Compiler

Compiled 22961 to 13205 computations (42.5% saved)

simplify2.5s (1.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	7092	159730

regimes43.9s (18.4%)

Compiler: Compiled 411899 to 277720 computations (32.6% saved)

bsearch180.0ms (0.1%)

Compiler: Compiled 38 to 26 computations (31.6% saved)

regimes1.5s (0.6%)

Compiler: Compiled 12033 to 8382 computations (30.3% saved)

bsearch80.0ms (0%)

Steps

Iters	Range		Point
7	1.5244814888914802e+126	4.0562425477571285e+127	8.621300584337685e+126
8	-1.8650405365895237e+108	-5.709453179579703e+103	-2.722545686769443e+105

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes1.3s (0.5%)

Compiler: Compiled 8652 to 6078 computations (29.8% saved)

bsearch120.0ms (0.1%)

Steps

Iters

Range

Point

1.5244814888914802e+126

4.0562425477571285e+127

2.971848196543166e+127

2.830213553275606e-305

2.132854954911885e-301

2.8876228352283496e-305

-1.8650405365895237e+108

-5.709453179579703e+103

-4.945406241679591e+107

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes981.0ms (0.4%)

Compiler: Compiled 7062 to 4905 computations (30.5% saved)

bsearch116.0ms (0%)

Steps

Iters

Range

Point

1.5244814888914802e+126

4.0562425477571285e+127

8.42048681559436e+126

-3.835563334946205e-285

-1.1280656186671964e-288

-5.71767290532408e-288

-1.8650405365895237e+108

-5.709453179579703e+103

-9.737737070630436e+105

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes988.0ms (0.4%)

Compiler: Compiled 6969 to 4836 computations (30.6% saved)

bsearch154.0ms (0.1%)

Steps

Iters	Range		Point
7	1.5244814888914802e+126	4.0562425477571285e+127	1.0227810734284296e+127
10	-3.9893188446609315e-122	-2.7782182287860826e-134	-1.0759145171596486e-123
9	-890.7520942590434	-0.007096600591868866	-205.80431908938797
6	-3.876650946824658e+32	-6.640277622684279e+31	-6.72133216817676e+31

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes743.0ms (0.3%)

Compiler: Compiled 6879 to 4767 computations (30.7% saved)

bsearch97.0ms (0%)

Steps

Iters	Range		Point
8	1.685965611991033e-97	1.5991879772741702e-94	5.7638403936058e-95
8	2.830213553275606e-305	2.132854954911885e-301	2.8876228352283496e-305

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes670.0ms (0.3%)

Compiler: Compiled 6099 to 4215 computations (30.9% saved)

bsearch86.0ms (0%)

Steps

Iters	Range		Point
6	1.3251678444172752e-104	1.204420597573611e-103	3.670653900529757e-104
8	2.830213553275606e-305	2.132854954911885e-301	2.8876228352283496e-305

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes424.0ms (0.2%)

Compiler: Compiled 5949 to 4104 computations (31% saved)

bsearch0.0ms (0%)

regimes188.0ms (0.1%)

Compiler: Compiled 2355 to 1689 computations (28.3% saved)

bsearch0.0ms (0%)

regimes38.0ms (0%)

Compiler: Compiled 165 to 159 computations (3.6% saved)

bsearch0.0ms (0%)

regimes61.0ms (0%)

Compiler: Compiled 69 to 93 computations (-34.8% saved)

bsearch32.0ms (0%)

Steps

Iters	Range		Point
7	1.1378075031775414e-26	2.698492673276887e-25	1.6674147068593327e-25

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes26.0ms (0%)

Accuracy

Total 1.5b remaining (21.7%)

Threshold costs 0b (0%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch33.0ms (0%)

Compiler: Compiled 1055 to 667 computations (36.8% saved)

simplify16.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	255	1559
1	255	1559

end0.0ms (0%)

sample1.3min (32.9%)

Algorithm

1×

intervals

Results

714.0ms	8000×	body	128	valid
55.0ms	658×	body	128	nan
33.0ms	382×	body	128	invalid

Compiler

Compiled 106111 to 71421 computations (32.7% saved)

Pareto

0.8131308232843638