Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	0%	50%	2

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample1.8s (21.3%)

Results

901.0ms	2337×	body	1024	valid
493.0ms	4378×	body	128	valid
285.0ms	1016×	body	512	valid
95.0ms	525×	body	256	valid

Compiler

Compiled 38 to 32 computations (15.8% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

39×	`fma-def_binary64`
32×	`fma-neg_binary64`
14×	`cancel-sign-sub-inv_binary64`
12×	`sub-neg_binary64`
10×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	14	17
2	20	17
3	28	17
4	36	17
5	54	17
6	79	17
7	96	17
8	113	17
9	123	17
10	127	17
11	129	17
12	115	17

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

21.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	21.2b	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))

Compiler

Compiled 47 to 38 computations (19.1% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (sqrt.f64 (+.f64 x 1)))
✓	0.2b	(/.f64 1 (sqrt.f64 x))
✓	3.0b	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))

series35.0ms (0.4%)

Counts

3 → 4

Calls

3 calls:

13.0ms	(/.f64 1 (sqrt.f64 x))
13.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
8.0ms	(/.f64 1 (sqrt.f64 (+.f64 x 1)))

rewrite95.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

776×	`prod-diff_binary64`
428×	`fma-def_binary64`
246×	`fma-neg_binary64`
170×	`log1p-udef_binary64`
169×	`expm1-udef_binary64`

Counts

3 → 167

Calls

3 calls:

92.0ms	(/.f64 1 (sqrt.f64 (+.f64 x 1)))
92.0ms	(/.f64 1 (sqrt.f64 x))
92.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	205	24
2	2570	24
3	4757	24
4	4948	24
0	0	0
1	0	0

simplify124.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

695×	`fma-neg_binary64`
559×	`cancel-sign-sub-inv_binary64`
543×	`unsub-neg_binary64`
474×	`distribute-rgt-neg-in_binary64`
424×	`sub-neg_binary64`

Counts

171 → 174

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	47
1	51	43
2	122	39
3	330	31
4	1058	31
5	2093	31
6	3526	31
7	4139	31
8	4864	31
9	4949	31
10	5000	31
11	4802	31

prune235.0ms (2.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	159	15	174
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	160	15	175

Error

20.5b

Counts

175 → 15

Alt Table

Status	Error	Program
	31.3b	(fma.f64 (pow.f64 (cbrt.f64 x) -1) (pow.f64 (cbrt.f64 (sqrt.f64 x)) -1) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
	30.8b	(+.f64 (fma.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 x) -1/2) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1)) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1))))
	31.3b	(fma.f64 (cbrt.f64 (-.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))) 2) (fma.f64 (neg.f64 (pow.f64 (pow.f64 (+.f64 1 x) 1/4) -1)) (pow.f64 (pow.f64 (+.f64 1 x) 1/4) -1) (pow.f64 (+.f64 1 x) -1/2)))
	30.7b	(+.f64 (fma.f64 -1 (/.f64 1 (neg.f64 (sqrt.f64 x))) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1)) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1))))
	30.5b	(fma.f64 (cbrt.f64 (/.f64 1 (+.f64 1 x))) (neg.f64 (cbrt.f64 (pow.f64 (+.f64 1 x) -1/2))) (pow.f64 x -1/2))
	30.6b	(+.f64 (fma.f64 1 (pow.f64 x -1/2) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1)) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1))))
	31.3b	(fma.f64 (cbrt.f64 (pow.f64 x -1/2)) (cbrt.f64 (/.f64 1 x)) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
▶	21.2b	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (-.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)))
	30.9b	(/.f64 (+.f64 (pow.f64 (sqrt.f64 x) -3) (pow.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x))) 3)) (+.f64 (/.f64 1 x) (-.f64 (.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x))) (/.f64 -1 (sqrt.f64 (+.f64 1 x)))) (.f64 (pow.f64 x -1/2) (/.f64 -1 (sqrt.f64 (+.f64 1 x)))))))
	31.0b	(+.f64 (fma.f64 (pow.f64 (pow.f64 x 1/4) -1) (pow.f64 (pow.f64 x 1/4) -1) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1)) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1))))
	30.6b	(fma.f64 (*.f64 (cbrt.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x)))) (cbrt.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x))))) (cbrt.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x)))) (pow.f64 x -1/2))
	31.0b	(fma.f64 (pow.f64 (pow.f64 x 1/4) -1) (pow.f64 (pow.f64 x 1/4) -1) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
	30.7b	(fma.f64 (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2) (neg.f64 (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (pow.f64 x -1/2))
	30.3b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 x -1/2)) (cbrt.f64 (/.f64 1 x)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1)) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1))))
	27.1b	(/.f64 (-.f64 (/.f64 1 x) (*.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x))) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))) (-.f64 (pow.f64 x -1/2) (/.f64 -1 (sqrt.f64 (+.f64 1 x)))))

