Metrics for exp2 (problem 3.3.7)

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50.4%	49.6%	0%	0%	0%	0
100%	50.4%	0%	49.6%	0%	0%	0%	1

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample3.5s (61.9%)

Results

2.6s	4344×	body	2048	valid
668.0ms	2014×	body	1024	valid
213.0ms	1005×	body	512	valid
88.0ms	893×	body	256	valid

Bogosity

preprocess199.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

2262×	`fma-def`
1210×	`distribute-lft-neg-in`
930×	`associate-/r/`
798×	`div-sub`
640×	`associate-*l/`

Problems

130×	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`
126×	No Errors

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	128
1	45	128
2	101	124
3	249	124
4	544	124
5	1115	124
6	2899	124
7	5729	124

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(+.f64 (-.f64 (exp.f64 (neg.f64 x)) 2) (exp.f64 (neg.f64 (neg.f64 x))))
(neg.f64 (+.f64 (-.f64 (exp.f64 (neg.f64 x)) 2) (exp.f64 (neg.f64 (neg.f64 x)))))

Outputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(+.f64 (+.f64 (exp.f64 x) -2) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(+.f64 (+.f64 (exp.f64 x) -2) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (-.f64 (exp.f64 (neg.f64 x)) 2) (exp.f64 (neg.f64 (neg.f64 x))))
(+.f64 (+.f64 (exp.f64 x) -2) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(neg.f64 (+.f64 (-.f64 (exp.f64 (neg.f64 x)) 2) (exp.f64 (neg.f64 (neg.f64 x)))))
(neg.f64 (-.f64 (exp.f64 (neg.f64 x)) (-.f64 2 (exp.f64 x))))
(-.f64 (neg.f64 (exp.f64 x)) (+.f64 (exp.f64 (neg.f64 x)) -2))
(-.f64 (-.f64 2 (exp.f64 (neg.f64 x))) (exp.f64 x))
(-.f64 (-.f64 2 (exp.f64 x)) (exp.f64 (neg.f64 x)))

Symmetry

(abs x)

Compiler

Compiled 32 to 18 computations (43.8% saved)

eval0.0ms (0%)

Compiler: Compiled 17 to 10 computations (41.2% saved)

prune28.0ms (0.5%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	53.9%	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
▶	53.9%	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize118.0ms (2.1%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(-.f64 (exp.f64 x) 2)
✓	54.0%	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Compiler

Compiled 23 to 11 computations (52.2% saved)

series1.0ms (0%)

Counts

2 → 16

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.0ms	x	@	inf	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.0ms	x	@	-inf	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.0ms	x	@	0	(-.f64 (exp.f64 x) 2)
0.0ms	x	@	inf	(-.f64 (exp.f64 x) 2)

rewrite106.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1072×	`prod-diff`
672×	`fma-def`
646×	`log1p-expm1-u`
646×	`expm1-log1p-u`
504×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	62
1	152	62
2	2196	62

Stop Event

1×	node limit

Counts

2 → 64

Calls

Call 1

Inputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) 2)

Outputs
-64
-16
-8
-4
-3
-2
-3/2
-1
-2/3
-1/2
-1/3
0
1/9
1/6
1/3
1/2
2/3
1
4/3
3/2
2
5/2
3
4
9/2
5
6
8
9
16
64
512
-64
-16
-8
-4
-3
-2
-3/2
-1
-2/3
-1/2
-1/3
0
1/9
1/6
1/3
1/2
2/3
1
4/3
3/2
2
5/2
3
4
9/2
5
6
8
9
16
64
512

simplify73.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1496×	`unswap-sqr`
1488×	`distribute-lft-out`
1216×	`distribute-rgt-out`
1118×	`associate-r`
1116×	`fma-def`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	69	544
1	129	540
2	254	536
3	743	526
4	3450	526
5	7687	526

Stop Event

1×	node limit

Counts

80 → 59

Calls

Call 1

Inputs
(pow.f64 x 2)
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
-1
(-.f64 x 1)
(-.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 1)
(-.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1)
-64
-16
-8
-4
-3
-2
-3/2
-1
-2/3
-1/2
-1/3
0
1/9
1/6
1/3
1/2
2/3
1
4/3
3/2
2
5/2
3
4
9/2
5
6
8
9
16
64
512
-64
-16
-8
-4
-3
-2
-3/2
-1
-2/3
-1/2
-1/3
0
1/9
1/6
1/3
1/2
2/3
1
4/3
3/2
2
5/2
3
4
9/2
5
6
8
9
16
64
512

Outputs
(pow.f64 x 2)
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2)))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (pow.f64 x 2)))
(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(fma.f64 1/20160 (pow.f64 x 8) (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/20160 (pow.f64 x 8) (fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2))))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/20160 (pow.f64 x 8) (fma.f64 1/360 (pow.f64 x 6) (pow.f64 x 2))))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(+.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) -2)
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(+.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) -2)
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(+.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) -2)
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(+.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) -2)
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) -2)
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) -2)
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) -2)
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) -2)
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
-1
(-.f64 x 1)
(+.f64 x -1)
(-.f64 (+.f64 x (*.f64 1/2 (pow.f64 x 2))) 1)
(+.f64 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)) -1)
(+.f64 -1 (fma.f64 (pow.f64 x 2) 1/2 x))
(fma.f64 (fma.f64 x 1/2 1) x -1)
(fma.f64 x (fma.f64 x 1/2 1) -1)
(-.f64 (+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/2 (pow.f64 x 2)))) 1)
(+.f64 x (-.f64 (fma.f64 1/6 (pow.f64 x 3) (*.f64 (pow.f64 x 2) 1/2)) 1))
(+.f64 x (+.f64 (fma.f64 1/6 (pow.f64 x 3) (*.f64 (pow.f64 x 2) 1/2)) -1))
(+.f64 x (fma.f64 (pow.f64 x 2) 1/2 (fma.f64 1/6 (pow.f64 x 3) -1)))
(+.f64 x (fma.f64 (pow.f64 x 2) (fma.f64 x 1/6 1/2) -1))
-64
-16
-8
-4
-3
-2
-3/2
-1
-2/3
-1/2
-1/3
0
1/9
1/6
1/3
1/2
2/3
1
4/3
3/2
2
5/2
3
4
9/2
5
6
8
9
16
64
512
-64
-16
-8
-4
-3
-2
-3/2
-1
-2/3
-1/2
-1/3
0
1/9
1/6
1/3
1/2
2/3
1
4/3
3/2
2
5/2
3
4
9/2
5
6
8
9
16
64
512

eval10.0ms (0.2%)

Compiler: Compiled 375 to 258 computations (31.2% saved)

prune27.0ms (0.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	48	11	59
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	48	12	60

Accuracy

100.0%

Counts

60 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.4%	(pow.f64 x 2)
▶	53.9%	(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	53.9%	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
▶	98.0%	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
▶	98.5%	(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
▶	98.7%	(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
	4.2%	512
	4.3%	5
	4.3%	2
	4.3%	1/3
	4.3%	1/9
	50.4%	0
▶	97.4%	(pow.f64 x 2)
▶	53.9%	(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	53.9%	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
▶	98.0%	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
▶	98.5%	(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
▶	98.7%	(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
	4.2%	512
	4.3%	5
	4.3%	2
	4.3%	1/3
	4.3%	1/9
	50.4%	0

Compiler

Compiled 286 to 234 computations (18.2% saved)

localize546.0ms (9.5%)

Localize:

Found 12 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
✓	100.0%	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
✓	100.0%	(*.f64 1/360 (pow.f64 x 6))
✓	99.9%	(*.f64 1/12 (pow.f64 x 4))
✓	100.0%	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
✓	99.9%	(*.f64 1/12 (pow.f64 x 4))
✓	100.0%	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
✓	53.9%	(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	100.0%	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
✓	100.0%	(*.f64 1/20160 (pow.f64 x 8))
✓	100.0%	(*.f64 1/360 (pow.f64 x 6))
✓	99.9%	(*.f64 1/12 (pow.f64 x 4))

Compiler

Compiled 183 to 131 computations (28.4% saved)

series7.0ms (0.1%)

Counts

12 → 31

Calls

36 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
1.0ms	x	@	0	(*.f64 1/12 (pow.f64 x 4))
0.0ms	x	@	0	(*.f64 1/360 (pow.f64 x 6))
0.0ms	x	@	0	(*.f64 1/20160 (pow.f64 x 8))
0.0ms	x	@	inf	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))

rewrite34.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

246×	`associate-r`
168×	`log1p-expm1-u`
168×	`expm1-log1p-u`
160×	`associate-l`
158×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	192
1	377	192
2	6446	192

Stop Event

1×

unsound

Counts

12 → 300

Calls

Call 1

Inputs
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/360 (pow.f64 x 6))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))

Outputs
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512

simplify74.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

924×	`distribute-lft-out`
896×	`distribute-rgt-out`
824×	`unswap-sqr`
806×	`fma-def`
640×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	50	1027
1	93	1026
2	186	1024
3	504	1024
4	2150	1024
5	4699	1024
6	5519	1024

Stop Event

1×	node limit

Counts

331 → 56

Calls

Call 1

Inputs
(pow.f64 x 2)
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/12 (pow.f64 x 4))
(pow.f64 x 2)
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
2
(+.f64 2 (pow.f64 x 2))
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(pow.f64 x 2)
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/12 (pow.f64 x 4))
(pow.f64 x 2)
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/12 (pow.f64 x 4))
(pow.f64 x 2)
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512

Outputs
(pow.f64 x 2)
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/12 (pow.f64 x 4))
(pow.f64 x 2)
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2)))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (pow.f64 x 2)))
(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(fma.f64 1/20160 (pow.f64 x 8) (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/20160 (pow.f64 x 8) (fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/20160 (pow.f64 x 8) (pow.f64 x 2))))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
2
(+.f64 2 (pow.f64 x 2))
(fma.f64 x x 2)
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 2 (fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2)))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x 2))
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) 2))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(+.f64 2 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x 2)))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x 2)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(pow.f64 x 2)
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/12 (pow.f64 x 4))
(pow.f64 x 2)
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/12 (pow.f64 x 4))
(pow.f64 x 2)
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(fma.f64 1/12 (pow.f64 x 4) (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512
-8
-4
-2
-1
0
1/406425600
1/46656000
1/129600
1/20160
1/1728
1/360
1/144
1/12
1/2
1
3/2
2
3
4
6
8
12
16
64
512

eval33.0ms (0.6%)

Compiler: Compiled 1263 to 1010 computations (20% saved)

prune27.0ms (0.5%)

Pruning

17 alts after pruning (11 fresh and 6 done)

	Pruned	Kept	Total
New	107	5	112
Fresh	0	6	6
Picked	0	5	5
Done	0	1	1
Total	107	17	124

Accuracy

100.0%

Counts

124 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	97.4%	(pow.f64 x 2)
▶	51.6%	(-.f64 (fma.f64 x x 2) 2)
✓	53.9%	(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	53.9%	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓	98.0%	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
✓	98.5%	(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
✓	98.7%	(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
▶	4.4%	(+.f64 3/2 (pow.f64 x 2))
▶	4.5%	(+.f64 1/144 (pow.f64 x 2))
▶	4.9%	(+.f64 1/46656000 (pow.f64 x 2))
▶	50.9%	(*.f64 1/360 (pow.f64 x 6))
	4.2%	512
	4.3%	5
	4.3%	2
	4.3%	1/3
	4.3%	1/9
	50.4%	0
✓	97.4%	(pow.f64 x 2)
▶	51.6%	(-.f64 (fma.f64 x x 2) 2)
✓	53.9%	(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	53.9%	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓	98.0%	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
✓	98.5%	(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
✓	98.7%	(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
▶	4.4%	(+.f64 3/2 (pow.f64 x 2))
▶	4.5%	(+.f64 1/144 (pow.f64 x 2))
▶	4.9%	(+.f64 1/46656000 (pow.f64 x 2))
▶	50.9%	(*.f64 1/360 (pow.f64 x 6))
	4.2%	512
	4.3%	5
	4.3%	2
	4.3%	1/3
	4.3%	1/9
	50.4%	0

Compiler

Compiled 288 to 236 computations (18.1% saved)

localize161.0ms (2.8%)

Localize:

Found 5 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 3/2 (pow.f64 x 2))
✓	100.0%	(+.f64 1/144 (pow.f64 x 2))
✓	100.0%	(+.f64 1/46656000 (pow.f64 x 2))
✓	100.0%	(*.f64 1/360 (pow.f64 x 6))
✓	53.8%	(-.f64 (fma.f64 x x 2) 2)

Compiler

Compiled 58 to 41 computations (29.3% saved)

series2.0ms (0%)

Counts

5 → 21

Calls

15 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(-.f64 (fma.f64 x x 2) 2)
0.0ms	x	@	-inf	(-.f64 (fma.f64 x x 2) 2)
0.0ms	x	@	inf	(-.f64 (fma.f64 x x 2) 2)
0.0ms	x	@	inf	(+.f64 1/46656000 (pow.f64 x 2))
0.0ms	x	@	-inf	(+.f64 1/46656000 (pow.f64 x 2))

rewrite91.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1188×	`log1p-expm1-u`
871×	`expm1-log1p-u`
396×	`prod-diff`
392×	`expm1-udef`
392×	`log1p-udef`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	85
1	252	77
2	3261	77

Stop Event

1×	node limit

Counts

5 → 142

Calls

Call 1

Inputs
(-.f64 (fma.f64 x x 2) 2)
(*.f64 1/360 (pow.f64 x 6))
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 3/2 (pow.f64 x 2))

Outputs
(+.f64 (fma.f64 x x 2) -2)
(+.f64 (pow.f64 x 2) 0)
(+.f64 -2 (fma.f64 x x 2))
(*.f64 (+.f64 (pow.f64 x 2) 0) 1)
(*.f64 1 (+.f64 (pow.f64 x 2) 0))
(*.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) (pow.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) 2) (cbrt.f64 (+.f64 (pow.f64 x 2) 0)))
(*.f64 (sqrt.f64 (+.f64 (pow.f64 x 2) 0)) (sqrt.f64 (+.f64 (pow.f64 x 2) 0)))
(.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (/.f64 1 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (.f64 2 (fma.f64 x x 2))))))
(*.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (/.f64 1 (+.f64 (pow.f64 x 2) 4)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (*.f64 2 (fma.f64 x x 2)))) (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 2) 4) (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (*.f64 2 (fma.f64 x x 2)))))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 (pow.f64 (fma.f64 x x 2) 2) (-.f64 4 (*.f64 (fma.f64 x x 2) -2))))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (+.f64 (pow.f64 x 2) 4))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (-.f64 (fma.f64 x x 2) -2))
(/.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8)) (neg.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (*.f64 2 (fma.f64 x x 2))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4)) (neg.f64 (+.f64 (pow.f64 x 2) 4)))
(pow.f64 (+.f64 (pow.f64 x 2) 0) 1)
(pow.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) 3)
(pow.f64 (pow.f64 (+.f64 (pow.f64 x 2) 0) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (pow.f64 x 2) 0)) 2)
(sqrt.f64 (pow.f64 (+.f64 (pow.f64 x 2) 0) 2))
(log.f64 (exp.f64 (+.f64 (pow.f64 x 2) 0)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (pow.f64 x 2) 0))))
(cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 2) 0) 3))
(expm1.f64 (log1p.f64 (+.f64 (pow.f64 x 2) 0)))
(exp.f64 (log.f64 (+.f64 (pow.f64 x 2) 0)))
(exp.f64 (*.f64 (log.f64 (+.f64 (pow.f64 x 2) 0)) 1))
(log1p.f64 (expm1.f64 (+.f64 (pow.f64 x 2) 0)))
(fma.f64 1 (fma.f64 x x 2) -2)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 2)) 2) (cbrt.f64 (fma.f64 x x 2)) -2)
(fma.f64 (sqrt.f64 (fma.f64 x x 2)) (sqrt.f64 (fma.f64 x x 2)) -2)
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/360 (pow.f64 x 6)))) 1)
(pow.f64 (*.f64 1/360 (pow.f64 x 6)) 1)
(pow.f64 (*.f64 (pow.f64 x 2) (cbrt.f64 1/360)) 3)
(pow.f64 (pow.f64 (*.f64 1/360 (pow.f64 x 6)) 3) 1/3)
(pow.f64 (*.f64 (pow.f64 x 3) (sqrt.f64 1/360)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 12) 1/129600))
(log.f64 (pow.f64 (exp.f64 1/360) (pow.f64 x 6)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/360 (pow.f64 x 6)))))
(cbrt.f64 (pow.f64 (*.f64 1/360 (pow.f64 x 6)) 3))
(expm1.f64 (log1p.f64 (*.f64 1/360 (pow.f64 x 6))))
(exp.f64 (log.f64 (*.f64 1/360 (pow.f64 x 6))))
(exp.f64 (.f64 (log.f64 (.f64 1/360 (pow.f64 x 6))) 1))
(log1p.f64 (expm1.f64 (*.f64 1/360 (pow.f64 x 6))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x x 1/46656000))) 1)
(-.f64 (/.f64 1/2176782336000000 (-.f64 1/46656000 (pow.f64 x 2))) (/.f64 (pow.f64 x 4) (-.f64 1/46656000 (pow.f64 x 2))))
(*.f64 (fma.f64 x x 1/46656000) 1)
(*.f64 1 (fma.f64 x x 1/46656000))
(*.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 2) (cbrt.f64 (fma.f64 x x 1/46656000)))
(*.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (sqrt.f64 (fma.f64 x x 1/46656000)))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (.f64 -1/46656000 (pow.f64 x 2))))))
(*.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (/.f64 1 (-.f64 1/46656000 (pow.f64 x 2))))
(/.f64 1 (/.f64 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (*.f64 -1/46656000 (pow.f64 x 2)))) (+.f64 (pow.f64 x 6) 1/101559956668416000000000)))
(/.f64 1 (/.f64 (-.f64 1/46656000 (pow.f64 x 2)) (-.f64 1/2176782336000000 (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (*.f64 -1/46656000 (pow.f64 x 2)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 1/46656000 (pow.f64 x 2)))))
(/.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (-.f64 1/46656000 (pow.f64 x 2)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000)) (neg.f64 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (*.f64 -1/46656000 (pow.f64 x 2))))))
(/.f64 (neg.f64 (-.f64 1/2176782336000000 (pow.f64 x 4))) (neg.f64 (-.f64 1/46656000 (pow.f64 x 2))))
(/.f64 (-.f64 (pow.f64 x 4) 1/2176782336000000) (-.f64 (pow.f64 x 2) 1/46656000))
(pow.f64 (fma.f64 x x 1/46656000) 1)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 3)
(pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) 2)
(sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))
(log.f64 (exp.f64 (fma.f64 x x 1/46656000)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x 1/46656000))))
(cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3))
(expm1.f64 (log1p.f64 (fma.f64 x x 1/46656000)))
(exp.f64 (log.f64 (fma.f64 x x 1/46656000)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x x 1/46656000)) 1))
(log1p.f64 (expm1.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(fma.f64 1 (pow.f64 x 2) 1/46656000)
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) 1/46656000)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x x 1/144))) 1)
(-.f64 (/.f64 1/20736 (-.f64 1/144 (pow.f64 x 2))) (/.f64 (pow.f64 x 4) (-.f64 1/144 (pow.f64 x 2))))
(*.f64 (fma.f64 x x 1/144) 1)
(*.f64 1 (fma.f64 x x 1/144))
(*.f64 (cbrt.f64 (fma.f64 x x 1/144)) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (cbrt.f64 (fma.f64 x x 1/144)))
(*.f64 (sqrt.f64 (fma.f64 x x 1/144)) (sqrt.f64 (fma.f64 x x 1/144)))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 1/144)))))
(*.f64 (-.f64 1/20736 (pow.f64 x 4)) (/.f64 1 (-.f64 1/144 (pow.f64 x 2))))
(/.f64 1 (/.f64 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 1/144))) (+.f64 (pow.f64 x 6) 1/2985984)))
(/.f64 1 (/.f64 (-.f64 1/144 (pow.f64 x 2)) (-.f64 1/20736 (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 (pow.f64 x 4) (-.f64 1/20736 (*.f64 (pow.f64 x 2) 1/144))))
(/.f64 (-.f64 1/20736 (pow.f64 x 4)) (-.f64 1/144 (pow.f64 x 2)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/2985984)) (neg.f64 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (neg.f64 (-.f64 1/20736 (pow.f64 x 4))) (neg.f64 (-.f64 1/144 (pow.f64 x 2))))
(/.f64 (-.f64 (pow.f64 x 4) 1/20736) (-.f64 (pow.f64 x 2) 1/144))
(pow.f64 (fma.f64 x x 1/144) 1)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 3)
(pow.f64 (pow.f64 (fma.f64 x x 1/144) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/144)) 2)
(sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 2))
(log.f64 (exp.f64 (fma.f64 x x 1/144)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x 1/144))))
(cbrt.f64 (pow.f64 (fma.f64 x x 1/144) 3))
(expm1.f64 (log1p.f64 (fma.f64 x x 1/144)))
(exp.f64 (log.f64 (fma.f64 x x 1/144)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x x 1/144)) 1))
(log1p.f64 (expm1.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(fma.f64 1 (pow.f64 x 2) 1/144)
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) 1/144)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x x 3/2))) 1)
(-.f64 (/.f64 9/4 (-.f64 3/2 (pow.f64 x 2))) (/.f64 (pow.f64 x 4) (-.f64 3/2 (pow.f64 x 2))))
(*.f64 (fma.f64 x x 3/2) 1)
(*.f64 1 (fma.f64 x x 3/2))
(*.f64 (cbrt.f64 (fma.f64 x x 3/2)) (pow.f64 (cbrt.f64 (fma.f64 x x 3/2)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 3/2)) 2) (cbrt.f64 (fma.f64 x x 3/2)))
(*.f64 (sqrt.f64 (fma.f64 x x 3/2)) (sqrt.f64 (fma.f64 x x 3/2)))
(.f64 (+.f64 (pow.f64 x 6) 27/8) (/.f64 1 (+.f64 9/4 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 3/2)))))
(*.f64 (-.f64 9/4 (pow.f64 x 4)) (/.f64 1 (-.f64 3/2 (pow.f64 x 2))))
(/.f64 1 (/.f64 (+.f64 9/4 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 3/2))) (+.f64 (pow.f64 x 6) 27/8)))
(/.f64 1 (/.f64 (-.f64 3/2 (pow.f64 x 2)) (-.f64 9/4 (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (+.f64 9/4 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 3/2))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (+.f64 (pow.f64 x 4) (-.f64 9/4 (*.f64 (pow.f64 x 2) 3/2))))
(/.f64 (-.f64 9/4 (pow.f64 x 4)) (-.f64 3/2 (pow.f64 x 2)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 27/8)) (neg.f64 (+.f64 9/4 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 3/2)))))
(/.f64 (neg.f64 (-.f64 9/4 (pow.f64 x 4))) (neg.f64 (-.f64 3/2 (pow.f64 x 2))))
(/.f64 (-.f64 (pow.f64 x 4) 9/4) (-.f64 (pow.f64 x 2) 3/2))
(pow.f64 (fma.f64 x x 3/2) 1)
(pow.f64 (cbrt.f64 (fma.f64 x x 3/2)) 3)
(pow.f64 (pow.f64 (fma.f64 x x 3/2) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x x 3/2)) 2)
(sqrt.f64 (pow.f64 (fma.f64 x x 3/2) 2))
(log.f64 (exp.f64 (fma.f64 x x 3/2)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x 3/2))))
(cbrt.f64 (pow.f64 (fma.f64 x x 3/2) 3))
(expm1.f64 (log1p.f64 (fma.f64 x x 3/2)))
(exp.f64 (log.f64 (fma.f64 x x 3/2)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x x 3/2)) 1))
(log1p.f64 (expm1.f64 (fma.f64 x x 3/2)))
(fma.f64 x x 3/2)
(fma.f64 1 (pow.f64 x 2) 3/2)
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) 3/2)

simplify68.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1364×	`times-frac`
1126×	`cancel-sign-sub-inv`
728×	`fma-neg`
558×	`log-prod`
376×	`distribute-lft-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	327	3981
1	732	3776
2	2727	3688

