Details

analyze2.1s (15.7%)

Algorithm

1×

Search

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

Compiler

Compiled 16 to 12 computations (25% saved)

sample8.9s (65.7%)

Results

6.9s	4071×	body	2048	valid
1.3s	2153×	body	1024	valid
350.0ms	1045×	body	512	valid
200.0ms	224×	body	4096	valid
130.0ms	528×	body	256	valid
31.0ms	235×	body	128	valid

Compiler

Compiled 25 to 19 computations (24% saved)

simplify12.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 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	11	12
2	17	12
3	25	12
4	33	12
5	51	12
6	76	12
7	93	12
8	110	12
9	120	12
10	124	12
11	126	12
12	112	12

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

60.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	60.0b	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

Compiler

Compiled 27 to 21 computations (22.2% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (tan.f64 x))
✓	2.6b	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

series31.0ms (0.2%)

Counts

2 → 24

Calls

2 calls:

19.0ms	(/.f64 1 (tan.f64 x))
12.0ms	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

rewrite57.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

288×	`times-frac_binary64`
239×	`add-sqr-sqrt_binary64`
231×	`*-un-lft-identity_binary64`
215×	`add-cube-cbrt_binary64`
182×	`prod-diff_binary64`

Counts

2 → 273

Calls

2 calls:

17.0ms	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
3.0ms	(/.f64 1 (tan.f64 x))

simplify244.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

770×	`fma-neg_binary64`
466×	`fma-def_binary64`
354×	`distribute-rgt-in_binary64`
331×	`cancel-sign-sub-inv_binary64`
277×	`associate-l_binary64`

Counts

297 → 302

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	171	8645
1	364	6130
2	911	4575
3	2803	4281
4	4238	4246
5	4940	4246
6	4768	4246

prune229.0ms (1.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	300	2	302
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	301	2	303

Error

0.3b

Counts

303 → 2

Alt Table

Status	Error	Program
▶	0.3b	(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))
	0.3b	(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))

Compiler

Compiled 10362 to 6507 computations (37.2% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))
✓	0.1b	(*.f64 1/45 (pow.f64 x 3))
✓	0.3b	(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))

series12.0ms (0.1%)

Counts

3 → 24

Calls

3 calls:

5.0ms	(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))
3.0ms	(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
3.0ms	(*.f64 1/45 (pow.f64 x 3))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
12×	`associate-r_binary64`
8×	`add-exp-log_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`

Counts

3 → 53

Calls

3 calls:

5.0ms	(*.f64 1/45 (pow.f64 x 3))
0.0ms	(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))
0.0ms	(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))

simplify51.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

673×	`fma-def_binary64`
659×	`distribute-rgt-in_binary64`
653×	`distribute-lft-in_binary64`
563×	`associate-l_binary64`
526×	`associate-r_binary64`

Counts

77 → 70

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	88	1043
1	151	943
2	418	931
3	2194	931
4	5301	931

prune67.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	66	4	70
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	67	5	72

Error

0.3b

Counts

72 → 5

Alt Table

Status	Error	Program
✓	0.3b	(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))
	40.0b	(fma.f64 2/945 (pow.f64 x 5) (cbrt.f64 (.f64 (.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))) (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
	29.4b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (sqrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
▶	1.6b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
	32.2b	(fma.f64 2/945 (pow.f64 x 5) (exp.f64 (log.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))

Compiler

Compiled 1511 to 1179 computations (22% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	0.3b	(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
✓	0.5b	(.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
✓	0.7b	(cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))

series23.0ms (0.2%)

Counts

3 → 36

Calls

3 calls:

10.0ms

(*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))

9.0ms

(cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))

4.0ms

(*.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
23×	`cbrt-prod_binary64`
16×	`pow1/3_binary64`
14×	`*-un-lft-identity_binary64`

Counts

3 → 93

Calls

3 calls:

8.0ms

(*.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))

5.0ms

(*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))

1.0ms

(cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))

simplify176.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

537×	`fma-neg_binary64`
445×	`fma-def_binary64`
244×	`times-frac_binary64`
235×	`unswap-sqr_binary64`
224×	`exp-prod_binary64`

Counts

129 → 165

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	190	3822
1	455	3466
2	1196	2778
3	3460	2540
4	4803	2446
5	4721	2446
6	4924	2446
7	4924	2446

prune412.0ms (3%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	279	11	290
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	279	16	295

Error

0.2b

Counts

295 → 16

Alt Table

Status	Error	Program
	2.0b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))))
	1.9b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
	30.0b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) 5) (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
	29.9b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (.f64 (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))))
	29.9b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))) (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
	2.4b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
	29.4b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (sqrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
✓	0.3b	(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))
	40.0b	(fma.f64 2/945 (pow.f64 x 5) (cbrt.f64 (.f64 (.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))) (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
	2.7b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) 8) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
	32.2b	(fma.f64 2/945 (pow.f64 x 5) (exp.f64 (log.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
▶	1.6b	(fma.f64 2/945 (pow.f64 x 5) (pow.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) 3))
✓	1.6b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
	2.1b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) 2) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))))
	31.8b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (pow.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))) 1/3)))
	5.2b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (exp.f64 (log.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))