Compiler

Compiled 4987 to 4049 computations (18.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)
✓	0.1b	(pow.f64 (sqrt.f64 x) -1/2)
✓	0.2b	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (-.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)))
✓	3.0b	(-.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2))

series159.0ms (1.9%)

Counts

4 → 4

Calls

4 calls:

82.0ms	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (-.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)))
47.0ms	(-.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2))
17.0ms	(pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)
12.0ms	(pow.f64 (sqrt.f64 x) -1/2)

rewrite100.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

951×	`prod-diff_binary64`
258×	`egg-rr`
126×	`add-sqr-sqrt_binary64`
124×	`log1p-expm1-u_binary64`
124×	`expm1-log1p-u_binary64`

Counts

4 → 258

Calls

4 calls:

93.0ms	(pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)
93.0ms	(pow.f64 (sqrt.f64 x) -1/2)
93.0ms	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (-.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)))
93.0ms	(-.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	52
1	266	37
2	3173	37
3	4950	37
0	0	0
1	0	0

simplify113.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

695×	`fma-neg_binary64`
559×	`cancel-sign-sub-inv_binary64`
543×	`unsub-neg_binary64`
474×	`distribute-rgt-neg-in_binary64`
424×	`sub-neg_binary64`

Counts

262 → 265

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	47
1	51	43
2	123	39
3	331	31
4	1059	31
5	2094	31
6	3527	31
7	4141	31
8	4866	31
9	4951	31
10	4795	31

prune701.0ms (8.3%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	286	26	312
Fresh	10	4	14
Picked	1	0	1
Done	0	0	0
Total	297	30	327

Error

20.4b

Counts

327 → 30

Alt Table

Status	Error	Program
	31.3b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 x -1/2)) (*.f64 (cbrt.f64 (pow.f64 x -1/4)) (pow.f64 x -1/4)) (neg.f64 (pow.f64 (+.f64 x 1) -1/2))) (fma.f64 (neg.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4) (pow.f64 (+.f64 x 1) -1/2)))
	30.8b	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (+.f64 (-.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4)) (fma.f64 (neg.f64 (pow.f64 (+.f64 x 1) -1/8)) (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4))))
	31.3b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 x -1/2)) (.f64 (cbrt.f64 (pow.f64 x -1/4)) (pow.f64 x -1/4)) (neg.f64 (.f64 (pow.f64 (+.f64 x 1) -1/2) 1))) (fma.f64 (neg.f64 (pow.f64 (+.f64 x 1) -1/2)) 1 (*.f64 (pow.f64 (+.f64 x 1) -1/2) 1)))
	30.7b	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (+.f64 (-.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4))) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)) (pow.f64 (+.f64 x 1) -1/4))))
	31.0b	(fma.f64 (pow.f64 (pow.f64 x 1/4) -1) (pow.f64 (pow.f64 x 1/4) -1) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
	45.1b	(.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (+.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x x)) -1/4) (pow.f64 (cbrt.f64 x) -1/4) (neg.f64 (pow.f64 (+.f64 x 1) -1/4))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4))) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)) (pow.f64 (+.f64 x 1) -1/4))))
	31.3b	(fma.f64 (pow.f64 (cbrt.f64 x) -1) (pow.f64 (cbrt.f64 (sqrt.f64 x)) -1) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
	30.6b	(+.f64 (fma.f64 1 (pow.f64 x -1/2) (neg.f64 (.f64 (.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/8)))) (fma.f64 (neg.f64 (.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4))) (pow.f64 (+.f64 x 1) -1/8) (.f64 (*.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/8))))
	31.4b	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (fma.f64 (cbrt.f64 (pow.f64 x -1/2)) (cbrt.f64 (pow.f64 x -1/4)) (neg.f64 (pow.f64 (+.f64 x 1) -1/4))))
	30.5b	(+.f64 (fma.f64 1 (pow.f64 x -1/2) (neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4))) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)) (.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)))))
	30.8b	(.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (+.f64 (fma.f64 (pow.f64 1 -1/4) (pow.f64 x -1/4) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) -1/2) (pow.f64 (cbrt.f64 (+.f64 x 1)) -1/2)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) -1/2)) (pow.f64 (cbrt.f64 (+.f64 x 1)) -1/2) (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) -1/2) (pow.f64 (cbrt.f64 (+.f64 x 1)) -1/2)))))
	31.0b	(.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (+.f64 (fma.f64 (pow.f64 x -1/8) (pow.f64 x -1/8) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) -1/4) (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) -1/4)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) -1/4)) (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) -1/4) (*.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) -1/4) (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) -1/4)))))
	31.3b	(fma.f64 (cbrt.f64 (-.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))) 2) (fma.f64 (neg.f64 (pow.f64 (pow.f64 (+.f64 1 x) 1/4) -1)) (pow.f64 (pow.f64 (+.f64 1 x) 1/4) -1) (pow.f64 (+.f64 1 x) -1/2)))
	30.6b	(+.f64 (fma.f64 1 (pow.f64 x -1/2) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1)) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1))))
	31.1b	(+.f64 (fma.f64 (.f64 (pow.f64 x -1/4) (cbrt.f64 (pow.f64 x -1/2))) (cbrt.f64 (pow.f64 x -1/4)) (neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4))) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)) (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)))))
	30.8b	(+.f64 (fma.f64 (pow.f64 x -1/4) (pow.f64 x -1/4) (neg.f64 (.f64 (.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/8)))) (fma.f64 (neg.f64 (.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4))) (pow.f64 (+.f64 x 1) -1/8) (.f64 (*.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/8))))
	31.2b	(+.f64 (fma.f64 (.f64 (pow.f64 x -1/4) (cbrt.f64 (pow.f64 x -1/2))) (cbrt.f64 (pow.f64 x -1/4)) (neg.f64 (.f64 (pow.f64 (+.f64 x 1) -1/2) 1))) (fma.f64 (neg.f64 (pow.f64 (+.f64 x 1) -1/2)) 1 (*.f64 (pow.f64 (+.f64 x 1) -1/2) 1)))
	22.3b	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (+.f64 (fma.f64 (pow.f64 (pow.f64 x 1/4) -1/2) (pow.f64 (pow.f64 x 1/4) -1/2) (neg.f64 (pow.f64 (+.f64 x 1) -1/4))) (fma.f64 (neg.f64 (pow.f64 (+.f64 x 1) -1/8)) (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4))))
	30.9b	(+.f64 (fma.f64 (pow.f64 x -1/8) (.f64 (pow.f64 x -1/8) (pow.f64 x -1/4)) (neg.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (.f64 (pow.f64 (+.f64 x 1) -1/4) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4))) (.f64 (pow.f64 (+.f64 x 1) -1/4) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))) (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (.f64 (pow.f64 (+.f64 x 1) -1/4) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))))))
	30.8b	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (+.f64 (fma.f64 (pow.f64 (pow.f64 x 1/4) -1/2) (pow.f64 (pow.f64 x 1/4) -1/2) (neg.f64 (pow.f64 (+.f64 x 1) -1/4))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4))) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)) (pow.f64 (+.f64 x 1) -1/4))))
	30.9b	(+.f64 (fma.f64 (pow.f64 x -1/8) (.f64 (pow.f64 x -1/8) (pow.f64 x -1/4)) (neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4))) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)) (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)))))
	30.8b	(fma.f64 (pow.f64 x -1/4) (pow.f64 x -1/4) (neg.f64 (pow.f64 (+.f64 x 1) -1/2)))
	31.0b	(+.f64 (fma.f64 (pow.f64 x -1/8) (*.f64 (pow.f64 x -1/8) (pow.f64 x -1/4)) (neg.f64 (pow.f64 (+.f64 x 1) -1/2))) (fma.f64 (neg.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4) (pow.f64 (+.f64 x 1) -1/2)))