Stop Event

1×	node limit

Counts

163 → 159

Calls

Call 1

Inputs
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
1/46656000
(pow.f64 x 2)
(pow.f64 x 2)
1/144
(pow.f64 x 2)
(pow.f64 x 2)
3/2
(pow.f64 x 2)
(pow.f64 x 2)
(+.f64 (fma.f64 x x 2) -2)
(+.f64 (pow.f64 x 2) 0)
(+.f64 -2 (fma.f64 x x 2))
(*.f64 (+.f64 (pow.f64 x 2) 0) 1)
(*.f64 1 (+.f64 (pow.f64 x 2) 0))
(*.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) (pow.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) 2) (cbrt.f64 (+.f64 (pow.f64 x 2) 0)))
(*.f64 (sqrt.f64 (+.f64 (pow.f64 x 2) 0)) (sqrt.f64 (+.f64 (pow.f64 x 2) 0)))
(.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (/.f64 1 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (.f64 2 (fma.f64 x x 2))))))
(*.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (/.f64 1 (+.f64 (pow.f64 x 2) 4)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (*.f64 2 (fma.f64 x x 2)))) (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 2) 4) (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (*.f64 2 (fma.f64 x x 2)))))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 (pow.f64 (fma.f64 x x 2) 2) (-.f64 4 (*.f64 (fma.f64 x x 2) -2))))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (+.f64 (pow.f64 x 2) 4))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (-.f64 (fma.f64 x x 2) -2))
(/.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8)) (neg.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (*.f64 2 (fma.f64 x x 2))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4)) (neg.f64 (+.f64 (pow.f64 x 2) 4)))
(pow.f64 (+.f64 (pow.f64 x 2) 0) 1)
(pow.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) 3)
(pow.f64 (pow.f64 (+.f64 (pow.f64 x 2) 0) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (pow.f64 x 2) 0)) 2)
(sqrt.f64 (pow.f64 (+.f64 (pow.f64 x 2) 0) 2))
(log.f64 (exp.f64 (+.f64 (pow.f64 x 2) 0)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (pow.f64 x 2) 0))))
(cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 2) 0) 3))
(expm1.f64 (log1p.f64 (+.f64 (pow.f64 x 2) 0)))
(exp.f64 (log.f64 (+.f64 (pow.f64 x 2) 0)))
(exp.f64 (*.f64 (log.f64 (+.f64 (pow.f64 x 2) 0)) 1))
(log1p.f64 (expm1.f64 (+.f64 (pow.f64 x 2) 0)))
(fma.f64 1 (fma.f64 x x 2) -2)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 2)) 2) (cbrt.f64 (fma.f64 x x 2)) -2)
(fma.f64 (sqrt.f64 (fma.f64 x x 2)) (sqrt.f64 (fma.f64 x x 2)) -2)
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/360 (pow.f64 x 6)))) 1)
(pow.f64 (*.f64 1/360 (pow.f64 x 6)) 1)
(pow.f64 (*.f64 (pow.f64 x 2) (cbrt.f64 1/360)) 3)
(pow.f64 (pow.f64 (*.f64 1/360 (pow.f64 x 6)) 3) 1/3)
(pow.f64 (*.f64 (pow.f64 x 3) (sqrt.f64 1/360)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 12) 1/129600))
(log.f64 (pow.f64 (exp.f64 1/360) (pow.f64 x 6)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/360 (pow.f64 x 6)))))
(cbrt.f64 (pow.f64 (*.f64 1/360 (pow.f64 x 6)) 3))
(expm1.f64 (log1p.f64 (*.f64 1/360 (pow.f64 x 6))))
(exp.f64 (log.f64 (*.f64 1/360 (pow.f64 x 6))))
(exp.f64 (.f64 (log.f64 (.f64 1/360 (pow.f64 x 6))) 1))
(log1p.f64 (expm1.f64 (*.f64 1/360 (pow.f64 x 6))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x x 1/46656000))) 1)
(-.f64 (/.f64 1/2176782336000000 (-.f64 1/46656000 (pow.f64 x 2))) (/.f64 (pow.f64 x 4) (-.f64 1/46656000 (pow.f64 x 2))))
(*.f64 (fma.f64 x x 1/46656000) 1)
(*.f64 1 (fma.f64 x x 1/46656000))
(*.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 2) (cbrt.f64 (fma.f64 x x 1/46656000)))
(*.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (sqrt.f64 (fma.f64 x x 1/46656000)))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (.f64 -1/46656000 (pow.f64 x 2))))))
(*.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (/.f64 1 (-.f64 1/46656000 (pow.f64 x 2))))
(/.f64 1 (/.f64 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (*.f64 -1/46656000 (pow.f64 x 2)))) (+.f64 (pow.f64 x 6) 1/101559956668416000000000)))
(/.f64 1 (/.f64 (-.f64 1/46656000 (pow.f64 x 2)) (-.f64 1/2176782336000000 (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (*.f64 -1/46656000 (pow.f64 x 2)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 1/46656000 (pow.f64 x 2)))))
(/.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (-.f64 1/46656000 (pow.f64 x 2)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000)) (neg.f64 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (*.f64 -1/46656000 (pow.f64 x 2))))))
(/.f64 (neg.f64 (-.f64 1/2176782336000000 (pow.f64 x 4))) (neg.f64 (-.f64 1/46656000 (pow.f64 x 2))))
(/.f64 (-.f64 (pow.f64 x 4) 1/2176782336000000) (-.f64 (pow.f64 x 2) 1/46656000))
(pow.f64 (fma.f64 x x 1/46656000) 1)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 3)
(pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) 2)
(sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))
(log.f64 (exp.f64 (fma.f64 x x 1/46656000)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x 1/46656000))))
(cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3))
(expm1.f64 (log1p.f64 (fma.f64 x x 1/46656000)))
(exp.f64 (log.f64 (fma.f64 x x 1/46656000)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x x 1/46656000)) 1))
(log1p.f64 (expm1.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(fma.f64 1 (pow.f64 x 2) 1/46656000)
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) 1/46656000)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x x 1/144))) 1)
(-.f64 (/.f64 1/20736 (-.f64 1/144 (pow.f64 x 2))) (/.f64 (pow.f64 x 4) (-.f64 1/144 (pow.f64 x 2))))
(*.f64 (fma.f64 x x 1/144) 1)
(*.f64 1 (fma.f64 x x 1/144))
(*.f64 (cbrt.f64 (fma.f64 x x 1/144)) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (cbrt.f64 (fma.f64 x x 1/144)))
(*.f64 (sqrt.f64 (fma.f64 x x 1/144)) (sqrt.f64 (fma.f64 x x 1/144)))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 1/144)))))
(*.f64 (-.f64 1/20736 (pow.f64 x 4)) (/.f64 1 (-.f64 1/144 (pow.f64 x 2))))
(/.f64 1 (/.f64 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 1/144))) (+.f64 (pow.f64 x 6) 1/2985984)))
(/.f64 1 (/.f64 (-.f64 1/144 (pow.f64 x 2)) (-.f64 1/20736 (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 (pow.f64 x 4) (-.f64 1/20736 (*.f64 (pow.f64 x 2) 1/144))))
(/.f64 (-.f64 1/20736 (pow.f64 x 4)) (-.f64 1/144 (pow.f64 x 2)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/2985984)) (neg.f64 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (neg.f64 (-.f64 1/20736 (pow.f64 x 4))) (neg.f64 (-.f64 1/144 (pow.f64 x 2))))
(/.f64 (-.f64 (pow.f64 x 4) 1/20736) (-.f64 (pow.f64 x 2) 1/144))
(pow.f64 (fma.f64 x x 1/144) 1)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 3)
(pow.f64 (pow.f64 (fma.f64 x x 1/144) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/144)) 2)
(sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 2))
(log.f64 (exp.f64 (fma.f64 x x 1/144)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x 1/144))))
(cbrt.f64 (pow.f64 (fma.f64 x x 1/144) 3))
(expm1.f64 (log1p.f64 (fma.f64 x x 1/144)))
(exp.f64 (log.f64 (fma.f64 x x 1/144)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x x 1/144)) 1))
(log1p.f64 (expm1.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(fma.f64 1 (pow.f64 x 2) 1/144)
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) 1/144)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x x 3/2))) 1)
(-.f64 (/.f64 9/4 (-.f64 3/2 (pow.f64 x 2))) (/.f64 (pow.f64 x 4) (-.f64 3/2 (pow.f64 x 2))))
(*.f64 (fma.f64 x x 3/2) 1)
(*.f64 1 (fma.f64 x x 3/2))
(*.f64 (cbrt.f64 (fma.f64 x x 3/2)) (pow.f64 (cbrt.f64 (fma.f64 x x 3/2)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 3/2)) 2) (cbrt.f64 (fma.f64 x x 3/2)))
(*.f64 (sqrt.f64 (fma.f64 x x 3/2)) (sqrt.f64 (fma.f64 x x 3/2)))
(.f64 (+.f64 (pow.f64 x 6) 27/8) (/.f64 1 (+.f64 9/4 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 3/2)))))
(*.f64 (-.f64 9/4 (pow.f64 x 4)) (/.f64 1 (-.f64 3/2 (pow.f64 x 2))))
(/.f64 1 (/.f64 (+.f64 9/4 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 3/2))) (+.f64 (pow.f64 x 6) 27/8)))
(/.f64 1 (/.f64 (-.f64 3/2 (pow.f64 x 2)) (-.f64 9/4 (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (+.f64 9/4 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 3/2))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (+.f64 (pow.f64 x 4) (-.f64 9/4 (*.f64 (pow.f64 x 2) 3/2))))
(/.f64 (-.f64 9/4 (pow.f64 x 4)) (-.f64 3/2 (pow.f64 x 2)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 27/8)) (neg.f64 (+.f64 9/4 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 3/2)))))
(/.f64 (neg.f64 (-.f64 9/4 (pow.f64 x 4))) (neg.f64 (-.f64 3/2 (pow.f64 x 2))))
(/.f64 (-.f64 (pow.f64 x 4) 9/4) (-.f64 (pow.f64 x 2) 3/2))
(pow.f64 (fma.f64 x x 3/2) 1)
(pow.f64 (cbrt.f64 (fma.f64 x x 3/2)) 3)
(pow.f64 (pow.f64 (fma.f64 x x 3/2) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x x 3/2)) 2)
(sqrt.f64 (pow.f64 (fma.f64 x x 3/2) 2))
(log.f64 (exp.f64 (fma.f64 x x 3/2)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x 3/2))))
(cbrt.f64 (pow.f64 (fma.f64 x x 3/2) 3))
(expm1.f64 (log1p.f64 (fma.f64 x x 3/2)))
(exp.f64 (log.f64 (fma.f64 x x 3/2)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x x 3/2)) 1))
(log1p.f64 (expm1.f64 (fma.f64 x x 3/2)))
(fma.f64 x x 3/2)
(fma.f64 1 (pow.f64 x 2) 3/2)
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) 3/2)