Compiler

Compiled 13790 to 11164 computations (19% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 1/45 (pow.f64 x 3))
	0.3b	(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
	0.7b	(cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))
✓	0.7b	(pow.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) 3)

series85.0ms (0.6%)

Counts

1 → 12

Calls

1 calls:

85.0ms

(pow.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) 3)

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`cube-prod_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`
6×	`cbrt-prod_binary64`
6×	`unpow-prod-down_binary64`

Counts

1 → 32

Calls

1 calls:

2.0ms

(pow.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) 3)

simplify75.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

803×	`fma-def_binary64`
554×	`times-frac_binary64`
484×	`associate-l_binary64`
414×	`associate-r_binary64`
301×	`exp-prod_binary64`

Counts

44 → 52

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	84	1128
1	201	1009
2	553	902
3	2551	748
4	4884	748
5	5093	748

prune164.0ms (1.2%)

Pruning

17 alts after pruning (14 fresh and 3 done)

	Pruned	Kept	Total
New	141	5	146
Fresh	4	9	13
Picked	0	1	1
Done	0	2	2
Total	145	17	162

Error

0.1b

Counts

162 → 17

Alt Table

Status	Error	Program
	2.0b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))))
	1.9b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
	2.7b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 3)))
	29.9b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))) (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
	2.4b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
	29.4b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (sqrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
✓	0.3b	(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))
	40.0b	(fma.f64 2/945 (pow.f64 x 5) (cbrt.f64 (.f64 (.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))) (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
	42.2b	(fma.f64 2/945 (pow.f64 x 5) (fma.f64 15 (/.f64 (.f64 -1/45 (pow.f64 (/.f64 -1 x) -3)) (.f64 x x)) (*.f64 -1/45 (pow.f64 (/.f64 -1 x) -3))))
	42.1b	(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/45 (pow.f64 x 3) (.f64 15 (/.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 x x)))))
	30.3b	(fma.f64 2/945 (pow.f64 x 5) (pow.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) 3))
✓	1.6b	(fma.f64 2/945 (pow.f64 x 5) (pow.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) 3))
	30.0b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) 5) (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
	1.9b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 3))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) 3))))
✓	1.6b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
	2.1b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) 2) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))))
	2.7b	(fma.f64 2/945 (pow.f64 x 5) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3))))) 8) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))

Compiler

Compiled 4249 to 3476 computations (18.2% saved)

regimes288.0ms (2.1%)

Accuracy

Total 0.2b remaining (54%)

Threshold costs 0.2b (54%)

Counts

82 → 1

Compiler

Compiled 5656 to 4618 computations (18.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	13	18
2	13	18

end533.0ms (3.9%)

Compiler: Compiled 705 to 572 computations (18.9% saved)

Iter	Nodes	Cost
0	7	12
1	11	12
2	17	12
3	25	12
4	33	12
5	51	12
6	76	12
7	93	12
8	110	12
9	120	12
10	124	12
11	126	12
12	112	12

Iter	Nodes	Cost
0	7	12
1	11	12
2	17	12
3	25	12
4	33	12
5	51	12
6	76	12
7	93	12
8	110	12
9	120	12
10	124	12
11	126	12
12	112	12

Details

analyze2.1s (15.7%)

sample8.9s (65.7%)

simplify12.0ms (0.1%)

prune2.0ms (0%)

localize5.0ms (0%)

series31.0ms (0.2%)

rewrite57.0ms (0.4%)

simplify244.0ms (1.8%)

prune229.0ms (1.7%)

localize8.0ms (0.1%)

series12.0ms (0.1%)

rewrite8.0ms (0.1%)

simplify51.0ms (0.4%)

prune67.0ms (0.5%)

localize12.0ms (0.1%)

series23.0ms (0.2%)

rewrite20.0ms (0.1%)

simplify176.0ms (1.3%)

prune412.0ms (3%)

localize11.0ms (0.1%)

series85.0ms (0.6%)

rewrite4.0ms (0%)

simplify75.0ms (0.6%)

prune164.0ms (1.2%)

regimes288.0ms (2.1%)

simplify2.0ms (0%)

end533.0ms (3.9%)

Profiling

Iter	Nodes	Cost
0	7	12
1	11	12
2	17	12
3	25	12
4	33	12
5	51	12
6	76	12
7	93	12
8	110	12
9	120	12
10	124	12
11	126	12
12	112	12