▶	21.2b	(/.f64 (.f64 (-.f64 (pow.f64 x -3/4) (pow.f64 (+.f64 x 1) -3/4)) (+.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4))) (+.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 (+.f64 x 1) -1/2) (pow.f64 (.f64 x (+.f64 x 1)) -1/4))))
	30.9b	(+.f64 (fma.f64 (pow.f64 x -1/8) (.f64 (pow.f64 x -1/8) (pow.f64 x -1/4)) (neg.f64 (.f64 (pow.f64 (+.f64 x 1) -1/2) 1))) (fma.f64 (neg.f64 (pow.f64 (+.f64 x 1) -1/2)) 1 (*.f64 (pow.f64 (+.f64 x 1) -1/2) 1)))
	31.1b	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) -1/2) (pow.f64 (cbrt.f64 (sqrt.f64 x)) -1/2) (neg.f64 (pow.f64 (+.f64 x 1) -1/4))) (fma.f64 (neg.f64 (pow.f64 (+.f64 x 1) -1/8)) (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4))))
	31.1b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 x -1/2)) (.f64 (cbrt.f64 (pow.f64 x -1/4)) (pow.f64 x -1/4)) (neg.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (.f64 (pow.f64 (+.f64 x 1) -1/4) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4))) (.f64 (pow.f64 (+.f64 x 1) -1/4) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))) (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (.f64 (pow.f64 (+.f64 x 1) -1/4) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))))))
	22.9b	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (exp.f64 (log.f64 (-.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4)))))
	31.2b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 x -1/2)) (.f64 (cbrt.f64 (pow.f64 x -1/4)) (pow.f64 x -1/4)) (neg.f64 (.f64 (.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/8)))) (fma.f64 (neg.f64 (.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4))) (pow.f64 (+.f64 x 1) -1/8) (.f64 (.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/8))))
	31.5b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (pow.f64 x -1/2)) (cbrt.f64 (pow.f64 x -1/2))) (cbrt.f64 (pow.f64 x -1/2)) (neg.f64 (.f64 (.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/8)))) (fma.f64 (neg.f64 (.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4))) (pow.f64 (+.f64 x 1) -1/8) (.f64 (.f64 (pow.f64 (+.f64 x 1) -1/8) (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/8))))