Outputs
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
(pow.f64 x 2)
1/46656000
(pow.f64 x 2)
(pow.f64 x 2)
1/144
(pow.f64 x 2)
(pow.f64 x 2)
3/2
(pow.f64 x 2)
(pow.f64 x 2)
(+.f64 (fma.f64 x x 2) -2)
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) 0)
(pow.f64 x 2)
(+.f64 -2 (fma.f64 x x 2))
(pow.f64 x 2)
(*.f64 (+.f64 (pow.f64 x 2) 0) 1)
(pow.f64 x 2)
(*.f64 1 (+.f64 (pow.f64 x 2) 0))
(pow.f64 x 2)
(*.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) (pow.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) 2))
(pow.f64 x 2)
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) 2) (cbrt.f64 (+.f64 (pow.f64 x 2) 0)))
(pow.f64 x 2)
(*.f64 (sqrt.f64 (+.f64 (pow.f64 x 2) 0)) (sqrt.f64 (+.f64 (pow.f64 x 2) 0)))
(pow.f64 x 2)
(.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (/.f64 1 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (.f64 2 (fma.f64 x x 2))))))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 (pow.f64 (fma.f64 x x 2) 2) (fma.f64 2 (fma.f64 x x 2) 4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 4 (*.f64 (fma.f64 x x 2) (fma.f64 x x 4))))
(*.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (/.f64 1 (+.f64 (pow.f64 x 2) 4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (fma.f64 x x 4))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (*.f64 2 (fma.f64 x x 2)))) (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8)))
(.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (/.f64 1 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (.f64 2 (fma.f64 x x 2))))))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 (pow.f64 (fma.f64 x x 2) 2) (fma.f64 2 (fma.f64 x x 2) 4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 4 (*.f64 (fma.f64 x x 2) (fma.f64 x x 4))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 2) 4) (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4)))
(*.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (/.f64 1 (+.f64 (pow.f64 x 2) 4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (fma.f64 x x 4))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (*.f64 2 (fma.f64 x x 2)))))
(.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (/.f64 1 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (.f64 2 (fma.f64 x x 2))))))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 (pow.f64 (fma.f64 x x 2) 2) (fma.f64 2 (fma.f64 x x 2) 4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 4 (*.f64 (fma.f64 x x 2) (fma.f64 x x 4))))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 (pow.f64 (fma.f64 x x 2) 2) (-.f64 4 (*.f64 (fma.f64 x x 2) -2))))
(.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (/.f64 1 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (.f64 2 (fma.f64 x x 2))))))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 (pow.f64 (fma.f64 x x 2) 2) (fma.f64 2 (fma.f64 x x 2) 4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 4 (*.f64 (fma.f64 x x 2) (fma.f64 x x 4))))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (+.f64 (pow.f64 x 2) 4))
(*.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (/.f64 1 (+.f64 (pow.f64 x 2) 4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (fma.f64 x x 4))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (-.f64 (fma.f64 x x 2) -2))
(*.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (/.f64 1 (+.f64 (pow.f64 x 2) 4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (fma.f64 x x 4))
(/.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8)) (neg.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (*.f64 2 (fma.f64 x x 2))))))
(.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (/.f64 1 (+.f64 (pow.f64 (fma.f64 x x 2) 2) (+.f64 4 (.f64 2 (fma.f64 x x 2))))))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 (pow.f64 (fma.f64 x x 2) 2) (fma.f64 2 (fma.f64 x x 2) 4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 3) -8) (+.f64 4 (*.f64 (fma.f64 x x 2) (fma.f64 x x 4))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4)) (neg.f64 (+.f64 (pow.f64 x 2) 4)))
(*.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (/.f64 1 (+.f64 (pow.f64 x 2) 4)))
(/.f64 (+.f64 (pow.f64 (fma.f64 x x 2) 2) -4) (fma.f64 x x 4))
(pow.f64 (+.f64 (pow.f64 x 2) 0) 1)
(pow.f64 x 2)
(pow.f64 (cbrt.f64 (+.f64 (pow.f64 x 2) 0)) 3)
(pow.f64 x 2)
(pow.f64 (pow.f64 (+.f64 (pow.f64 x 2) 0) 3) 1/3)
(pow.f64 x 2)
(pow.f64 (sqrt.f64 (+.f64 (pow.f64 x 2) 0)) 2)
(pow.f64 x 2)
(sqrt.f64 (pow.f64 (+.f64 (pow.f64 x 2) 0) 2))
(pow.f64 x 2)
(log.f64 (exp.f64 (+.f64 (pow.f64 x 2) 0)))
(pow.f64 x 2)
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (pow.f64 x 2) 0))))
(pow.f64 x 2)
(cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 2) 0) 3))
(pow.f64 x 2)
(expm1.f64 (log1p.f64 (+.f64 (pow.f64 x 2) 0)))
(pow.f64 x 2)
(exp.f64 (log.f64 (+.f64 (pow.f64 x 2) 0)))
(pow.f64 x 2)
(exp.f64 (*.f64 (log.f64 (+.f64 (pow.f64 x 2) 0)) 1))
(pow.f64 x 2)
(log1p.f64 (expm1.f64 (+.f64 (pow.f64 x 2) 0)))
(pow.f64 x 2)
(fma.f64 1 (fma.f64 x x 2) -2)
(pow.f64 x 2)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 2)) 2) (cbrt.f64 (fma.f64 x x 2)) -2)
(pow.f64 x 2)
(fma.f64 (sqrt.f64 (fma.f64 x x 2)) (sqrt.f64 (fma.f64 x x 2)) -2)
(pow.f64 x 2)
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/360 (pow.f64 x 6)))) 1)
(*.f64 1/360 (pow.f64 x 6))
(pow.f64 (*.f64 1/360 (pow.f64 x 6)) 1)
(*.f64 1/360 (pow.f64 x 6))
(pow.f64 (*.f64 (pow.f64 x 2) (cbrt.f64 1/360)) 3)
(*.f64 1/360 (pow.f64 x 6))
(pow.f64 (pow.f64 (*.f64 1/360 (pow.f64 x 6)) 3) 1/3)
(*.f64 1/360 (pow.f64 x 6))
(pow.f64 (*.f64 (pow.f64 x 3) (sqrt.f64 1/360)) 2)
(*.f64 1/360 (pow.f64 x 6))
(sqrt.f64 (*.f64 (pow.f64 x 12) 1/129600))
(log.f64 (pow.f64 (exp.f64 1/360) (pow.f64 x 6)))
(*.f64 1/360 (pow.f64 x 6))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/360 (pow.f64 x 6)))))
(*.f64 1/360 (pow.f64 x 6))
(cbrt.f64 (pow.f64 (*.f64 1/360 (pow.f64 x 6)) 3))
(*.f64 1/360 (pow.f64 x 6))
(expm1.f64 (log1p.f64 (*.f64 1/360 (pow.f64 x 6))))
(*.f64 1/360 (pow.f64 x 6))
(exp.f64 (log.f64 (*.f64 1/360 (pow.f64 x 6))))
(*.f64 1/360 (pow.f64 x 6))
(exp.f64 (.f64 (log.f64 (.f64 1/360 (pow.f64 x 6))) 1))
(*.f64 1/360 (pow.f64 x 6))
(log1p.f64 (expm1.f64 (*.f64 1/360 (pow.f64 x 6))))
(*.f64 1/360 (pow.f64 x 6))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x x 1/46656000))) 1)
(fma.f64 x x 1/46656000)
(-.f64 (/.f64 1/2176782336000000 (-.f64 1/46656000 (pow.f64 x 2))) (/.f64 (pow.f64 x 4) (-.f64 1/46656000 (pow.f64 x 2))))
(/.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (-.f64 1/46656000 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(*.f64 (fma.f64 x x 1/46656000) 1)
(fma.f64 x x 1/46656000)
(*.f64 1 (fma.f64 x x 1/46656000))
(fma.f64 x x 1/46656000)
(*.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 2))
(fma.f64 x x 1/46656000)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 2) (cbrt.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(*.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (sqrt.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (.f64 -1/46656000 (pow.f64 x 2))))))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) -1/46656000)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (fma.f64 (pow.f64 x 2) -1/46656000 (pow.f64 x 4))))
(*.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (/.f64 1 (-.f64 1/46656000 (pow.f64 x 2))))
(/.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (-.f64 1/46656000 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(/.f64 1 (/.f64 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (*.f64 -1/46656000 (pow.f64 x 2)))) (+.f64 (pow.f64 x 6) 1/101559956668416000000000)))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) -1/46656000)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (fma.f64 (pow.f64 x 2) -1/46656000 (pow.f64 x 4))))
(/.f64 1 (/.f64 (-.f64 1/46656000 (pow.f64 x 2)) (-.f64 1/2176782336000000 (pow.f64 x 4))))
(/.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (-.f64 1/46656000 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (*.f64 -1/46656000 (pow.f64 x 2)))))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) -1/46656000)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (fma.f64 (pow.f64 x 2) -1/46656000 (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 1/46656000 (pow.f64 x 2)))))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) -1/46656000)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (fma.f64 (pow.f64 x 2) -1/46656000 (pow.f64 x 4))))
(/.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (-.f64 1/46656000 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000)) (neg.f64 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (*.f64 -1/46656000 (pow.f64 x 2))))))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 1/2176782336000000 (+.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) -1/46656000)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (fma.f64 (pow.f64 x 2) -1/46656000 (pow.f64 x 4))))
(/.f64 (neg.f64 (-.f64 1/2176782336000000 (pow.f64 x 4))) (neg.f64 (-.f64 1/46656000 (pow.f64 x 2))))
(/.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (-.f64 1/46656000 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(/.f64 (-.f64 (pow.f64 x 4) 1/2176782336000000) (-.f64 (pow.f64 x 2) 1/46656000))
(/.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (-.f64 1/46656000 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(pow.f64 (fma.f64 x x 1/46656000) 1)
(fma.f64 x x 1/46656000)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 3)
(fma.f64 x x 1/46656000)
(pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 3) 1/3)
(fma.f64 x x 1/46656000)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) 2)
(fma.f64 x x 1/46656000)
(sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))
(fma.f64 x x 1/46656000)
(log.f64 (exp.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x 1/46656000))))
(fma.f64 x x 1/46656000)
(cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3))
(fma.f64 x x 1/46656000)
(expm1.f64 (log1p.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(exp.f64 (log.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(exp.f64 (*.f64 (log.f64 (fma.f64 x x 1/46656000)) 1))
(fma.f64 x x 1/46656000)
(log1p.f64 (expm1.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(fma.f64 x x 1/46656000)
(fma.f64 1 (pow.f64 x 2) 1/46656000)
(fma.f64 x x 1/46656000)
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) 1/46656000)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x x 1/144))) 1)
(fma.f64 x x 1/144)
(-.f64 (/.f64 1/20736 (-.f64 1/144 (pow.f64 x 2))) (/.f64 (pow.f64 x 4) (-.f64 1/144 (pow.f64 x 2))))
(/.f64 (-.f64 1/20736 (pow.f64 x 4)) (-.f64 1/144 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(*.f64 (fma.f64 x x 1/144) 1)
(fma.f64 x x 1/144)
(*.f64 1 (fma.f64 x x 1/144))
(fma.f64 x x 1/144)
(*.f64 (cbrt.f64 (fma.f64 x x 1/144)) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2))
(fma.f64 x x 1/144)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (cbrt.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(*.f64 (sqrt.f64 (fma.f64 x x 1/144)) (sqrt.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (-.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 2) 1/144 -1/20736)))
(*.f64 (-.f64 1/20736 (pow.f64 x 4)) (/.f64 1 (-.f64 1/144 (pow.f64 x 2))))
(/.f64 (-.f64 1/20736 (pow.f64 x 4)) (-.f64 1/144 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(/.f64 1 (/.f64 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 1/144))) (+.f64 (pow.f64 x 6) 1/2985984)))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (-.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 2) 1/144 -1/20736)))
(/.f64 1 (/.f64 (-.f64 1/144 (pow.f64 x 2)) (-.f64 1/20736 (pow.f64 x 4))))
(/.f64 (-.f64 1/20736 (pow.f64 x 4)) (-.f64 1/144 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 1/144))))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (-.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 2) 1/144 -1/20736)))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 (pow.f64 x 4) (-.f64 1/20736 (*.f64 (pow.f64 x 2) 1/144))))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (-.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 2) 1/144 -1/20736)))
(/.f64 (-.f64 1/20736 (pow.f64 x 4)) (-.f64 1/144 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/2985984)) (neg.f64 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 1/144)))))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 1/20736 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (-.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 2) 1/144 -1/20736)))
(/.f64 (neg.f64 (-.f64 1/20736 (pow.f64 x 4))) (neg.f64 (-.f64 1/144 (pow.f64 x 2))))
(/.f64 (-.f64 1/20736 (pow.f64 x 4)) (-.f64 1/144 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(/.f64 (-.f64 (pow.f64 x 4) 1/20736) (-.f64 (pow.f64 x 2) 1/144))
(/.f64 (-.f64 1/20736 (pow.f64 x 4)) (-.f64 1/144 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(pow.f64 (fma.f64 x x 1/144) 1)
(fma.f64 x x 1/144)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 3)
(fma.f64 x x 1/144)
(pow.f64 (pow.f64 (fma.f64 x x 1/144) 3) 1/3)
(fma.f64 x x 1/144)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/144)) 2)
(fma.f64 x x 1/144)
(sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 2))
(fma.f64 x x 1/144)
(log.f64 (exp.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x 1/144))))
(fma.f64 x x 1/144)
(cbrt.f64 (pow.f64 (fma.f64 x x 1/144) 3))
(fma.f64 x x 1/144)
(expm1.f64 (log1p.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(exp.f64 (log.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(exp.f64 (*.f64 (log.f64 (fma.f64 x x 1/144)) 1))
(fma.f64 x x 1/144)
(log1p.f64 (expm1.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(fma.f64 x x 1/144)
(fma.f64 1 (pow.f64 x 2) 1/144)
(fma.f64 x x 1/144)
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) 1/144)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x x 3/2))) 1)
(fma.f64 x x 3/2)
(-.f64 (/.f64 9/4 (-.f64 3/2 (pow.f64 x 2))) (/.f64 (pow.f64 x 4) (-.f64 3/2 (pow.f64 x 2))))
(/.f64 (-.f64 9/4 (pow.f64 x 4)) (-.f64 3/2 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -9/4) (fma.f64 x x -3/2))
(*.f64 (fma.f64 x x 3/2) 1)
(fma.f64 x x 3/2)
(*.f64 1 (fma.f64 x x 3/2))
(fma.f64 x x 3/2)
(*.f64 (cbrt.f64 (fma.f64 x x 3/2)) (pow.f64 (cbrt.f64 (fma.f64 x x 3/2)) 2))
(fma.f64 x x 3/2)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 3/2)) 2) (cbrt.f64 (fma.f64 x x 3/2)))
(fma.f64 x x 3/2)
(*.f64 (sqrt.f64 (fma.f64 x x 3/2)) (sqrt.f64 (fma.f64 x x 3/2)))
(fma.f64 x x 3/2)
(.f64 (+.f64 (pow.f64 x 6) 27/8) (/.f64 1 (+.f64 9/4 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 3/2)))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (+.f64 9/4 (*.f64 (pow.f64 x 2) (fma.f64 x x -3/2))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (-.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 2) 3/2 -9/4)))
(*.f64 (-.f64 9/4 (pow.f64 x 4)) (/.f64 1 (-.f64 3/2 (pow.f64 x 2))))
(/.f64 (-.f64 9/4 (pow.f64 x 4)) (-.f64 3/2 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -9/4) (fma.f64 x x -3/2))
(/.f64 1 (/.f64 (+.f64 9/4 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 3/2))) (+.f64 (pow.f64 x 6) 27/8)))
(.f64 (+.f64 (pow.f64 x 6) 27/8) (/.f64 1 (+.f64 9/4 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 3/2)))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (+.f64 9/4 (*.f64 (pow.f64 x 2) (fma.f64 x x -3/2))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (-.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 2) 3/2 -9/4)))
(/.f64 1 (/.f64 (-.f64 3/2 (pow.f64 x 2)) (-.f64 9/4 (pow.f64 x 4))))
(/.f64 (-.f64 9/4 (pow.f64 x 4)) (-.f64 3/2 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -9/4) (fma.f64 x x -3/2))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (+.f64 9/4 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 3/2))))
(.f64 (+.f64 (pow.f64 x 6) 27/8) (/.f64 1 (+.f64 9/4 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 3/2)))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (+.f64 9/4 (*.f64 (pow.f64 x 2) (fma.f64 x x -3/2))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (-.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 2) 3/2 -9/4)))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (+.f64 (pow.f64 x 4) (-.f64 9/4 (*.f64 (pow.f64 x 2) 3/2))))
(.f64 (+.f64 (pow.f64 x 6) 27/8) (/.f64 1 (+.f64 9/4 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 3/2)))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (+.f64 9/4 (*.f64 (pow.f64 x 2) (fma.f64 x x -3/2))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (-.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 2) 3/2 -9/4)))
(/.f64 (-.f64 9/4 (pow.f64 x 4)) (-.f64 3/2 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -9/4) (fma.f64 x x -3/2))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 27/8)) (neg.f64 (+.f64 9/4 (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 2) 3/2)))))
(.f64 (+.f64 (pow.f64 x 6) 27/8) (/.f64 1 (+.f64 9/4 (-.f64 (pow.f64 x 4) (.f64 (pow.f64 x 2) 3/2)))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (+.f64 9/4 (*.f64 (pow.f64 x 2) (fma.f64 x x -3/2))))
(/.f64 (+.f64 (pow.f64 x 6) 27/8) (-.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 2) 3/2 -9/4)))
(/.f64 (neg.f64 (-.f64 9/4 (pow.f64 x 4))) (neg.f64 (-.f64 3/2 (pow.f64 x 2))))
(/.f64 (-.f64 9/4 (pow.f64 x 4)) (-.f64 3/2 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -9/4) (fma.f64 x x -3/2))
(/.f64 (-.f64 (pow.f64 x 4) 9/4) (-.f64 (pow.f64 x 2) 3/2))
(/.f64 (-.f64 9/4 (pow.f64 x 4)) (-.f64 3/2 (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 x 4) -9/4) (fma.f64 x x -3/2))
(pow.f64 (fma.f64 x x 3/2) 1)
(fma.f64 x x 3/2)
(pow.f64 (cbrt.f64 (fma.f64 x x 3/2)) 3)
(fma.f64 x x 3/2)
(pow.f64 (pow.f64 (fma.f64 x x 3/2) 3) 1/3)
(fma.f64 x x 3/2)
(pow.f64 (sqrt.f64 (fma.f64 x x 3/2)) 2)
(fma.f64 x x 3/2)
(sqrt.f64 (pow.f64 (fma.f64 x x 3/2) 2))
(fma.f64 x x 3/2)
(log.f64 (exp.f64 (fma.f64 x x 3/2)))
(fma.f64 x x 3/2)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x 3/2))))
(fma.f64 x x 3/2)
(cbrt.f64 (pow.f64 (fma.f64 x x 3/2) 3))
(fma.f64 x x 3/2)
(expm1.f64 (log1p.f64 (fma.f64 x x 3/2)))
(fma.f64 x x 3/2)
(exp.f64 (log.f64 (fma.f64 x x 3/2)))
(fma.f64 x x 3/2)
(exp.f64 (*.f64 (log.f64 (fma.f64 x x 3/2)) 1))
(fma.f64 x x 3/2)
(log1p.f64 (expm1.f64 (fma.f64 x x 3/2)))
(fma.f64 x x 3/2)
(fma.f64 x x 3/2)
(fma.f64 1 (pow.f64 x 2) 3/2)
(fma.f64 x x 3/2)
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) 3/2)

