Details

analyze431.0ms (8.1%)

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)

sample50.0ms (0.9%)

Algorithm

1×

intervals

Results

14.0ms	109×	body	256	valid
9.0ms	50×	body	512	valid
8.0ms	277×	pre	128	true
6.0ms	97×	body	128	valid
1.0ms	21×	body	128	nan

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify311.0ms (5.8%)

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

prune3.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

51.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	51.8b	(/.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)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.1b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
26.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

rewrite102.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

48.6b

Rules

21×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
8×	`add-cube-cbrt_binary64`

Counts

4 → 74

Calls

4 calls:

10.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series152.0ms (2.8%)

Error

0.4b

Counts

4 → 72

Calls

4 calls:

43.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
36.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
29.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
26.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 2658 to 1932 computations (27.3% saved)

simplify144.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

779×	`times-frac_binary64`
237×	`distribute-rgt-in_binary64`
209×	`distribute-lft-in_binary64`
182×	`cancel-sign-sub-inv_binary64`
171×	`distribute-rgt-neg-in_binary64`

Counts

146 → 124

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	207	3576
1	559	3305
2	1910	3272
3	4799	3272
4	4985	3272
5	4949	3272

prune49.0ms (0.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	118	6	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	119	6	125

Error

0.3b

Counts

125 → 6

Alt Table

Status	Error	Program
	52.2b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 b))) (.f64 a 2))
	51.5b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	51.8b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) b)) (.f64 c (.f64 a -4)))) (.f64 a 2))
▶	1.4b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))
	1.6b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (+.f64 (.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 a 2))
	51.9b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))

Compiler

Compiled 2102 to 1175 computations (44.1% saved)

localize26.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite242.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

144×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
51×	`div-exp_binary64`
49×	`pow-exp_binary64`
49×	`pow-to-exp_binary64`

Counts

4 → 188

Calls

4 calls:

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

Compiler

Compiled 6720 to 4060 computations (39.6% saved)

series145.0ms (2.7%)

Error

0.3b

Counts

4 → 30

Calls

4 calls:

51.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
45.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
23.0ms	(.f64 (.f64 a a) (pow.f64 c 3))
22.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Compiler

Compiled 2725 to 1947 computations (28.6% saved)

simplify155.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

418×	`log-prod_binary64`
316×	`associate-l_binary64`
307×	`exp-prod_binary64`
296×	`associate-/l*_binary64`
271×	`log-div_binary64`

Counts

218 → 180

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	249	3834
1	524	3467
2	2873	3428
3	4145	3348
4	4942	3348
5	4910	3348

prune96.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	180	0	180
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	180	6	186

Error

0.3b

Counts

186 → 6

Alt Table

Status	Error	Program
	52.2b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 b))) (.f64 a 2))
	51.5b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	51.8b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) b)) (.f64 c (.f64 a -4)))) (.f64 a 2))
✓	1.4b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))
▶	1.6b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (+.f64 (.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 a 2))
	51.9b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))

Compiler

Compiled 3323 to 2014 computations (39.4% saved)

localize27.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite198.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

90×	`add-exp-log_binary64`
46×	`pow1_binary64`
45×	`prod-exp_binary64`
36×	`pow-exp_binary64`
35×	`pow-to-exp_binary64`

Counts

4 → 155

Calls

4 calls:

6.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
6.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
5.0ms	(.f64 (.f64 c a) (*.f64 c a))
3.0ms	(pow.f64 (*.f64 c a) 3)

Compiler

Compiled 6321 to 3698 computations (41.5% saved)

series120.0ms (2.2%)

Error

0.3b

Counts

4 → 27

Calls

4 calls:

52.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
22.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
21.0ms	(pow.f64 (*.f64 c a) 3)
20.0ms	(.f64 (.f64 c a) (*.f64 c a))

Compiler

Compiled 2984 to 2018 computations (32.4% saved)

simplify95.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

590×	`associate-/r*_binary64`
444×	`unswap-sqr_binary64`
382×	`log-prod_binary64`
379×	`associate-/l/_binary64`
249×	`associate-/r/_binary64`

Counts

182 → 155

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	186	2373
1	363	1954
2	1601	1922
3	4401	1922
4	4967	1922

prune68.0ms (1.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	155	0	155
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	155	6	161

Error

0.3b

Counts

161 → 6

Alt Table

Status	Error	Program
	52.2b	(/.f64 (.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 b))) (.f64 a 2))
▶	51.5b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
	51.8b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) b)) (.f64 c (.f64 a -4)))) (.f64 a 2))
✓	1.4b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))
✓	1.6b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (+.f64 (.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 a 2))
	51.9b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) (.f64 a 2)) (/.f64 b (*.f64 a 2)))

Compiler

