Details

analyze432.0ms (6.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 33 to 24 computations (27.3% saved)

sample37.0ms (0.6%)

Algorithm

1×

intervals

Results

12.0ms	251×	body	128	valid
8.0ms	288×	pre	128	true
1.0ms	32×	body	128	nan
0.0ms	5×	body	256	valid

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify345.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1261×	`associate-/l*_binary64`
1150×	`div-sub_binary64`
772×	`distribute-rgt-in_binary64`
702×	`distribute-lft-in_binary64`
619×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	32	24
2	65	24
3	128	24
4	178	24
5	287	24
6	460	24
7	754	24
8	1120	24
9	1142	24
10	1799	24
11	2162	24
12	1953	24
13	2041	24
14	2105	24
15	2131	24
16	2843	24
17	2603	24
18	2841	24
19	2951	24
20	3071	24
21	3113	24
22	3183	24
23	3171	24
24	3171	24
25	2191	24
26	2141	24
27	2105	24
28	2107	24
29	2107	24
30	2107	24
31	2107	24
32	1834	24

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

29.6b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	29.6b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.3b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
29.5b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

rewrite116.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

27.3b

Rules

21×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
6×	`difference-of-squares_binary64` `sqrt-prod_binary64` `times-frac_binary64` `associate-/l*_binary64`

Counts

4 → 74

Calls

4 calls:

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

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series215.0ms (3.3%)

Error

1.0b

Counts

4 → 72

Calls

4 calls:

61.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
50.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
43.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
38.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 2658 to 1932 computations (27.3% saved)

simplify129.0ms (2%)

Algorithm

1×	egg-herbie

Rules

794×	`times-frac_binary64`
230×	`distribute-rgt-in_binary64`
199×	`distribute-lft-in_binary64`
182×	`cancel-sign-sub-inv_binary64`
181×	`div-sub_binary64`

Counts

146 → 122

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	206	3603
1	550	3323
2	1858	3272
3	4753	3272
4	5209	3272

prune85.0ms (1.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	111	11	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	11	123

Error

0.7b

Counts

123 → 11

Alt Table

Status	Error	Program
	30.7b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b))) (.f64 a 2))
	28.5b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	31.7b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
	29.8b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) b)) (.f64 a (.f64 c -4)))) (.f64 a 2))
	30.0b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	29.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
▶	5.3b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	5.5b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	29.9b	(/.f64 (-.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) 3))) b) (.f64 a 2))
	11.4b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))
	29.7b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))

Compiler

Compiled 2408 to 1365 computations (43.3% saved)

localize31.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
0.3b	(.f64 (.f64 a a) (pow.f64 c 3))
0.3b	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
0.3b	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))

rewrite343.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

112×	`add-exp-log_binary64`
54×	`prod-exp_binary64`
42×	`add-sqr-sqrt_binary64`
39×	`pow-to-exp_binary64` `div-exp_binary64` `pow-exp_binary64`
29×	`unpow-prod-down_binary64`

Counts

4 → 186

Calls

4 calls:

9.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
9.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
9.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
8.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 6688 to 4032 computations (39.7% saved)

series200.0ms (3.1%)

Error

0.7b

Counts

4 → 30

Calls

4 calls:

75.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
56.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
33.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
30.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 2766 to 1974 computations (28.6% saved)

simplify149.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

610×	`log-prod_binary64`
399×	`associate-l_binary64`
323×	`associate-r_binary64`
302×	`times-frac_binary64`
301×	`associate-/l*_binary64`

Counts

216 → 156

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	261	3547
1	558	3204
2	3245	3125
3	4515	3125
4	5302	3125

prune109.0ms (1.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	156	11	167

Error

0.7b

Counts

167 → 11

Alt Table

Status	Error	Program
	30.7b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b))) (.f64 a 2))
	28.5b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	31.7b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
	29.8b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) b)) (.f64 a (.f64 c -4)))) (.f64 a 2))
	30.0b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	29.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
✓	5.3b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
▶	5.5b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	29.9b	(/.f64 (-.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) 3))) b) (.f64 a 2))
	11.4b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))
	29.7b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))

Compiler

Compiled 2917 to 1737 computations (40.5% saved)

localize31.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
0.4b	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
0.4b	(.f64 (.f64 a c) (*.f64 a c))
0.7b	(pow.f64 (*.f64 a c) 3)

rewrite386.0ms (5.9%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

98×	`add-exp-log_binary64`
63×	`times-frac_binary64`
46×	`pow1_binary64`
42×	`unpow-prod-down_binary64` `div-exp_binary64`
40×	`pow-exp_binary64`

Counts

4 → 207

Calls

4 calls:

9.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
7.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
7.0ms	(.f64 (.f64 a c) (*.f64 a c))
4.0ms	(pow.f64 (*.f64 a c) 3)

Compiler

Compiled 9006 to 5208 computations (42.2% saved)

series218.0ms (3.3%)

Error

0.7b

Counts

4 → 30

Calls

4 calls:

77.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
74.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
31.0ms	(pow.f64 (*.f64 a c) 3)
30.0ms	(.f64 (.f64 a c) (*.f64 a c))

Compiler

Compiled 3332 to 2276 computations (31.7% saved)

simplify163.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

440×	`unswap-sqr_binary64`
397×	`log-prod_binary64`
349×	`associate-/l*_binary64`
261×	`times-frac_binary64`
204×	`log-div_binary64`

Counts

237 → 191

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	4040
1	480	3621
2	2595	3473
3	4374	3473
4	4930	3473

prune126.0ms (1.9%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	191	11	202

Error

0.7b

Counts

202 → 11

Alt Table

Status	Error	Program
	30.7b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b))) (.f64 a 2))
	28.5b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	31.7b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
	29.8b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) b)) (.f64 a (.f64 c -4)))) (.f64 a 2))
	30.0b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	29.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