eval42.0ms (0.7%)

Compiler: Compiled 1686 to 1318 computations (21.8% saved)

prune31.0ms (0.5%)

Pruning

18 alts after pruning (10 fresh and 8 done)

	Pruned	Kept	Total
New	154	5	159
Fresh	1	5	6
Picked	3	2	5
Done	0	6	6
Total	158	18	176

Accuracy

100.0%

Counts

176 → 18

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	4.4%	(fma.f64 x x 3/2)
▶	4.5%	(fma.f64 x x 1/144)
▶	4.9%	(fma.f64 x x 1/46656000)
✓	97.4%	(pow.f64 x 2)
✓	51.6%	(-.f64 (fma.f64 x x 2) 2)
✓	53.9%	(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	53.9%	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓	98.0%	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
✓	98.5%	(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
✓	98.7%	(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
✓	50.9%	(*.f64 1/360 (pow.f64 x 6))
	4.2%	512
	4.3%	5
	4.3%	2
	4.3%	1/3
	4.3%	1/144
	4.3%	1/46656000
	50.4%	0
▶	4.4%	(fma.f64 x x 3/2)
▶	4.5%	(fma.f64 x x 1/144)
▶	4.9%	(fma.f64 x x 1/46656000)
✓	97.4%	(pow.f64 x 2)
✓	51.6%	(-.f64 (fma.f64 x x 2) 2)
✓	53.9%	(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	53.9%	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓	98.0%	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
✓	98.5%	(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
✓	98.7%	(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
✓	50.9%	(*.f64 1/360 (pow.f64 x 6))
	4.2%	512
	4.3%	5
	4.3%	2
	4.3%	1/3
	4.3%	1/144
	4.3%	1/46656000
	50.4%	0

Compiler

Compiled 224 to 178 computations (20.5% saved)

localize28.0ms (0.5%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(fma.f64 x x 1/144)
✓	100.0%	(fma.f64 x x 1/46656000)

Compiler

Compiled 20 to 11 computations (45% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(fma.f64 x x 1/46656000)
0.0ms	x	@	0	(fma.f64 x x 1/46656000)
0.0ms	x	@	0	(fma.f64 x x 1/144)
0.0ms	x	@	-inf	(fma.f64 x x 1/46656000)
0.0ms	x	@	inf	(fma.f64 x x 1/144)

rewrite55.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

706×	`associate-r`
620×	`associate-l`
318×	`unpow-prod-down`
268×	`log-prod`
267×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	30
1	68	30
2	720	30

Stop Event

1×	node limit

Counts

2 → 128

Calls

Call 1

Inputs
(fma.f64 x x 1/46656000)
(fma.f64 x x 1/144)

Outputs
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 (pow.f64 x 2) 1/46656000)
(+.f64 (pow.f64 x 2) (log.f64 (exp.f64 1/46656000)))
(+.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) -1)
(+.f64 0 (fma.f64 x x 1/46656000))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/46656000))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/46656000)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/46656000)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/46656000)))))
(-.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1)
(-.f64 (/.f64 (pow.f64 x 4) (fma.f64 x x -1/46656000)) (/.f64 1/2176782336000000 (fma.f64 x x -1/46656000)))
(*.f64 (fma.f64 x x 1/46656000) 1)
(*.f64 (fma.f64 x x 1/46656000) (log.f64 (E.f64)))
(*.f64 1 (fma.f64 x x 1/46656000))
(*.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))
(.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) 1))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) (cbrt.f64 (fma.f64 x x 1/46656000)))
(*.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (sqrt.f64 (fma.f64 x x 1/46656000)))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))) (cbrt.f64 (fma.f64 x x 1/46656000))))
(.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))))
(*.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3/2)))
(.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (sqrt.f64 (fma.f64 x x 1/46656000))))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (.f64 (pow.f64 x 2) 1/46656000)))))
(*.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (/.f64 1 (fma.f64 x x -1/46656000)))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (fma.f64 x x 1/46656000))) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(*.f64 (pow.f64 1 1/3) (fma.f64 x x 1/46656000))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 5/2) 1/3) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 5/2)) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (pow.f64 (fma.f64 x x 1/46656000) 1/4)) (pow.f64 (fma.f64 x x 1/46656000) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3/2)) (pow.f64 (fma.f64 x x 1/46656000) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 5)) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(.f64 (.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)))) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))))
(.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) 1) (cbrt.f64 (fma.f64 x x 1/46656000)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))))
(.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) (pow.f64 (fma.f64 x x 1/46656000) 1/6)) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) 1/46656000))) (+.f64 (pow.f64 x 6) 1/101559956668416000000000)))
(/.f64 1 (/.f64 (fma.f64 x x -1/46656000) (+.f64 (pow.f64 x 4) -1/2176782336000000)))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) 1/46656000))))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000)) (neg.f64 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) 1/46656000)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000)) (neg.f64 (fma.f64 x x -1/46656000)))
(/.f64 (+.f64 1/101559956668416000000000 (pow.f64 x 6)) (+.f64 1/2176782336000000 (-.f64 (pow.f64 x 4) (*.f64 1/46656000 (pow.f64 x 2)))))
(/.f64 (-.f64 (pow.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 3) 1) (+.f64 (.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) (+.f64 46656001/46656000 (pow.f64 x 2))) (+.f64 1 (.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1))))
(/.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (-.f64 1/46656000 (pow.f64 x 2)))
(/.f64 (-.f64 (*.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) (+.f64 46656001/46656000 (pow.f64 x 2))) 1) (+.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1))
(pow.f64 (fma.f64 x x 1/46656000) 1)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 3)
(pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) 2)
(pow.f64 (E.f64) (log.f64 (fma.f64 x x 1/46656000)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 x x 1/46656000))) 2)) (cbrt.f64 (log.f64 (fma.f64 x x 1/46656000))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 x x 1/46656000)))) (sqrt.f64 (log.f64 (fma.f64 x x 1/46656000))))
(sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))
(fabs.f64 (fma.f64 x x 1/46656000))
(log.f64 (exp.f64 (fma.f64 x x 1/46656000)))
(cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3))
(expm1.f64 (log1p.f64 (fma.f64 x x 1/46656000)))
(exp.f64 (log.f64 (fma.f64 x x 1/46656000)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x x 1/46656000))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 x x 1/46656000))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x x 1/46656000))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x x 1/46656000)))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 (pow.f64 x 2) 1/144)
(+.f64 (pow.f64 x 2) (log.f64 (exp.f64 1/144)))
(+.f64 (+.f64 145/144 (pow.f64 x 2)) -1)
(+.f64 0 (fma.f64 x x 1/144))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/144))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/144)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/144)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/144)))))
(-.f64 (+.f64 145/144 (pow.f64 x 2)) 1)
(-.f64 (/.f64 (pow.f64 x 4) (fma.f64 x x -1/144)) (/.f64 1/20736 (fma.f64 x x -1/144)))
(*.f64 (fma.f64 x x 1/144) 1)
(*.f64 (fma.f64 x x 1/144) (log.f64 (E.f64)))
(*.f64 1 (fma.f64 x x 1/144))
(*.f64 (cbrt.f64 (fma.f64 x x 1/144)) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2))
(.f64 (cbrt.f64 (fma.f64 x x 1/144)) (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) 1))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (cbrt.f64 (fma.f64 x x 1/144)))
(*.f64 (sqrt.f64 (fma.f64 x x 1/144)) (sqrt.f64 (fma.f64 x x 1/144)))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2) (cbrt.f64 (fma.f64 x x 1/144))))
(.f64 (pow.f64 (fma.f64 x x 1/144) 1/6) (.f64 (pow.f64 (fma.f64 x x 1/144) 1/6) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2)))
(*.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 3/2)))
(.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (sqrt.f64 (fma.f64 x x 1/144))))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (.f64 (pow.f64 x 2) 1/144))))
(*.f64 (+.f64 (pow.f64 x 4) -1/20736) (/.f64 1 (fma.f64 x x -1/144)))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/144)) (cbrt.f64 (fma.f64 x x 1/144))) (pow.f64 (fma.f64 x x 1/144) 1/6))
(*.f64 (pow.f64 1 1/3) (fma.f64 x x 1/144))
(*.f64 (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x x 1/144) 5/2) 1/3) (pow.f64 (fma.f64 x x 1/144) 1/6))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/144) 5/2)) (pow.f64 (fma.f64 x x 1/144) 1/6))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/144)) (pow.f64 (fma.f64 x x 1/144) 1/4)) (pow.f64 (fma.f64 x x 1/144) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 3/2)) (pow.f64 (fma.f64 x x 1/144) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 5)) (pow.f64 (fma.f64 x x 1/144) 1/6))
(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) 1) (cbrt.f64 (fma.f64 x x 1/144)))
(.f64 (.f64 (cbrt.f64 (fma.f64 x x 1/144)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2))
(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (pow.f64 (fma.f64 x x 1/144) 1/6)) (pow.f64 (fma.f64 x x 1/144) 1/6))
(/.f64 1 (/.f64 (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (*.f64 (pow.f64 x 2) 1/144)) (+.f64 (pow.f64 x 6) 1/2985984)))
(/.f64 1 (/.f64 (fma.f64 x x -1/144) (+.f64 (pow.f64 x 4) -1/20736)))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (*.f64 (pow.f64 x 2) 1/144)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/2985984)) (neg.f64 (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (*.f64 (pow.f64 x 2) 1/144))))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 4) -1/20736)) (neg.f64 (fma.f64 x x -1/144)))
(/.f64 (+.f64 1/2985984 (pow.f64 x 6)) (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 1/144 (pow.f64 x 2)))))
(/.f64 (-.f64 (pow.f64 (+.f64 145/144 (pow.f64 x 2)) 3) 1) (+.f64 (.f64 (+.f64 145/144 (pow.f64 x 2)) (+.f64 145/144 (pow.f64 x 2))) (+.f64 1 (.f64 (+.f64 145/144 (pow.f64 x 2)) 1))))
(/.f64 (-.f64 1/20736 (pow.f64 x 4)) (-.f64 1/144 (pow.f64 x 2)))
(/.f64 (-.f64 (*.f64 (+.f64 145/144 (pow.f64 x 2)) (+.f64 145/144 (pow.f64 x 2))) 1) (+.f64 (+.f64 145/144 (pow.f64 x 2)) 1))
(pow.f64 (fma.f64 x x 1/144) 1)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 3)
(pow.f64 (pow.f64 (fma.f64 x x 1/144) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x x 1/144) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/144)) 2)
(pow.f64 (E.f64) (log.f64 (fma.f64 x x 1/144)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 x x 1/144))) 2)) (cbrt.f64 (log.f64 (fma.f64 x x 1/144))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 x x 1/144)))) (sqrt.f64 (log.f64 (fma.f64 x x 1/144))))
(sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 2))
(fabs.f64 (fma.f64 x x 1/144))
(log.f64 (exp.f64 (fma.f64 x x 1/144)))
(cbrt.f64 (pow.f64 (fma.f64 x x 1/144) 3))
(expm1.f64 (log1p.f64 (fma.f64 x x 1/144)))
(exp.f64 (log.f64 (fma.f64 x x 1/144)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x x 1/144))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 x x 1/144))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x x 1/144))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x x 1/144)))