Compiled 2748 to 1602 computations (41.7% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
0.1b	(/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
0.2b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
26.3b	(-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b))

rewrite135.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

70×	`times-frac_binary64`
60×	`*-un-lft-identity_binary64`
46×	`add-sqr-sqrt_binary64`
32×	`add-cube-cbrt_binary64`
26×	`associate-/l*_binary64`

Counts

4 → 135

Calls

4 calls:

13.0ms	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
11.0ms	(/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
7.0ms	(-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b))
6.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))

Compiler

Compiled 6256 to 2868 computations (54.2% saved)

series166.0ms (3.1%)

Error

0.0b

Counts

4 → 63

Calls

4 calls:

56.0ms	(/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
49.0ms	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 a 2))
33.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
17.0ms	(-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))) (.f64 b b))

Compiler

Compiled 3241 to 2156 computations (33.5% saved)

simplify203.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1135×	`div-sub_binary64`
398×	`distribute-rgt-in_binary64`
181×	`associate-/l*_binary64`
168×	`sub-neg_binary64`
150×	`cancel-sign-sub-inv_binary64`

Counts

198 → 178

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	279	8948
1	757	8192
2	2636	6703
3	4496	6703
4	6135	6703

prune95.0ms (1.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	171	7	178
Fresh	3	0	3
Picked	1	0	1
Done	1	1	2
Total	176	8	184

Error

0.0b

Counts

184 → 8

Alt Table

Status	Error	Program
	0.4b	(/.f64 (/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 c a)) (.f64 b b)))) (.f64 -4 (.f64 c a)))) (.f64 a 2))
	1.4b	(.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 (.f64 -4 (.f64 c a)) (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 c a)) (.f64 b b))))) (.f64 a 2))) (cbrt.f64 (/.f64 (/.f64 (.f64 -4 (.f64 c a)) (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 c a)) (.f64 b b))))) (.f64 a 2)))) (cbrt.f64 (/.f64 (/.f64 (.f64 -4 (.f64 c a)) (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 c a)) (.f64 b b))))) (.f64 a 2))))
	1.4b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (+.f64 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))) (.f64 5 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))
	0.7b	(/.f64 (/.f64 1 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) (/.f64 a (/.f64 (/.f64 (.f64 -4 (.f64 c a)) (sqrt.f64 (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 c a)) (.f64 b b)))))) 2)))
	0.4b	(.f64 (/.f64 (.f64 -4 (.f64 c a)) a) (/.f64 1/2 (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 c a)) (.f64 b b))))))
	0.4b	(.f64 (/.f64 1 a) (/.f64 (/.f64 (.f64 -4 (.f64 c a)) (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 c a)) (.f64 b b))))) 2))
	0.7b	(.f64 (/.f64 (/.f64 1 (sqrt.f64 (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 c a)) (.f64 b b)))))) a) (/.f64 (/.f64 (.f64 -4 (.f64 c a)) (sqrt.f64 (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 c a)) (*.f64 b b)))))) 2))
	1.2b	(/.f64 (/.f64 (/.f64 (.f64 -4 (.f64 c a)) (.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 c a)) (.f64 b b))))) (cbrt.f64 (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 c a)) (.f64 b b))))))) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) (*.f64 a 2))

Compiler

Compiled 4844 to 2461 computations (49.2% saved)

regimes578.0ms (10.8%)

Accuracy

Total 0.4b remaining (97.1%)

Threshold costs 0.4b (97.1%)

Compiler

Compiled 17692 to 10822 computations (38.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	33
1	20	33
2	20	33

end1.0ms (0%)

Compiler: Compiled 25 to 16 computations (36% saved)

sample1.7s (32.4%)

Algorithm

1×

intervals

Results

455.0ms	3808×	body	256	valid
267.0ms	1454×	body	512	valid
263.0ms	8821×	pre	128	true
173.0ms	2738×	body	128	valid
47.0ms	821×	body	128	nan

Compiler

Compiled 396 to 252 computations (36.4% saved)

Details

analyze431.0ms (8.1%)

sample50.0ms (0.9%)

simplify311.0ms (5.8%)

prune3.0ms (0.1%)

localize10.0ms (0.2%)

rewrite102.0ms (1.9%)

series152.0ms (2.8%)

simplify144.0ms (2.7%)

prune49.0ms (0.9%)

localize26.0ms (0.5%)

rewrite242.0ms (4.5%)

series145.0ms (2.7%)

simplify155.0ms (2.9%)

prune96.0ms (1.8%)

localize27.0ms (0.5%)

rewrite198.0ms (3.7%)

series120.0ms (2.2%)

simplify95.0ms (1.8%)

prune68.0ms (1.3%)

localize13.0ms (0.2%)

rewrite135.0ms (2.5%)

series166.0ms (3.1%)

simplify203.0ms (3.8%)

prune95.0ms (1.8%)

regimes578.0ms (10.8%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample1.7s (32.4%)

Profiling