Details

analyze6.0ms (0%)

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
24.8%	24.8%	50.3%	3
37.3%	12.4%	50.3%	4
43.5%	6.2%	50.3%	5
46.6%	3.1%	50.3%	6
48.1%	1.6%	50.3%	7
48.9%	0.8%	50.3%	8
49.3%	0.4%	50.3%	9
49.5%	0.2%	50.3%	10
49.6%	0.1%	50.3%	11
49.6%	0%	50.3%	12
49.7%	0%	50.3%	13
49.7%	0%	50.3%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample10.1s (78%)

Results

7.9s	4255×	body	2048	valid
1.4s	1993×	body	1024	valid
358.0ms	1037×	body	512	valid
213.0ms	237×	body	4096	valid
122.0ms	506×	body	256	valid
30.0ms	228×	body	128	valid

Compiler

Compiled 41 to 31 computations (24.4% saved)

simplify11.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.1b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 27 to 21 computations (22.2% saved)

localize40.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series28.0ms (0.2%)

Counts

2 → 24

Calls

2 calls:

17.0ms	(/.f64 1 (tan.f64 x))
10.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))

simplify290.0ms (2.2%)

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

prune203.0ms (1.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.3b

Counts

303 → 1

Alt Table

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

Compiler

Compiled 10334 to 6485 computations (37.2% saved)

localize5.0ms (0%)

Local error

Found 2 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)))

series7.0ms (0.1%)

Counts

2 → 12

Calls

2 calls:

4.0ms	(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
3.0ms	(*.f64 1/45 (pow.f64 x 3))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 43

Calls

2 calls:

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

simplify102.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

541×	`associate-l_binary64`
505×	`associate-r_binary64`
426×	`log-prod_binary64`
346×	`exp-prod_binary64`
345×	`swap-sqr_binary64`

Counts

55 → 53

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	72	631
1	125	568
2	339	568
3	1827	568
4	3512	538
5	4560	538
6	4941	538
7	4973	538

prune40.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	50	3	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	50	4	54

Error

0.2b

Counts

54 → 4

Alt Table

Status	Error	Program
	33.6b	(.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.5b	(.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)))))
	42.2b	(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)))))
✓	0.3b	(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))

Compiler

Compiled 864 to 669 computations (22.6% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
✓	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.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.6b	(cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))

series18.0ms (0.1%)

Counts

3 → 36

Calls

3 calls:

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

7.0ms

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

3.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.2%)

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:

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

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

simplify177.0ms (1.4%)

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	2812
3	3460	2542
4	4803	2448
5	4721	2448
6	4924	2448
7	4924	2448

prune342.0ms (2.6%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	280	10	290
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	280	14	294

Error

0.1b

Counts

294 → 14

Alt Table

Status	Error	Program
	2.8b	(.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))))))
	34.1b	(.f64 (.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)))))) (.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))))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	5.2b	(.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)))))
✓	1.5b	(.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.7b	(.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (pow.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)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	42.2b	(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.0b	(.f64 (.f64 (.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 (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)))
	35.2b	(.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 (exp.f64 (log.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
	35.7b	(.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))
	34.2b	(.f64 (cbrt.f64 (.f64 (.f64 x x) 1/9)) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))
	1.9b	(.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 2))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	33.6b	(.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)))))
	2.0b	(.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 (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 12003 to 9721 computations (19% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series26.0ms (0.2%)

Counts

3 → 36

Calls

3 calls:

11.0ms

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

7.0ms

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

7.0ms

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

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`cbrt-prod_binary64`
12×	`unpow-prod-down_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`

Counts

3 → 61

Calls

3 calls:

2.0ms

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

2.0ms

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

1.0ms

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

simplify85.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

598×	`fma-def_binary64`
550×	`associate-l_binary64`
464×	`times-frac_binary64`
309×	`associate-/r*_binary64`
229×	`associate-/l*_binary64`

Counts

97 → 173

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	237	3541
1	602	3392
2	1550	2852
3	5301	2852

prune573.0ms (4.4%)

Pruning

20 alts after pruning (17 fresh and 3 done)

	Pruned	Kept	Total
New	327	6	333
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	327	20	347

Error

0.1b

Counts

347 → 20

Alt Table

Status	Error	Program
	52.5b	(.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (log.f64 (exp.f64 (cbrt.f64 (pow.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)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	2.8b	(.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))))))
	34.1b	(.f64 (.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)))))) (.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))))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	35.0b	(.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 2))) (cbrt.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 1/3) (log.f64 x)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	33.6b	(.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)))))
	5.2b	(.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)))))
✓	1.5b	(.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.7b	(.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (pow.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)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	42.2b	(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.0b	(.f64 (.f64 (.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 (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)))
	34.9b	(.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 2))) (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 1/3)) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	2.0b	(.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 (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)))))
	35.2b	(.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 (exp.f64 (log.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
	2.3b	(.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 2)))) (cbrt.f64 (cbrt.f64 (pow.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)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	3.8b	(.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (exp.f64 (log.f64 (cbrt.f64 (pow.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)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	35.7b	(.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))
	34.2b	(.f64 (cbrt.f64 (.f64 (.f64 x x) 1/9)) (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))))
	1.9b	(.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) 2))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
	2.2b	(.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 1/3 x (.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (pow.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)))))) (.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)))))))

Compiler

Compiled 20087 to 16508 computations (17.8% saved)

regimes190.0ms (1.5%)

Accuracy

Total 0.2b remaining (41.3%)

Threshold costs 0.2b (41.3%)

Counts

62 → 1

Compiler

Compiled 4524 to 3704 computations (18.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	9	11
2	9	11

end588.0ms (4.5%)

Compiler: Compiled 805 to 658 computations (18.3% 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

analyze6.0ms (0%)

sample10.1s (78%)

simplify11.0ms (0.1%)

prune2.0ms (0%)

localize40.0ms (0.3%)

series28.0ms (0.2%)

rewrite57.0ms (0.4%)

simplify290.0ms (2.2%)

prune203.0ms (1.6%)

localize5.0ms (0%)

series7.0ms (0.1%)

rewrite7.0ms (0.1%)

simplify102.0ms (0.8%)

prune40.0ms (0.3%)

localize8.0ms (0.1%)

series18.0ms (0.1%)

rewrite20.0ms (0.2%)

simplify177.0ms (1.4%)

prune342.0ms (2.6%)

localize14.0ms (0.1%)

series26.0ms (0.2%)

rewrite7.0ms (0.1%)

simplify85.0ms (0.7%)

prune573.0ms (4.4%)

regimes190.0ms (1.5%)

simplify4.0ms (0%)

end588.0ms (4.5%)

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