simplify71.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1362×	`fma-def`
1020×	`distribute-lft-in`
982×	`distribute-rgt-in`
978×	`unswap-sqr`
412×	`times-frac`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	340	4842
1	758	4618
2	2263	4532

Stop Event

1×	node limit

Counts

152 → 172

Calls

Call 1

Inputs
1/46656000
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/46656000 (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/46656000 (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/46656000 (pow.f64 x 2))
1/144
(+.f64 1/144 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 1/144 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 1/144 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 (pow.f64 x 2) 1/46656000)
(+.f64 (pow.f64 x 2) (log.f64 (exp.f64 1/46656000)))
(+.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) -1)
(+.f64 0 (fma.f64 x x 1/46656000))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/46656000))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/46656000)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/46656000)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/46656000)))))
(-.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1)
(-.f64 (/.f64 (pow.f64 x 4) (fma.f64 x x -1/46656000)) (/.f64 1/2176782336000000 (fma.f64 x x -1/46656000)))
(*.f64 (fma.f64 x x 1/46656000) 1)
(*.f64 (fma.f64 x x 1/46656000) (log.f64 (E.f64)))
(*.f64 1 (fma.f64 x x 1/46656000))
(*.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))
(.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) 1))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) (cbrt.f64 (fma.f64 x x 1/46656000)))
(*.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (sqrt.f64 (fma.f64 x x 1/46656000)))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))) (cbrt.f64 (fma.f64 x x 1/46656000))))
(.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))))
(*.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3/2)))
(.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (sqrt.f64 (fma.f64 x x 1/46656000))))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (.f64 (pow.f64 x 2) 1/46656000)))))
(*.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (/.f64 1 (fma.f64 x x -1/46656000)))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (fma.f64 x x 1/46656000))) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(*.f64 (pow.f64 1 1/3) (fma.f64 x x 1/46656000))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 5/2) 1/3) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 5/2)) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (pow.f64 (fma.f64 x x 1/46656000) 1/4)) (pow.f64 (fma.f64 x x 1/46656000) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3/2)) (pow.f64 (fma.f64 x x 1/46656000) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 5)) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(.f64 (.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)))) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))))
(.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) 1) (cbrt.f64 (fma.f64 x x 1/46656000)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))))
(.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) (pow.f64 (fma.f64 x x 1/46656000) 1/6)) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) 1/46656000))) (+.f64 (pow.f64 x 6) 1/101559956668416000000000)))
(/.f64 1 (/.f64 (fma.f64 x x -1/46656000) (+.f64 (pow.f64 x 4) -1/2176782336000000)))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) 1/46656000))))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000)) (neg.f64 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) 1/46656000)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000)) (neg.f64 (fma.f64 x x -1/46656000)))
(/.f64 (+.f64 1/101559956668416000000000 (pow.f64 x 6)) (+.f64 1/2176782336000000 (-.f64 (pow.f64 x 4) (*.f64 1/46656000 (pow.f64 x 2)))))
(/.f64 (-.f64 (pow.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 3) 1) (+.f64 (.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) (+.f64 46656001/46656000 (pow.f64 x 2))) (+.f64 1 (.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1))))
(/.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (-.f64 1/46656000 (pow.f64 x 2)))
(/.f64 (-.f64 (*.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) (+.f64 46656001/46656000 (pow.f64 x 2))) 1) (+.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1))
(pow.f64 (fma.f64 x x 1/46656000) 1)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 3)
(pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) 2)
(pow.f64 (E.f64) (log.f64 (fma.f64 x x 1/46656000)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 x x 1/46656000))) 2)) (cbrt.f64 (log.f64 (fma.f64 x x 1/46656000))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 x x 1/46656000)))) (sqrt.f64 (log.f64 (fma.f64 x x 1/46656000))))
(sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))
(fabs.f64 (fma.f64 x x 1/46656000))
(log.f64 (exp.f64 (fma.f64 x x 1/46656000)))
(cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3))
(expm1.f64 (log1p.f64 (fma.f64 x x 1/46656000)))
(exp.f64 (log.f64 (fma.f64 x x 1/46656000)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x x 1/46656000))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 x x 1/46656000))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x x 1/46656000))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x x 1/46656000)))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 (pow.f64 x 2) 1/144)
(+.f64 (pow.f64 x 2) (log.f64 (exp.f64 1/144)))
(+.f64 (+.f64 145/144 (pow.f64 x 2)) -1)
(+.f64 0 (fma.f64 x x 1/144))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/144))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/144)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/144)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/144)))))
(-.f64 (+.f64 145/144 (pow.f64 x 2)) 1)
(-.f64 (/.f64 (pow.f64 x 4) (fma.f64 x x -1/144)) (/.f64 1/20736 (fma.f64 x x -1/144)))
(*.f64 (fma.f64 x x 1/144) 1)
(*.f64 (fma.f64 x x 1/144) (log.f64 (E.f64)))
(*.f64 1 (fma.f64 x x 1/144))
(*.f64 (cbrt.f64 (fma.f64 x x 1/144)) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2))
(.f64 (cbrt.f64 (fma.f64 x x 1/144)) (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) 1))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (cbrt.f64 (fma.f64 x x 1/144)))
(*.f64 (sqrt.f64 (fma.f64 x x 1/144)) (sqrt.f64 (fma.f64 x x 1/144)))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2) (cbrt.f64 (fma.f64 x x 1/144))))
(.f64 (pow.f64 (fma.f64 x x 1/144) 1/6) (.f64 (pow.f64 (fma.f64 x x 1/144) 1/6) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2)))
(*.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 3/2)))
(.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (sqrt.f64 (fma.f64 x x 1/144))))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (.f64 (pow.f64 x 2) 1/144))))
(*.f64 (+.f64 (pow.f64 x 4) -1/20736) (/.f64 1 (fma.f64 x x -1/144)))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/144)) (cbrt.f64 (fma.f64 x x 1/144))) (pow.f64 (fma.f64 x x 1/144) 1/6))
(*.f64 (pow.f64 1 1/3) (fma.f64 x x 1/144))
(*.f64 (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x x 1/144) 5/2) 1/3) (pow.f64 (fma.f64 x x 1/144) 1/6))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/144) 5/2)) (pow.f64 (fma.f64 x x 1/144) 1/6))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/144)) (pow.f64 (fma.f64 x x 1/144) 1/4)) (pow.f64 (fma.f64 x x 1/144) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 3/2)) (pow.f64 (fma.f64 x x 1/144) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 5)) (pow.f64 (fma.f64 x x 1/144) 1/6))
(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) 1) (cbrt.f64 (fma.f64 x x 1/144)))
(.f64 (.f64 (cbrt.f64 (fma.f64 x x 1/144)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2))
(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (pow.f64 (fma.f64 x x 1/144) 1/6)) (pow.f64 (fma.f64 x x 1/144) 1/6))
(/.f64 1 (/.f64 (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (*.f64 (pow.f64 x 2) 1/144)) (+.f64 (pow.f64 x 6) 1/2985984)))
(/.f64 1 (/.f64 (fma.f64 x x -1/144) (+.f64 (pow.f64 x 4) -1/20736)))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (*.f64 (pow.f64 x 2) 1/144)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/2985984)) (neg.f64 (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (*.f64 (pow.f64 x 2) 1/144))))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 4) -1/20736)) (neg.f64 (fma.f64 x x -1/144)))
(/.f64 (+.f64 1/2985984 (pow.f64 x 6)) (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 1/144 (pow.f64 x 2)))))
(/.f64 (-.f64 (pow.f64 (+.f64 145/144 (pow.f64 x 2)) 3) 1) (+.f64 (.f64 (+.f64 145/144 (pow.f64 x 2)) (+.f64 145/144 (pow.f64 x 2))) (+.f64 1 (.f64 (+.f64 145/144 (pow.f64 x 2)) 1))))
(/.f64 (-.f64 1/20736 (pow.f64 x 4)) (-.f64 1/144 (pow.f64 x 2)))
(/.f64 (-.f64 (*.f64 (+.f64 145/144 (pow.f64 x 2)) (+.f64 145/144 (pow.f64 x 2))) 1) (+.f64 (+.f64 145/144 (pow.f64 x 2)) 1))
(pow.f64 (fma.f64 x x 1/144) 1)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 3)
(pow.f64 (pow.f64 (fma.f64 x x 1/144) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x x 1/144) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/144)) 2)
(pow.f64 (E.f64) (log.f64 (fma.f64 x x 1/144)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 x x 1/144))) 2)) (cbrt.f64 (log.f64 (fma.f64 x x 1/144))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 x x 1/144)))) (sqrt.f64 (log.f64 (fma.f64 x x 1/144))))
(sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 2))
(fabs.f64 (fma.f64 x x 1/144))
(log.f64 (exp.f64 (fma.f64 x x 1/144)))
(cbrt.f64 (pow.f64 (fma.f64 x x 1/144) 3))
(expm1.f64 (log1p.f64 (fma.f64 x x 1/144)))
(exp.f64 (log.f64 (fma.f64 x x 1/144)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x x 1/144))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 x x 1/144))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x x 1/144))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x x 1/144)))