✓	5.3b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
✓	5.5b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	29.9b	(/.f64 (-.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) 3))) b) (.f64 a 2))
▶	11.4b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))
	29.7b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))

Compiler

Compiled 3738 to 2193 computations (41.3% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.2b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))
0.2b	(.f64 a (.f64 c c))
0.3b	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))

rewrite147.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

32×	`add-exp-log_binary64`
24×	`times-frac_binary64`
18×	`*-un-lft-identity_binary64`
17×	`add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
16×	`cancel-sign-sub-inv_binary64`

Counts

3 → 99

Calls

3 calls:

31.0ms	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))
9.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
6.0ms	(.f64 a (.f64 c c))

Compiler

Compiled 1804 to 689 computations (61.8% saved)

series134.0ms (2.1%)

Error

0.7b

Counts

3 → 33

Calls

3 calls:

68.0ms	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))
46.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
17.0ms	(.f64 a (.f64 c c))

Compiler

Compiled 965 to 685 computations (29% saved)

simplify107.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

304×	`log-prod_binary64`
282×	`distribute-rgt-neg-in_binary64`
250×	`distribute-lft-neg-in_binary64`
227×	`distribute-neg-frac_binary64`
208×	`cancel-sign-sub-inv_binary64`

Counts

132 → 108

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	2147
1	407	2040
2	1928	1978
3	4403	1978
4	4945	1978

prune58.0ms (0.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	105	3	108
Fresh	0	8	8
Picked	1	0	1
Done	0	2	2
Total	106	13	119

Error

0.7b

Counts

119 → 13

Alt Table

Status	Error	Program
	30.7b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b))) (.f64 a 2))
	28.5b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	31.7b	(/.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
	29.8b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) b)) (.f64 a (.f64 c -4)))) (.f64 a 2))
	11.4b	(.f64 (/.f64 c b) (-.f64 -1 (/.f64 (.f64 a c) (*.f64 b b))))
	30.0b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))
	29.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
	11.6b	(/.f64 (.f64 c (-.f64 (neg.f64 (pow.f64 b 3)) (.f64 b (*.f64 a c)))) (pow.f64 b 4))
	5.3b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	5.5b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	29.9b	(/.f64 (-.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) 3))) b) (.f64 a 2))
	29.7b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))
	11.4b	(/.f64 (.f64 (pow.f64 (/.f64 c b) 3) (-.f64 -1 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 6)))) (+.f64 (/.f64 a (/.f64 (pow.f64 b 6) (.f64 (pow.f64 c 4) a))) (.f64 (/.f64 c b) (-.f64 (/.f64 c b) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))))))

Compiler

Compiled 1128 to 537 computations (52.4% saved)

regimes1.3s (20.4%)

Accuracy

Total 4.5b remaining (86.4%)

Threshold costs 0b (0%)

Compiler

Compiled 17128 to 11058 computations (35.4% saved)

bsearch52.0ms (0.8%)

Steps

Iters	Range		Point
5	0.007665247554289376	0.0158080004364839	0.015588398575903462

Compiler

Compiled 4 to 3 computations (25% saved)

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

31×	`*-commutative_binary64`
29×	`+-commutative_binary64`
25×	`sub-neg_binary64`
23×	`neg-mul-1_binary64` `neg-sub0_binary64`
15×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	114
1	74	112
2	104	112
3	139	112
4	179	112
5	208	112
6	231	112
7	243	112
8	249	112
9	251	112
10	248	112

end2.0ms (0%)

Compiler: Compiled 78 to 51 computations (34.6% saved)

sample1.6s (23.7%)

Algorithm

1×

intervals

Results

414.0ms	7709×	body	128	valid
266.0ms	8795×	pre	128	true
41.0ms	795×	body	128	nan
29.0ms	291×	body	256	valid

Compiler

Compiled 569 to 367 computations (35.5% saved)

Iter	Nodes	Cost
0	44	114
1	74	112
2	104	112
3	139	112
4	179	112
5	208	112
6	231	112
7	243	112
8	249	112
9	251	112
10	248	112

Iter	Nodes	Cost
0	44	114
1	74	112
2	104	112
3	139	112
4	179	112
5	208	112
6	231	112
7	243	112
8	249	112
9	251	112
10	248	112

Details

analyze432.0ms (6.6%)

sample37.0ms (0.6%)

simplify345.0ms (5.3%)

prune7.0ms (0.1%)

localize12.0ms (0.2%)

rewrite116.0ms (1.8%)

series215.0ms (3.3%)

simplify129.0ms (2%)

prune85.0ms (1.3%)

localize31.0ms (0.5%)

rewrite343.0ms (5.2%)

series200.0ms (3.1%)

simplify149.0ms (2.3%)

prune109.0ms (1.7%)

localize31.0ms (0.5%)

rewrite386.0ms (5.9%)

series218.0ms (3.3%)

simplify163.0ms (2.5%)

prune126.0ms (1.9%)

localize10.0ms (0.2%)

rewrite147.0ms (2.3%)

series134.0ms (2.1%)

simplify107.0ms (1.6%)

prune58.0ms (0.9%)

regimes1.3s (20.4%)

bsearch52.0ms (0.8%)

simplify14.0ms (0.2%)

end2.0ms (0%)

sample1.6s (23.7%)

Profiling

Iter	Nodes	Cost
0	44	114
1	74	112
2	104	112
3	139	112
4	179	112
5	208	112
6	231	112
7	243	112
8	249	112
9	251	112
10	248	112