Compiler

Compiled 14889 to 12046 computations (19.1% saved)

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (-.f64 (pow.f64 x -3/4) (pow.f64 (+.f64 x 1) -3/4)) (+.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4)))
✓	0.2b	(/.f64 (.f64 (-.f64 (pow.f64 x -3/4) (pow.f64 (+.f64 x 1) -3/4)) (+.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4))) (+.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 (+.f64 x 1) -1/2) (pow.f64 (.f64 x (+.f64 x 1)) -1/4))))
✓	2.9b	(-.f64 (pow.f64 x -3/4) (pow.f64 (+.f64 x 1) -3/4))
✓	15.3b	(pow.f64 (*.f64 x (+.f64 x 1)) -1/4)

series274.0ms (3.2%)

Counts

4 → 48

Calls

4 calls:

246.0ms	(/.f64 (.f64 (-.f64 (pow.f64 x -3/4) (pow.f64 (+.f64 x 1) -3/4)) (+.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4))) (+.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 (+.f64 x 1) -1/2) (pow.f64 (.f64 x (+.f64 x 1)) -1/4))))
15.0ms	(*.f64 (-.f64 (pow.f64 x -3/4) (pow.f64 (+.f64 x 1) -3/4)) (+.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4)))
8.0ms	(-.f64 (pow.f64 x -3/4) (pow.f64 (+.f64 x 1) -3/4))
5.0ms	(pow.f64 (*.f64 x (+.f64 x 1)) -1/4)