Outputs
1/46656000
(+.f64 1/46656000 (pow.f64 x 2))
(fma.f64 x x 1/46656000)
(+.f64 1/46656000 (pow.f64 x 2))
(fma.f64 x x 1/46656000)
(+.f64 1/46656000 (pow.f64 x 2))
(fma.f64 x x 1/46656000)
(pow.f64 x 2)
(+.f64 1/46656000 (pow.f64 x 2))
(fma.f64 x x 1/46656000)
(+.f64 1/46656000 (pow.f64 x 2))
(fma.f64 x x 1/46656000)
(+.f64 1/46656000 (pow.f64 x 2))
(fma.f64 x x 1/46656000)
(pow.f64 x 2)
(+.f64 1/46656000 (pow.f64 x 2))
(fma.f64 x x 1/46656000)
(+.f64 1/46656000 (pow.f64 x 2))
(fma.f64 x x 1/46656000)
(+.f64 1/46656000 (pow.f64 x 2))
(fma.f64 x x 1/46656000)
1/144
(+.f64 1/144 (pow.f64 x 2))
(fma.f64 x x 1/144)
(+.f64 1/144 (pow.f64 x 2))
(fma.f64 x x 1/144)
(+.f64 1/144 (pow.f64 x 2))
(fma.f64 x x 1/144)
(pow.f64 x 2)
(+.f64 1/144 (pow.f64 x 2))
(fma.f64 x x 1/144)
(+.f64 1/144 (pow.f64 x 2))
(fma.f64 x x 1/144)
(+.f64 1/144 (pow.f64 x 2))
(fma.f64 x x 1/144)
(pow.f64 x 2)
(+.f64 1/144 (pow.f64 x 2))
(fma.f64 x x 1/144)
(+.f64 1/144 (pow.f64 x 2))
(fma.f64 x x 1/144)
(+.f64 1/144 (pow.f64 x 2))
(fma.f64 x x 1/144)
(+.f64 1/46656000 (pow.f64 x 2))
(fma.f64 x x 1/46656000)
(+.f64 (pow.f64 x 2) 1/46656000)
(fma.f64 x x 1/46656000)
(+.f64 (pow.f64 x 2) (log.f64 (exp.f64 1/46656000)))
(fma.f64 x x 1/46656000)
(+.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) -1)
(fma.f64 x x 1/46656000)
(+.f64 0 (fma.f64 x x 1/46656000))
(fma.f64 x x 1/46656000)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/46656000))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/46656000)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/46656000)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/46656000)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/46656000)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/46656000)))))
(-.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1)
(fma.f64 x x 1/46656000)
(-.f64 (/.f64 (pow.f64 x 4) (fma.f64 x x -1/46656000)) (/.f64 1/2176782336000000 (fma.f64 x x -1/46656000)))
(+.f64 (/.f64 (pow.f64 x 4) (fma.f64 x x -1/46656000)) (/.f64 -1/2176782336000000 (fma.f64 x x -1/46656000)))
(*.f64 (fma.f64 x x 1/46656000) 1)
(fma.f64 x x 1/46656000)
(*.f64 (fma.f64 x x 1/46656000) (log.f64 (E.f64)))
(fma.f64 x x 1/46656000)
(*.f64 1 (fma.f64 x x 1/46656000))
(fma.f64 x x 1/46656000)
(*.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))
(.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) 1))
(*.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) (cbrt.f64 (fma.f64 x x 1/46656000)))
(*.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))
(*.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (sqrt.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))) (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000)))))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))) (cbrt.f64 (fma.f64 x x 1/46656000))))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4))) (.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))))
(.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)))))
(.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))))
(*.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))
(*.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3/2)))
(*.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (pow.f64 (fma.f64 x x 1/46656000) 3/4))
(.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (sqrt.f64 (fma.f64 x x 1/46656000))))
(fma.f64 x x 1/46656000)
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (.f64 (pow.f64 x 2) 1/46656000)))))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (.f64 1/46656000 (pow.f64 x 2))))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/46656000))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (fma.f64 (pow.f64 x 2) (fma.f64 x x -1/46656000) 1/2176782336000000))
(*.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (/.f64 1 (fma.f64 x x -1/46656000)))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (fma.f64 x x 1/46656000))) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (sqrt.f64 (fma.f64 x x 1/46656000))))
(.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (pow.f64 (fma.f64 x x 1/46656000) 1/6)))
(*.f64 (pow.f64 1 1/3) (fma.f64 x x 1/46656000))
(fma.f64 x x 1/46656000)
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)) 2)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 5/2) 1/3) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(*.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 5/2)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)) 2)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 5/2)) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(*.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 5/2)))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) (pow.f64 (fma.f64 x x 1/46656000) 1/4)) (pow.f64 (fma.f64 x x 1/46656000) 1/4))
(fma.f64 x x 1/46656000)
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3/2)) (pow.f64 (fma.f64 x x 1/46656000) 1/4))
(*.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3/2)))
(*.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/4) (pow.f64 (fma.f64 x x 1/46656000) 3/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 5)) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(*.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 5)))
(*.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (fabs.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 5/2)))
(*.f64 (pow.f64 (fma.f64 x x 1/46656000) 1/6) (pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 5/2))
(.f64 (.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)))) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4))) (.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))))
(.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 4)))))
(.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) 1) (cbrt.f64 (fma.f64 x x 1/46656000)))
(*.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000))))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))) (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/46656000)))))
(.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)) (pow.f64 (fma.f64 x x 1/46656000) 1/6)) (pow.f64 (fma.f64 x x 1/46656000) 1/6))
(*.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) (cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) 1/46656000))) (+.f64 (pow.f64 x 6) 1/101559956668416000000000)))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (.f64 1/46656000 (pow.f64 x 2))))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/46656000))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (fma.f64 (pow.f64 x 2) (fma.f64 x x -1/46656000) 1/2176782336000000))
(/.f64 1 (/.f64 (fma.f64 x x -1/46656000) (+.f64 (pow.f64 x 4) -1/2176782336000000)))
(*.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (/.f64 1 (fma.f64 x x -1/46656000)))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) 1/46656000))))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (.f64 1/46656000 (pow.f64 x 2))))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/46656000))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (fma.f64 (pow.f64 x 2) (fma.f64 x x -1/46656000) 1/2176782336000000))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(*.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (/.f64 1 (fma.f64 x x -1/46656000)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000)) (neg.f64 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) 1/46656000)))))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (.f64 1/46656000 (pow.f64 x 2))))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/46656000))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (fma.f64 (pow.f64 x 2) (fma.f64 x x -1/46656000) 1/2176782336000000))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000)) (neg.f64 (fma.f64 x x -1/46656000)))
(*.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (/.f64 1 (fma.f64 x x -1/46656000)))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(/.f64 (+.f64 1/101559956668416000000000 (pow.f64 x 6)) (+.f64 1/2176782336000000 (-.f64 (pow.f64 x 4) (*.f64 1/46656000 (pow.f64 x 2)))))
(.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/2176782336000000 (.f64 1/46656000 (pow.f64 x 2))))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (+.f64 1/2176782336000000 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/46656000))))
(/.f64 (+.f64 (pow.f64 x 6) 1/101559956668416000000000) (fma.f64 (pow.f64 x 2) (fma.f64 x x -1/46656000) 1/2176782336000000))
(/.f64 (-.f64 (pow.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 3) 1) (+.f64 (.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) (+.f64 46656001/46656000 (pow.f64 x 2))) (+.f64 1 (.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1))))
(/.f64 (+.f64 (pow.f64 (+.f64 (pow.f64 x 2) 46656001/46656000) 3) -1) (fma.f64 (+.f64 (pow.f64 x 2) 46656001/46656000) (+.f64 (pow.f64 x 2) 46656001/46656000) (+.f64 46656001/46656000 (+.f64 (pow.f64 x 2) 1))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 x x 46656001/46656000) 3)) (fma.f64 (fma.f64 x x 46656001/46656000) (fma.f64 x x 46656001/46656000) (+.f64 (pow.f64 x 2) 93312001/46656000)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 x x 46656001/46656000) 3)) (+.f64 1 (*.f64 (fma.f64 x x 46656001/46656000) (fma.f64 x x 93312001/46656000))))
(/.f64 (-.f64 1/2176782336000000 (pow.f64 x 4)) (-.f64 1/46656000 (pow.f64 x 2)))
(*.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (/.f64 1 (fma.f64 x x -1/46656000)))
(/.f64 (+.f64 (pow.f64 x 4) -1/2176782336000000) (fma.f64 x x -1/46656000))
(/.f64 (-.f64 (*.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) (+.f64 46656001/46656000 (pow.f64 x 2))) 1) (+.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1))
(fma.f64 x x 1/46656000)
(pow.f64 (fma.f64 x x 1/46656000) 1)
(fma.f64 x x 1/46656000)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/46656000)) 3)
(fma.f64 x x 1/46656000)
(pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 2) 1/2)
(fma.f64 x x 1/46656000)
(pow.f64 (pow.f64 (fma.f64 x x 1/46656000) 3) 1/3)
(fma.f64 x x 1/46656000)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/46656000)) 2)
(fma.f64 x x 1/46656000)
(pow.f64 (E.f64) (log.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 x x 1/46656000))) 2)) (cbrt.f64 (log.f64 (fma.f64 x x 1/46656000))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 x x 1/46656000)))) (sqrt.f64 (log.f64 (fma.f64 x x 1/46656000))))
(sqrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 2))
(fma.f64 x x 1/46656000)
(fabs.f64 (fma.f64 x x 1/46656000))
(fma.f64 x x 1/46656000)
(log.f64 (exp.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(cbrt.f64 (pow.f64 (fma.f64 x x 1/46656000) 3))
(fma.f64 x x 1/46656000)
(expm1.f64 (log1p.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(exp.f64 (log.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x x 1/46656000))) 3))
(fma.f64 x x 1/46656000)
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 x x 1/46656000))) 1/3))
(fma.f64 x x 1/46656000)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x x 1/46656000))) 2))
(fma.f64 x x 1/46656000)
(log1p.f64 (expm1.f64 (fma.f64 x x 1/46656000)))
(fma.f64 x x 1/46656000)
(+.f64 1/144 (pow.f64 x 2))
(fma.f64 x x 1/144)
(+.f64 (pow.f64 x 2) 1/144)
(fma.f64 x x 1/144)
(+.f64 (pow.f64 x 2) (log.f64 (exp.f64 1/144)))
(fma.f64 x x 1/144)
(+.f64 (+.f64 145/144 (pow.f64 x 2)) -1)
(fma.f64 x x 1/144)
(+.f64 0 (fma.f64 x x 1/144))
(fma.f64 x x 1/144)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/144))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/144)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x x 1/144)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/144)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/144)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x 1/144)))))
(-.f64 (+.f64 145/144 (pow.f64 x 2)) 1)
(fma.f64 x x 1/144)
(-.f64 (/.f64 (pow.f64 x 4) (fma.f64 x x -1/144)) (/.f64 1/20736 (fma.f64 x x -1/144)))
(+.f64 (/.f64 (pow.f64 x 4) (fma.f64 x x -1/144)) (/.f64 -1/20736 (fma.f64 x x -1/144)))
(*.f64 (fma.f64 x x 1/144) 1)
(fma.f64 x x 1/144)
(*.f64 (fma.f64 x x 1/144) (log.f64 (E.f64)))
(fma.f64 x x 1/144)
(*.f64 1 (fma.f64 x x 1/144))
(fma.f64 x x 1/144)
(*.f64 (cbrt.f64 (fma.f64 x x 1/144)) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2))
(fma.f64 x x 1/144)
(.f64 (cbrt.f64 (fma.f64 x x 1/144)) (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) 1))
(fma.f64 x x 1/144)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (cbrt.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(*.f64 (sqrt.f64 (fma.f64 x x 1/144)) (sqrt.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2)))
(fma.f64 x x 1/144)
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2) (cbrt.f64 (fma.f64 x x 1/144))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4)) (.f64 (cbrt.f64 (fma.f64 x x 1/144)) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2)))
(.f64 (pow.f64 (fma.f64 x x 1/144) 1/6) (.f64 (pow.f64 (fma.f64 x x 1/144) 1/6) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2)))
(fma.f64 x x 1/144)
(*.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 3/2)))
(*.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (pow.f64 (fma.f64 x x 1/144) 3/4))
(.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (sqrt.f64 (fma.f64 x x 1/144))))
(fma.f64 x x 1/144)
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (.f64 (pow.f64 x 2) 1/144))))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/20736 (.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (fma.f64 (pow.f64 x 2) (fma.f64 x x -1/144) 1/20736))
(*.f64 (+.f64 (pow.f64 x 4) -1/20736) (/.f64 1 (fma.f64 x x -1/144)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/144)) (cbrt.f64 (fma.f64 x x 1/144))) (pow.f64 (fma.f64 x x 1/144) 1/6))
(.f64 (sqrt.f64 (fma.f64 x x 1/144)) (.f64 (cbrt.f64 (fma.f64 x x 1/144)) (pow.f64 (fma.f64 x x 1/144) 1/6)))
(.f64 (cbrt.f64 (fma.f64 x x 1/144)) (.f64 (sqrt.f64 (fma.f64 x x 1/144)) (pow.f64 (fma.f64 x x 1/144) 1/6)))
(*.f64 (pow.f64 1 1/3) (fma.f64 x x 1/144))
(fma.f64 x x 1/144)
(*.f64 (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 8)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x x 1/144) 5/2) 1/3) (pow.f64 (fma.f64 x x 1/144) 1/6))
(*.f64 (pow.f64 (fma.f64 x x 1/144) 1/6) (cbrt.f64 (pow.f64 (fma.f64 x x 1/144) 5/2)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 8)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x x 1/144) 5/2)) (pow.f64 (fma.f64 x x 1/144) 1/6))
(*.f64 (pow.f64 (fma.f64 x x 1/144) 1/6) (cbrt.f64 (pow.f64 (fma.f64 x x 1/144) 5/2)))
(.f64 (.f64 (sqrt.f64 (fma.f64 x x 1/144)) (pow.f64 (fma.f64 x x 1/144) 1/4)) (pow.f64 (fma.f64 x x 1/144) 1/4))
(fma.f64 x x 1/144)
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 3/2)) (pow.f64 (fma.f64 x x 1/144) 1/4))
(*.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 3/2)))
(*.f64 (pow.f64 (fma.f64 x x 1/144) 1/4) (pow.f64 (fma.f64 x x 1/144) 3/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 5)) (pow.f64 (fma.f64 x x 1/144) 1/6))
(*.f64 (pow.f64 (fma.f64 x x 1/144) 1/6) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 5)))
(*.f64 (pow.f64 (fma.f64 x x 1/144) 1/6) (fabs.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 5/2)))
(*.f64 (pow.f64 (fma.f64 x x 1/144) 1/6) (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 5/2))
(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) 1) (cbrt.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(.f64 (.f64 (cbrt.f64 (fma.f64 x x 1/144)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 4)) (.f64 (cbrt.f64 (fma.f64 x x 1/144)) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2)))
(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x x 1/144))))
(fma.f64 x x 1/144)
(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 2) (pow.f64 (fma.f64 x x 1/144) 1/6)) (pow.f64 (fma.f64 x x 1/144) 1/6))
(fma.f64 x x 1/144)
(/.f64 1 (/.f64 (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (*.f64 (pow.f64 x 2) 1/144)) (+.f64 (pow.f64 x 6) 1/2985984)))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/20736 (.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (fma.f64 (pow.f64 x 2) (fma.f64 x x -1/144) 1/20736))
(/.f64 1 (/.f64 (fma.f64 x x -1/144) (+.f64 (pow.f64 x 4) -1/20736)))
(*.f64 (+.f64 (pow.f64 x 4) -1/20736) (/.f64 1 (fma.f64 x x -1/144)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (*.f64 (pow.f64 x 2) 1/144)))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/20736 (.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (fma.f64 (pow.f64 x 2) (fma.f64 x x -1/144) 1/20736))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(*.f64 (+.f64 (pow.f64 x 4) -1/20736) (/.f64 1 (fma.f64 x x -1/144)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) 1/2985984)) (neg.f64 (-.f64 (+.f64 (pow.f64 x 4) 1/20736) (*.f64 (pow.f64 x 2) 1/144))))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/20736 (.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (fma.f64 (pow.f64 x 2) (fma.f64 x x -1/144) 1/20736))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 4) -1/20736)) (neg.f64 (fma.f64 x x -1/144)))
(*.f64 (+.f64 (pow.f64 x 4) -1/20736) (/.f64 1 (fma.f64 x x -1/144)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(/.f64 (+.f64 1/2985984 (pow.f64 x 6)) (+.f64 1/20736 (-.f64 (pow.f64 x 4) (*.f64 1/144 (pow.f64 x 2)))))
(.f64 (+.f64 (pow.f64 x 6) 1/2985984) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 1/20736 (.f64 (pow.f64 x 2) 1/144)))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (+.f64 1/20736 (*.f64 (pow.f64 x 2) (fma.f64 x x -1/144))))
(/.f64 (+.f64 (pow.f64 x 6) 1/2985984) (fma.f64 (pow.f64 x 2) (fma.f64 x x -1/144) 1/20736))
(/.f64 (-.f64 (pow.f64 (+.f64 145/144 (pow.f64 x 2)) 3) 1) (+.f64 (.f64 (+.f64 145/144 (pow.f64 x 2)) (+.f64 145/144 (pow.f64 x 2))) (+.f64 1 (.f64 (+.f64 145/144 (pow.f64 x 2)) 1))))
(/.f64 (+.f64 (pow.f64 (+.f64 (pow.f64 x 2) 145/144) 3) -1) (fma.f64 (+.f64 (pow.f64 x 2) 145/144) (+.f64 (pow.f64 x 2) 145/144) (+.f64 1 (+.f64 (pow.f64 x 2) 145/144))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 x x 145/144) 3)) (fma.f64 (fma.f64 x x 145/144) (fma.f64 x x 145/144) (+.f64 (pow.f64 x 2) 289/144)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 x x 145/144) 3)) (+.f64 1 (*.f64 (fma.f64 x x 145/144) (fma.f64 x x 289/144))))
(/.f64 (-.f64 1/20736 (pow.f64 x 4)) (-.f64 1/144 (pow.f64 x 2)))
(*.f64 (+.f64 (pow.f64 x 4) -1/20736) (/.f64 1 (fma.f64 x x -1/144)))
(/.f64 (+.f64 (pow.f64 x 4) -1/20736) (fma.f64 x x -1/144))
(/.f64 (-.f64 (*.f64 (+.f64 145/144 (pow.f64 x 2)) (+.f64 145/144 (pow.f64 x 2))) 1) (+.f64 (+.f64 145/144 (pow.f64 x 2)) 1))
(fma.f64 x x 1/144)
(pow.f64 (fma.f64 x x 1/144) 1)
(fma.f64 x x 1/144)
(pow.f64 (cbrt.f64 (fma.f64 x x 1/144)) 3)
(fma.f64 x x 1/144)
(pow.f64 (pow.f64 (fma.f64 x x 1/144) 2) 1/2)
(fma.f64 x x 1/144)
(pow.f64 (pow.f64 (fma.f64 x x 1/144) 3) 1/3)
(fma.f64 x x 1/144)
(pow.f64 (sqrt.f64 (fma.f64 x x 1/144)) 2)
(fma.f64 x x 1/144)
(pow.f64 (E.f64) (log.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 x x 1/144))) 2)) (cbrt.f64 (log.f64 (fma.f64 x x 1/144))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 x x 1/144)))) (sqrt.f64 (log.f64 (fma.f64 x x 1/144))))
(sqrt.f64 (pow.f64 (fma.f64 x x 1/144) 2))
(fma.f64 x x 1/144)
(fabs.f64 (fma.f64 x x 1/144))
(fma.f64 x x 1/144)
(log.f64 (exp.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(cbrt.f64 (pow.f64 (fma.f64 x x 1/144) 3))
(fma.f64 x x 1/144)
(expm1.f64 (log1p.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(exp.f64 (log.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x x 1/144))) 3))
(fma.f64 x x 1/144)
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 x x 1/144))) 1/3))
(fma.f64 x x 1/144)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x x 1/144))) 2))
(fma.f64 x x 1/144)
(log1p.f64 (expm1.f64 (fma.f64 x x 1/144)))
(fma.f64 x x 1/144)