rewrite91.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

432×	`prod-diff_binary64`
245×	`log1p-expm1-u_binary64`
245×	`expm1-log1p-u_binary64`
234×	`add-sqr-sqrt_binary64`
227×	`add-cbrt-cube_binary64`

Counts

4 → 153

Calls

4 calls:

87.0ms	(*.f64 (-.f64 (pow.f64 x -3/4) (pow.f64 (+.f64 x 1) -3/4)) (+.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4)))
87.0ms	(/.f64 (.f64 (-.f64 (pow.f64 x -3/4) (pow.f64 (+.f64 x 1) -3/4)) (+.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4))) (+.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 (+.f64 x 1) -1/2) (pow.f64 (.f64 x (+.f64 x 1)) -1/4))))
87.0ms	(-.f64 (pow.f64 x -3/4) (pow.f64 (+.f64 x 1) -3/4))
87.0ms	(pow.f64 (*.f64 x (+.f64 x 1)) -1/4)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	106
1	506	102
2	4917	102
3	5402	102
0	0	0
1	0	0

simplify155.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

767×	`fma-def_binary64`
560×	`times-frac_binary64`
343×	`associate-/l*_binary64`
226×	`*-commutative_binary64`
178×	`+-commutative_binary64`

Counts

201 → 241

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	656	8588
1	2215	7399
2	4950	7399
3	4936	7399

prune672.0ms (7.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	236	5	241
Fresh	28	1	29
Picked	1	0	1
Done	0	0	0
Total	265	6	271

Error

5.6b

Counts

271 → 6

Alt Table

Status	Error	Program
	36.8b	(-.f64 (+.f64 (.f64 9/8 (.f64 (/.f64 1 (pow.f64 (+.f64 (.f64 2 (sqrt.f64 (/.f64 1 x))) (pow.f64 (/.f64 1 x) 1/2)) 2)) (sqrt.f64 (/.f64 1 (pow.f64 x 7))))) (.f64 3/2 (/.f64 1 (.f64 (+.f64 (.f64 2 (sqrt.f64 (/.f64 1 x))) (pow.f64 (/.f64 1 x) 1/2)) (pow.f64 x 2))))) (.f64 3/2 (/.f64 1 (.f64 (+.f64 (*.f64 2 (sqrt.f64 (/.f64 1 x))) (pow.f64 (/.f64 1 x) 1/2)) (pow.f64 x 3)))))
	48.6b	(/.f64 (.f64 (fma.f64 3/4 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/4) (fma.f64 77/128 (pow.f64 (/.f64 1 (pow.f64 x 15)) 1/4) (.f64 (pow.f64 (/.f64 1 (pow.f64 x 11)) 1/4) -21/32))) (+.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4))) (+.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 (+.f64 x 1) -1/2) (pow.f64 (*.f64 x (+.f64 x 1)) -1/4))))
▶	30.5b	(+.f64 (fma.f64 1 (pow.f64 x -1/2) (neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4))) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)) (.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)))))
	36.6b	(/.f64 (-.f64 (+.f64 (/.f64 3/2 (.f64 x x)) (/.f64 95/64 (pow.f64 x 4))) (+.f64 (/.f64 3/2 (pow.f64 x 3)) (/.f64 47/32 (pow.f64 x 5)))) (+.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 (+.f64 x 1) -1/2) (pow.f64 (.f64 x (+.f64 x 1)) -1/4))))
	36.7b	(/.f64 (-.f64 (+.f64 (.f64 95/64 (/.f64 1 (pow.f64 x 4))) (.f64 3/2 (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 47/32 (/.f64 1 (pow.f64 x 5))) (.f64 3/2 (/.f64 1 (pow.f64 x 3))))) (+.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 (+.f64 x 1) -1/2) (pow.f64 (*.f64 x (+.f64 x 1)) -1/4))))
	36.8b	(-.f64 (fma.f64 9/8 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 7))) (pow.f64 (.f64 3 (sqrt.f64 (/.f64 1 x))) 2)) (/.f64 3/2 (.f64 (.f64 x x) (.f64 3 (sqrt.f64 (/.f64 1 x)))))) (/.f64 3/2 (.f64 (pow.f64 x 3) (.f64 3 (sqrt.f64 (/.f64 1 x))))))

Compiler

Compiled 21202 to 17406 computations (17.9% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(cbrt.f64 (pow.f64 (+.f64 x 1) -1/4))
✓	0.3b	(cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))
✓	15.2b	(fma.f64 1 (pow.f64 x -1/2) (neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)))))
✓	32.9b	(fma.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4))) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)) (.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))))

series238.0ms (2.8%)

Counts

4 → 36

Calls

4 calls:

219.0ms	(fma.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4))) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)) (.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))))
10.0ms	(fma.f64 1 (pow.f64 x -1/2) (neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)))))
4.0ms	(cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))
4.0ms	(cbrt.f64 (pow.f64 (+.f64 x 1) -1/4))

rewrite82.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

612×	`log-prod_binary64`
325×	`fma-def_binary64`
225×	`log1p-udef_binary64`
224×	`expm1-udef_binary64`
212×	`log-pow_binary64`

Counts

4 → 147

Calls

4 calls:

80.0ms	(cbrt.f64 (pow.f64 (+.f64 x 1) -1/4))
80.0ms	(cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))
80.0ms	(fma.f64 1 (pow.f64 x -1/2) (neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)))))
80.0ms	(fma.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4))) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)) (.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	115
1	360	37
2	3088	37
3	5428	37
0	0	0
1	0	0

simplify51.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

753×	`times-frac_binary64`
672×	`fma-neg_binary64`
347×	`fma-def_binary64`
321×	`sub-neg_binary64`
266×	`cancel-sign-sub-inv_binary64`

Counts

183 → 203

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	126	851
1	374	827
2	1003	678
3	3018	584
4	5050	584

prune1.0s (11.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	429	0	429
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	429	6	435

Error

5.6b

Counts

435 → 6

Alt Table

Status	Error	Program
	36.8b	(-.f64 (+.f64 (.f64 9/8 (.f64 (/.f64 1 (pow.f64 (+.f64 (.f64 2 (sqrt.f64 (/.f64 1 x))) (pow.f64 (/.f64 1 x) 1/2)) 2)) (sqrt.f64 (/.f64 1 (pow.f64 x 7))))) (.f64 3/2 (/.f64 1 (.f64 (+.f64 (.f64 2 (sqrt.f64 (/.f64 1 x))) (pow.f64 (/.f64 1 x) 1/2)) (pow.f64 x 2))))) (.f64 3/2 (/.f64 1 (.f64 (+.f64 (*.f64 2 (sqrt.f64 (/.f64 1 x))) (pow.f64 (/.f64 1 x) 1/2)) (pow.f64 x 3)))))
	48.6b	(/.f64 (.f64 (fma.f64 3/4 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/4) (fma.f64 77/128 (pow.f64 (/.f64 1 (pow.f64 x 15)) 1/4) (.f64 (pow.f64 (/.f64 1 (pow.f64 x 11)) 1/4) -21/32))) (+.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 x 1) -1/4))) (+.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 (+.f64 x 1) -1/2) (pow.f64 (*.f64 x (+.f64 x 1)) -1/4))))