eval59.0ms (1%)

Compiler: Compiled 2315 to 1720 computations (25.7% saved)

prune29.0ms (0.5%)

Pruning

20 alts after pruning (9 fresh and 11 done)

	Pruned	Kept	Total
New	170	2	172
Fresh	0	7	7
Picked	0	3	3
Done	0	8	8
Total	170	20	190

Accuracy

100.0%

Counts

190 → 20

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	4.4%	(fma.f64 x x 3/2)
✓	4.5%	(fma.f64 x x 1/144)
✓	4.9%	(fma.f64 x x 1/46656000)
✓	97.4%	(pow.f64 x 2)
✓	51.6%	(-.f64 (fma.f64 x x 2) 2)
✓	53.9%	(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
	4.5%	(-.f64 (+.f64 145/144 (pow.f64 x 2)) 1)
	4.9%	(-.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1)
✓	53.9%	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓	98.0%	(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
✓	98.5%	(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
✓	98.7%	(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
✓	50.9%	(*.f64 1/360 (pow.f64 x 6))
	4.2%	512
	4.3%	5
	4.3%	2
	4.3%	1/3
	4.3%	1/144
	4.3%	1/46656000
	50.4%	0

Compiler

Compiled 253 to 197 computations (22.1% saved)

regimes20.0ms (0.3%)

Counts

24 → 1

Calls

Call 1

Inputs
0
1/46656000
1/144
1/9
1/3
2
5
512
(pow.f64 x 2)
(fma.f64 x x 1/46656000)
(fma.f64 x x 1/144)
(fma.f64 x x 3/2)
(*.f64 1/360 (pow.f64 x 6))
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 3/2 (pow.f64 x 2))
(-.f64 (fma.f64 x x 2) 2)
(-.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1)
(-.f64 (+.f64 145/144 (pow.f64 x 2)) 1)
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))

Outputs
(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))