✓	30.5b	(+.f64 (fma.f64 1 (pow.f64 x -1/2) (neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4))) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)) (.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) -1/4)) (pow.f64 (+.f64 x 1) -1/4)) (cbrt.f64 (pow.f64 (+.f64 x 1) -1/2)))))
	36.6b	(/.f64 (-.f64 (+.f64 (/.f64 3/2 (.f64 x x)) (/.f64 95/64 (pow.f64 x 4))) (+.f64 (/.f64 3/2 (pow.f64 x 3)) (/.f64 47/32 (pow.f64 x 5)))) (+.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 (+.f64 x 1) -1/2) (pow.f64 (.f64 x (+.f64 x 1)) -1/4))))
	36.7b	(/.f64 (-.f64 (+.f64 (.f64 95/64 (/.f64 1 (pow.f64 x 4))) (.f64 3/2 (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 47/32 (/.f64 1 (pow.f64 x 5))) (.f64 3/2 (/.f64 1 (pow.f64 x 3))))) (+.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 (+.f64 x 1) -1/2) (pow.f64 (*.f64 x (+.f64 x 1)) -1/4))))
	36.8b	(-.f64 (fma.f64 9/8 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 7))) (pow.f64 (.f64 3 (sqrt.f64 (/.f64 1 x))) 2)) (/.f64 3/2 (.f64 (.f64 x x) (.f64 3 (sqrt.f64 (/.f64 1 x)))))) (/.f64 3/2 (.f64 (pow.f64 x 3) (.f64 3 (sqrt.f64 (/.f64 1 x))))))

Compiler

Compiled 29169 to 24740 computations (15.2% saved)

regimes2.1s (24.8%)

Accuracy

Total 0.1b remaining (1.5%)

Threshold costs 0.1b (1.5%)

Counts

481 → 2

Compiler

Compiled 37048 to 30592 computations (17.4% saved)

bsearch28.0ms (0.3%)

Compiler: Compiled 12 to 10 computations (16.7% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

17×	`+-commutative_binary64`
13×	`*-commutative_binary64`
11×	`sub-neg_binary64`
9×	`neg-sub0_binary64`
9×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	182
1	81	182
2	107	182
3	131	182
4	140	182
5	142	182
6	138	182

end319.0ms (3.8%)

Compiler: Compiled 565 to 471 computations (16.6% saved)

Iter	Nodes	Cost
0	9	17
1	14	17
2	20	17
3	28	17
4	36	17
5	54	17
6	79	17
7	96	17
8	113	17
9	123	17
10	127	17
11	129	17
12	115	17

Iter	Nodes	Cost
0	9	17
1	14	17
2	20	17
3	28	17
4	36	17
5	54	17
6	79	17
7	96	17
8	113	17
9	123	17
10	127	17
11	129	17
12	115	17

Details

analyze1.0ms (0%)

sample1.8s (21.3%)

simplify10.0ms (0.1%)

prune3.0ms (0%)

localize6.0ms (0.1%)

series35.0ms (0.4%)

rewrite95.0ms (1.1%)

simplify124.0ms (1.5%)

prune235.0ms (2.8%)

localize11.0ms (0.1%)

series159.0ms (1.9%)

rewrite100.0ms (1.2%)

simplify113.0ms (1.3%)

prune701.0ms (8.3%)

localize28.0ms (0.3%)

series274.0ms (3.2%)

rewrite91.0ms (1.1%)

simplify155.0ms (1.8%)

prune672.0ms (7.9%)

localize20.0ms (0.2%)

series238.0ms (2.8%)

rewrite82.0ms (1%)

simplify51.0ms (0.6%)

prune1.0s (11.9%)

regimes2.1s (24.8%)

bsearch28.0ms (0.3%)

simplify7.0ms (0.1%)

end319.0ms (3.8%)

Profiling

Iter	Nodes	Cost
0	9	17
1	14	17
2	20	17
3	28	17
4	36	17
5	54	17
6	79	17
7	96	17
8	113	17
9	123	17
10	127	17
11	129	17
12	115	17