Calls

2 calls:

12.0ms	x
3.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Results

Accuracy	Segments	Branch
98.7%	1	`x`
98.7%	1	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 136 to 102 computations (25% saved)

regimes19.0ms (0.3%)

Counts

23 → 1

Calls

Call 1

Inputs
0
1/46656000
1/144
1/9
1/3
2
5
512
(pow.f64 x 2)
(fma.f64 x x 1/46656000)
(fma.f64 x x 1/144)
(fma.f64 x x 3/2)
(*.f64 1/360 (pow.f64 x 6))
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 3/2 (pow.f64 x 2))
(-.f64 (fma.f64 x x 2) 2)
(-.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1)
(-.f64 (+.f64 145/144 (pow.f64 x 2)) 1)
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))

Outputs
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))

Calls

2 calls:

11.0ms	x
3.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Results

Accuracy	Segments	Branch
98.5%	1	`x`
98.5%	1	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 115 to 85 computations (26.1% saved)

regimes30.0ms (0.5%)

Counts

22 → 2

Calls

Call 1

Inputs
0
1/46656000
1/144
1/9
1/3
2
5
512
(pow.f64 x 2)
(fma.f64 x x 1/46656000)
(fma.f64 x x 1/144)
(fma.f64 x x 3/2)
(*.f64 1/360 (pow.f64 x 6))
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 3/2 (pow.f64 x 2))
(-.f64 (fma.f64 x x 2) 2)
(-.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1)
(-.f64 (+.f64 145/144 (pow.f64 x 2)) 1)
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))

Outputs
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Calls

2 calls:

21.0ms	x
4.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Results

Accuracy	Segments	Branch
99.8%	2	`x`
99.8%	2	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 100 to 73 computations (27% saved)

regimes29.0ms (0.5%)

Counts

21 → 2

Calls

Call 1

Inputs
0
1/46656000
1/144
1/9
1/3
2
5
512
(pow.f64 x 2)
(fma.f64 x x 1/46656000)
(fma.f64 x x 1/144)
(fma.f64 x x 3/2)
(*.f64 1/360 (pow.f64 x 6))
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 3/2 (pow.f64 x 2))
(-.f64 (fma.f64 x x 2) 2)
(-.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1)
(-.f64 (+.f64 145/144 (pow.f64 x 2)) 1)
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

Outputs
(pow.f64 x 2)
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Calls

2 calls:

20.0ms	x
4.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Results

Accuracy	Segments	Branch
99.6%	2	`x`
99.6%	2	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 91 to 66 computations (27.5% saved)

regimes13.0ms (0.2%)

Counts

19 → 1

Calls

Call 1

Inputs
0
1/46656000
1/144
1/9
1/3
2
5
512
(pow.f64 x 2)
(fma.f64 x x 1/46656000)
(fma.f64 x x 1/144)
(fma.f64 x x 3/2)
(*.f64 1/360 (pow.f64 x 6))
(+.f64 1/46656000 (pow.f64 x 2))
(+.f64 1/144 (pow.f64 x 2))
(+.f64 3/2 (pow.f64 x 2))
(-.f64 (fma.f64 x x 2) 2)
(-.f64 (+.f64 46656001/46656000 (pow.f64 x 2)) 1)
(-.f64 (+.f64 145/144 (pow.f64 x 2)) 1)

Outputs
(pow.f64 x 2)

Calls

1 calls:

10.0ms

Results

Accuracy	Segments	Branch
97.4%	1	`x`

Compiler

Compiled 66 to 50 computations (24.2% saved)

regimes7.0ms (0.1%)

Accuracy

Total -30.1b remaining (-94.7%)

Threshold costs -30.1b (-94.7%)

Counts

8 → 1

Calls

Call 1

Inputs
0
1/46656000
1/144
1/9
1/3
2
5
512

Outputs
0

Calls

1 calls:

6.0ms

Results

Accuracy	Segments	Branch
50.4%	1	`x`

Compiler

Compiled 11 to 10 computations (9.1% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.1831709982979e-5	4.46762762997821e-5

Compiler

Compiled 13 to 10 computations (23.1% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	4.780627005374072e-10	1.1831709982979e-5

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`+-commutative`
10×	`*-commutative`
6×	`sub-neg`
4×	`neg-mul-1`
4×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	317
1	50	317
2	55	317
3	58	317
4	59	317

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(if (<=.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))) 5902958103587057/295147905179352825856) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
(if (<=.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))) 4835703278458517/9671406556917033397649408) (pow.f64 x 2) (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
(pow.f64 x 2)
0

Outputs
(+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(if (<=.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))) 5902958103587057/295147905179352825856) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
(if (<=.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))) 4835703278458517/9671406556917033397649408) (pow.f64 x 2) (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
(pow.f64 x 2)
0

Compiler

Compiled 96 to 71 computations (26% saved)

soundness58.0ms (1%)

Rules

1072×	`prod-diff`
672×	`fma-def`
646×	`log1p-expm1-u`
646×	`expm1-log1p-u`
504×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	62
1	152	62
2	2196	62

Stop Event

1×	node limit

end0.0ms (0%)

preprocess82.0ms (1.4%)

Compiler: Compiled 276 to 196 computations (29% saved)

analyze0.0ms (0%)

sample3.5s (61.9%)

preprocess199.0ms (3.5%)

eval0.0ms (0%)

prune28.0ms (0.5%)

localize118.0ms (2.1%)

series1.0ms (0%)

rewrite106.0ms (1.8%)

simplify73.0ms (1.3%)

eval10.0ms (0.2%)

prune27.0ms (0.5%)

localize546.0ms (9.5%)

series7.0ms (0.1%)

rewrite34.0ms (0.6%)

simplify74.0ms (1.3%)

eval33.0ms (0.6%)

prune27.0ms (0.5%)

localize161.0ms (2.8%)

series2.0ms (0%)

rewrite91.0ms (1.6%)

simplify68.0ms (1.2%)

eval42.0ms (0.7%)

prune31.0ms (0.5%)

localize28.0ms (0.5%)

series3.0ms (0.1%)

rewrite55.0ms (1%)

simplify71.0ms (1.2%)

eval59.0ms (1%)

prune29.0ms (0.5%)

regimes20.0ms (0.3%)

regimes19.0ms (0.3%)

regimes30.0ms (0.5%)

regimes29.0ms (0.5%)

regimes13.0ms (0.2%)

regimes7.0ms (0.1%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify7.0ms (0.1%)

soundness58.0ms (1%)

end0.0ms (0%)

preprocess82.0ms (1.4%)

Profiling