Details

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample1.0s (31.2%)

Results

651.0ms	5443×	body	256	valid
340.0ms	2813×	body	256	infinite

Bogosity

preprocess147.0ms (4.6%)

Algorithm

2×	egg-herbie

Rules

3484×	`fma-def`
1054×	`fma-neg`
746×	`distribute-lft-neg-in`
706×	`associate-r`
604×	`unsub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	19	25
2	47	21
3	122	21
4	246	21
5	331	21
6	485	21
7	806	21
8	1703	21
9	2585	21
10	3512	21
11	4698	21
12	5631	21
13	6086	21
14	6324	21
15	6634	21
16	7737	21
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify145.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

3484×	`fma-def`
1054×	`fma-neg`
746×	`distribute-lft-neg-in`
706×	`associate-r`
604×	`unsub-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	19	25
2	47	21
3	122	21
4	246	21
5	331	21
6	485	21
7	806	21
8	1703	21
9	2585	21
10	3512	21
11	4698	21
12	5631	21
13	6086	21
14	6324	21
15	6634	21
16	7737	21

Stop Event

1×	node limit

Counts

1 → 5

Calls

Call 1

Inputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))

eval1.0ms (0%)

Compiler: Compiled 44 to 28 computations (36.4% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Accurracy

100.0%

Counts

6 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
▶	99.9%	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
▶	99.9%	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
▶	99.9%	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))

Compiler

Compiled 40 to 28 computations (30% saved)

localize168.0ms (5.2%)

Local Accuracy

Found 3 expressions with local accuracy:

New	Accuracy	Program
✓	99.9%	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
✓	100.0%	(.f64 x (-.f64 3 (.f64 x 2)))
✓	99.9%	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))

Compiler

Compiled 52 to 35 computations (32.7% saved)

series2.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
0.0ms	x	@	0	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
0.0ms	x	@	0	(.f64 x (-.f64 3 (.f64 x 2)))
0.0ms	x	@	-inf	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
0.0ms	x	@	-inf	(.f64 x (-.f64 3 (.f64 x 2)))

rewrite75.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1030×	`log-prod`
852×	`prod-exp`
692×	`pow-prod-down`
464×	`pow-prod-up`
426×	`pow-exp`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	69
1	236	69
2	2715	57

Stop Event

1×	node limit

Counts

3 → 125

Calls

Call 1

Inputs
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 x (-.f64 3 (.f64 x 2)))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
(+.f64 0 (.f64 (fma.f64 x -2 3) (.f64 x x)))
(+.f64 (.f64 (.f64 x x) 3) (.f64 (.f64 x x) (*.f64 x -2)))
(+.f64 (.f64 3 (.f64 x x)) (.f64 (.f64 x -2) (*.f64 x x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))) 1)
(/.f64 (.f64 (.f64 x x) (-.f64 27 (pow.f64 (+.f64 x x) 3))) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (fma.f64 x 2 3))
(/.f64 (.f64 (-.f64 27 (pow.f64 (+.f64 x x) 3)) (.f64 x x)) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 (-.f64 9 (.f64 (.f64 x x) 4)) (.f64 x x)) (fma.f64 x 2 3))
(pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 1)
(pow.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 3)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))))
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(exp.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x)))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3)))) 2))
(exp.f64 (+.f64 (log.f64 x) (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (log.f64 (.f64 x (fma.f64 x -2 3)))))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))) 1)))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (*.f64 (log.f64 x) 2)))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (.f64 (.f64 2 (log.f64 x)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 2 (log.f64 x))))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (log.f64 x) 2)))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (*.f64 2 (log.f64 x)) 1)))
(exp.f64 (+.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) (.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (log.f64 x)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (.f64 2 (log.f64 x)) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 2) (log.f64 (fma.f64 x -2 3))))
(exp.f64 (+.f64 (.f64 (log.f64 x) 2) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (log.f64 (fma.f64 x -2 3))))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (*.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(fma.f64 3 (.f64 x x) (.f64 (.f64 x -2) (.f64 x x)))
(fma.f64 (.f64 x x) 3 (.f64 (.f64 x x) (.f64 x -2)))
(+.f64 0 (*.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 x 3) (.f64 x (*.f64 x -2)))
(+.f64 (.f64 3 x) (.f64 (*.f64 x -2) x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 x -2 3)))) 1)
(/.f64 (*.f64 x (-.f64 27 (pow.f64 (+.f64 x x) 3))) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 x (-.f64 9 (.f64 (*.f64 x x) 4))) (fma.f64 x 2 3))
(/.f64 (*.f64 (-.f64 27 (pow.f64 (+.f64 x x) 3)) x) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 (-.f64 9 (.f64 (*.f64 x x) 4)) x) (fma.f64 x 2 3))
(pow.f64 (*.f64 x (fma.f64 x -2 3)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x -2 3))) 3)
(pow.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x -2 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 2))
(log.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 x -2 3)))))
(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x -2 3))))
(exp.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))))
(exp.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (fma.f64 x -2 3)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 x (fma.f64 x -2 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (fma.f64 x -2 3)))) 2))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (fma.f64 x -2 3))))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (fma.f64 x -2 3)) 1) (log.f64 x)))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (log.f64 x) 1)))
(log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x -2 3))))
(fma.f64 x 3 (.f64 x (.f64 x -2)))
(fma.f64 3 x (.f64 (.f64 x -2) x))
(+.f64 0 (.f64 (fma.f64 x -2 3) (.f64 x x)))
(+.f64 (.f64 (.f64 x x) 3) (.f64 (.f64 x x) (*.f64 x -2)))
(+.f64 (.f64 3 (.f64 x x)) (.f64 (.f64 x -2) (*.f64 x x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))) 1)
(/.f64 (.f64 (.f64 x x) (-.f64 27 (pow.f64 (+.f64 x x) 3))) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (fma.f64 x 2 3))
(/.f64 (.f64 (-.f64 27 (pow.f64 (+.f64 x x) 3)) (.f64 x x)) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 (-.f64 9 (.f64 (.f64 x x) 4)) (.f64 x x)) (fma.f64 x 2 3))
(pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 1)
(pow.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 3)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))))
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(exp.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x)))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3)))) 2))
(exp.f64 (+.f64 (log.f64 x) (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (log.f64 (.f64 x (fma.f64 x -2 3)))))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))) 1)))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (*.f64 (log.f64 x) 2)))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (.f64 (.f64 2 (log.f64 x)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 2 (log.f64 x))))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (log.f64 x) 2)))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (*.f64 2 (log.f64 x)) 1)))
(exp.f64 (+.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) (.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (log.f64 x)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (.f64 2 (log.f64 x)) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 2) (log.f64 (fma.f64 x -2 3))))
(exp.f64 (+.f64 (.f64 (log.f64 x) 2) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (log.f64 (fma.f64 x -2 3))))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (*.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(fma.f64 3 (.f64 x x) (.f64 (.f64 x -2) (.f64 x x)))
(fma.f64 (.f64 x x) 3 (.f64 (.f64 x x) (.f64 x -2)))

simplify86.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1128×	`log-prod`
1082×	`associate-r`
954×	`associate-l`
702×	`prod-exp`
646×	`fma-def`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	211	4121
1	468	3465
2	1066	3441
3	5179	3441

Stop Event

1×	node limit

Counts

161 → 109

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 0 (.f64 (fma.f64 x -2 3) (.f64 x x)))
(+.f64 (.f64 (.f64 x x) 3) (.f64 (.f64 x x) (*.f64 x -2)))
(+.f64 (.f64 3 (.f64 x x)) (.f64 (.f64 x -2) (*.f64 x x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))) 1)
(/.f64 (.f64 (.f64 x x) (-.f64 27 (pow.f64 (+.f64 x x) 3))) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (fma.f64 x 2 3))
(/.f64 (.f64 (-.f64 27 (pow.f64 (+.f64 x x) 3)) (.f64 x x)) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 (-.f64 9 (.f64 (.f64 x x) 4)) (.f64 x x)) (fma.f64 x 2 3))
(pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 1)
(pow.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 3)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))))
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(exp.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x)))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3)))) 2))
(exp.f64 (+.f64 (log.f64 x) (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (log.f64 (.f64 x (fma.f64 x -2 3)))))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))) 1)))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (*.f64 (log.f64 x) 2)))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (.f64 (.f64 2 (log.f64 x)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 2 (log.f64 x))))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (log.f64 x) 2)))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (*.f64 2 (log.f64 x)) 1)))
(exp.f64 (+.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) (.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (log.f64 x)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (.f64 2 (log.f64 x)) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 2) (log.f64 (fma.f64 x -2 3))))
(exp.f64 (+.f64 (.f64 (log.f64 x) 2) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (log.f64 (fma.f64 x -2 3))))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (*.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(fma.f64 3 (.f64 x x) (.f64 (.f64 x -2) (.f64 x x)))
(fma.f64 (.f64 x x) 3 (.f64 (.f64 x x) (.f64 x -2)))
(+.f64 0 (*.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 x 3) (.f64 x (*.f64 x -2)))
(+.f64 (.f64 3 x) (.f64 (*.f64 x -2) x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 x -2 3)))) 1)
(/.f64 (*.f64 x (-.f64 27 (pow.f64 (+.f64 x x) 3))) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 x (-.f64 9 (.f64 (*.f64 x x) 4))) (fma.f64 x 2 3))
(/.f64 (*.f64 (-.f64 27 (pow.f64 (+.f64 x x) 3)) x) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 (-.f64 9 (.f64 (*.f64 x x) 4)) x) (fma.f64 x 2 3))
(pow.f64 (*.f64 x (fma.f64 x -2 3)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x -2 3))) 3)
(pow.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x -2 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 2))
(log.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 x -2 3)))))
(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x -2 3))))
(exp.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))))
(exp.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (fma.f64 x -2 3)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 x (fma.f64 x -2 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (fma.f64 x -2 3)))) 2))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (fma.f64 x -2 3))))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (fma.f64 x -2 3)) 1) (log.f64 x)))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (log.f64 x) 1)))
(log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x -2 3))))
(fma.f64 x 3 (.f64 x (.f64 x -2)))
(fma.f64 3 x (.f64 (.f64 x -2) x))
(+.f64 0 (.f64 (fma.f64 x -2 3) (.f64 x x)))
(+.f64 (.f64 (.f64 x x) 3) (.f64 (.f64 x x) (*.f64 x -2)))
(+.f64 (.f64 3 (.f64 x x)) (.f64 (.f64 x -2) (*.f64 x x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))) 1)
(/.f64 (.f64 (.f64 x x) (-.f64 27 (pow.f64 (+.f64 x x) 3))) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (fma.f64 x 2 3))
(/.f64 (.f64 (-.f64 27 (pow.f64 (+.f64 x x) 3)) (.f64 x x)) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (.f64 (-.f64 9 (.f64 (.f64 x x) 4)) (.f64 x x)) (fma.f64 x 2 3))
(pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 1)
(pow.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 3)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))))
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(exp.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x)))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3)))) 2))
(exp.f64 (+.f64 (log.f64 x) (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (log.f64 (.f64 x (fma.f64 x -2 3)))))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))) 1)))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (*.f64 (log.f64 x) 2)))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (.f64 (.f64 2 (log.f64 x)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 2 (log.f64 x))))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (log.f64 x) 2)))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (*.f64 2 (log.f64 x)) 1)))
(exp.f64 (+.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) (.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (log.f64 x)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (.f64 2 (log.f64 x)) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 2) (log.f64 (fma.f64 x -2 3))))
(exp.f64 (+.f64 (.f64 (log.f64 x) 2) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (log.f64 (fma.f64 x -2 3))))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (*.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(fma.f64 3 (.f64 x x) (.f64 (.f64 x -2) (.f64 x x)))
(fma.f64 (.f64 x x) 3 (.f64 (.f64 x x) (.f64 x -2)))

Outputs
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 2))
(.f64 x (.f64 x -2))
(.f64 -2 (.f64 x x))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 2))
(.f64 x (.f64 x -2))
(.f64 -2 (.f64 x x))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 0 (.f64 (fma.f64 x -2 3) (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 (.f64 x x) 3) (.f64 (.f64 x x) (*.f64 x -2)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (.f64 x x)) (.f64 (.f64 x -2) (*.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))) 1)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(/.f64 (.f64 (.f64 x x) (-.f64 27 (pow.f64 (+.f64 x x) 3))) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (*.f64 x x) (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (pow.f64 (+.f64 x x) 3))))
(/.f64 x (/.f64 (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (*.f64 8 (pow.f64 x 3)))) x))
(.f64 (.f64 x x) (/.f64 (+.f64 27 (.f64 -8 (pow.f64 x 3))) (fma.f64 2 (.f64 x (fma.f64 x 2 3)) 9)))
(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (fma.f64 x 2 3))
(/.f64 (-.f64 9 (.f64 (.f64 x x) 4)) (/.f64 (fma.f64 x 2 3) (*.f64 x x)))
(.f64 (/.f64 (.f64 x x) (fma.f64 x 2 3)) (+.f64 9 (.f64 (.f64 x x) -4)))
(.f64 (.f64 x x) (/.f64 (fma.f64 x (*.f64 x -4) 9) (fma.f64 x 2 3)))
(.f64 (fma.f64 x (.f64 x -4) 9) (/.f64 (*.f64 x x) (fma.f64 x 2 3)))
(/.f64 (.f64 (-.f64 27 (pow.f64 (+.f64 x x) 3)) (.f64 x x)) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (*.f64 x x) (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (pow.f64 (+.f64 x x) 3))))
(/.f64 x (/.f64 (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (*.f64 8 (pow.f64 x 3)))) x))
(.f64 (.f64 x x) (/.f64 (+.f64 27 (.f64 -8 (pow.f64 x 3))) (fma.f64 2 (.f64 x (fma.f64 x 2 3)) 9)))
(/.f64 (.f64 (-.f64 9 (.f64 (.f64 x x) 4)) (.f64 x x)) (fma.f64 x 2 3))
(/.f64 (-.f64 9 (.f64 (.f64 x x) 4)) (/.f64 (fma.f64 x 2 3) (*.f64 x x)))
(.f64 (/.f64 (.f64 x x) (fma.f64 x 2 3)) (+.f64 9 (.f64 (.f64 x x) -4)))
(.f64 (.f64 x x) (/.f64 (fma.f64 x (*.f64 x -4) 9) (fma.f64 x 2 3)))
(.f64 (fma.f64 x (.f64 x -4) 9) (/.f64 (*.f64 x x) (fma.f64 x 2 3)))
(pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 1)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(pow.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 3)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4) 1/2)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6) 1/3)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(sqrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x))) 1))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 1) 1))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x)))) 3))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6)) 1/3))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3)))) 2))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (log.f64 x) (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (log.f64 (.f64 x (fma.f64 x -2 3)))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (*.f64 (log.f64 x) 2)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (.f64 (.f64 2 (log.f64 x)) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 2 (log.f64 x))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (log.f64 x) 2)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (*.f64 2 (log.f64 x)) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) (.f64 (log.f64 x) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (log.f64 x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (*.f64 (log.f64 x) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 2 (log.f64 x)) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 2) (log.f64 (fma.f64 x -2 3))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 x) 2) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (log.f64 (fma.f64 x -2 3))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (*.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(fma.f64 3 (.f64 x x) (.f64 (.f64 x -2) (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(fma.f64 (.f64 x x) 3 (.f64 (.f64 x x) (.f64 x -2)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 0 (*.f64 x (fma.f64 x -2 3)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 x 3) (.f64 x (*.f64 x -2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 (*.f64 x -2) x))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 x -2 3)))) 1)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(/.f64 (*.f64 x (-.f64 27 (pow.f64 (+.f64 x x) 3))) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 x (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (pow.f64 (+.f64 x x) 3))))
(/.f64 x (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (*.f64 8 (pow.f64 x 3)))))
(.f64 x (/.f64 (+.f64 27 (.f64 -8 (pow.f64 x 3))) (fma.f64 2 (*.f64 x (fma.f64 x 2 3)) 9)))
(/.f64 (.f64 x (-.f64 9 (.f64 (*.f64 x x) 4))) (fma.f64 x 2 3))
(/.f64 x (/.f64 (fma.f64 x 2 3) (-.f64 9 (.f64 (.f64 x x) 4))))
(.f64 (/.f64 x (fma.f64 x 2 3)) (+.f64 9 (.f64 (*.f64 x x) -4)))
(.f64 x (/.f64 (fma.f64 x (.f64 x -4) 9) (fma.f64 x 2 3)))
(/.f64 (*.f64 (-.f64 27 (pow.f64 (+.f64 x x) 3)) x) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 x (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (pow.f64 (+.f64 x x) 3))))
(/.f64 x (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (*.f64 8 (pow.f64 x 3)))))
(.f64 x (/.f64 (+.f64 27 (.f64 -8 (pow.f64 x 3))) (fma.f64 2 (*.f64 x (fma.f64 x 2 3)) 9)))
(/.f64 (.f64 (-.f64 9 (.f64 (*.f64 x x) 4)) x) (fma.f64 x 2 3))
(/.f64 x (/.f64 (fma.f64 x 2 3) (-.f64 9 (.f64 (.f64 x x) 4))))
(.f64 (/.f64 x (fma.f64 x 2 3)) (+.f64 9 (.f64 (*.f64 x x) -4)))
(.f64 x (/.f64 (fma.f64 x (.f64 x -4) 9) (fma.f64 x 2 3)))
(pow.f64 (*.f64 x (fma.f64 x -2 3)) 1)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x -2 3))) 3)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(pow.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 2) 1/2)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(pow.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 3) 1/3)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x -2 3))) 2)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 2))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 x -2 3)))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x -2 3)) 3))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x -2 3))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))) 1) 1))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (fma.f64 x -2 3)))) 3))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 x (fma.f64 x -2 3)))) 1/3))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (fma.f64 x -2 3)))) 2))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (fma.f64 x -2 3))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (*.f64 (log.f64 x) 1)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (+.f64 (*.f64 (log.f64 (fma.f64 x -2 3)) 1) (log.f64 x)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (log.f64 x) 1)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x -2 3))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(fma.f64 x 3 (.f64 x (.f64 x -2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(fma.f64 3 x (.f64 (.f64 x -2) x))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 0 (.f64 (fma.f64 x -2 3) (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 (.f64 x x) 3) (.f64 (.f64 x x) (*.f64 x -2)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (.f64 x x)) (.f64 (.f64 x -2) (*.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))) 1)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(/.f64 (.f64 (.f64 x x) (-.f64 27 (pow.f64 (+.f64 x x) 3))) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (*.f64 x x) (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (pow.f64 (+.f64 x x) 3))))
(/.f64 x (/.f64 (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (*.f64 8 (pow.f64 x 3)))) x))
(.f64 (.f64 x x) (/.f64 (+.f64 27 (.f64 -8 (pow.f64 x 3))) (fma.f64 2 (.f64 x (fma.f64 x 2 3)) 9)))
(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (fma.f64 x 2 3))
(/.f64 (-.f64 9 (.f64 (.f64 x x) 4)) (/.f64 (fma.f64 x 2 3) (*.f64 x x)))
(.f64 (/.f64 (.f64 x x) (fma.f64 x 2 3)) (+.f64 9 (.f64 (.f64 x x) -4)))
(.f64 (.f64 x x) (/.f64 (fma.f64 x (*.f64 x -4) 9) (fma.f64 x 2 3)))
(.f64 (fma.f64 x (.f64 x -4) 9) (/.f64 (*.f64 x x) (fma.f64 x 2 3)))
(/.f64 (.f64 (-.f64 27 (pow.f64 (+.f64 x x) 3)) (.f64 x x)) (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9))
(/.f64 (*.f64 x x) (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (pow.f64 (+.f64 x x) 3))))
(/.f64 x (/.f64 (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (*.f64 8 (pow.f64 x 3)))) x))
(.f64 (.f64 x x) (/.f64 (+.f64 27 (.f64 -8 (pow.f64 x 3))) (fma.f64 2 (.f64 x (fma.f64 x 2 3)) 9)))
(/.f64 (.f64 (-.f64 9 (.f64 (.f64 x x) 4)) (.f64 x x)) (fma.f64 x 2 3))
(/.f64 (-.f64 9 (.f64 (.f64 x x) 4)) (/.f64 (fma.f64 x 2 3) (*.f64 x x)))
(.f64 (/.f64 (.f64 x x) (fma.f64 x 2 3)) (+.f64 9 (.f64 (.f64 x x) -4)))
(.f64 (.f64 x x) (/.f64 (fma.f64 x (*.f64 x -4) 9) (fma.f64 x 2 3)))
(.f64 (fma.f64 x (.f64 x -4) 9) (/.f64 (*.f64 x x) (fma.f64 x 2 3)))
(pow.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)) 1)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(pow.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 3)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4) 1/2)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6) 1/3)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 2)
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(sqrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 4))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 x -2 3)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x)))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x))) 1))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))) 1) 1))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 x -2 3) (*.f64 x x)))) 3))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3))) 6)) 1/3))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3)))) 2))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (log.f64 x) (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (log.f64 (.f64 x (fma.f64 x -2 3)))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 x) 1) (.f64 (log.f64 (*.f64 x (fma.f64 x -2 3))) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (*.f64 (log.f64 x) 2)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (log.f64 (fma.f64 x -2 3)) (.f64 (.f64 2 (log.f64 x)) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 2 (log.f64 x))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (log.f64 x) 2)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 (fma.f64 x -2 3)) 1) (.f64 (*.f64 2 (log.f64 x)) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) (.f64 (log.f64 x) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (log.f64 x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 x (fma.f64 x -2 3))) 1) (*.f64 (log.f64 x) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 2 (log.f64 x)) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 2) (log.f64 (fma.f64 x -2 3))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (log.f64 x) 2) (.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (log.f64 (fma.f64 x -2 3))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 x)) 1) (*.f64 (log.f64 (fma.f64 x -2 3)) 1)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 x -2 3) (.f64 x x))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(fma.f64 3 (.f64 x x) (.f64 (.f64 x -2) (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(fma.f64 (.f64 x x) 3 (.f64 (.f64 x x) (.f64 x -2)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))

eval31.0ms (1%)

Compiler: Compiled 1420 to 950 computations (33.1% saved)

prune22.0ms (0.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	103	6	109
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	103	8	111

Accurracy

100.0%

Counts

111 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
	75.6%	(/.f64 (*.f64 x x) (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (pow.f64 (+.f64 x x) 3))))
✓	99.9%	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
▶	99.9%	(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
✓	99.9%	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
▶	76.5%	(.f64 x (.f64 x (*.f64 x -2)))
▶	65.2%	(.f64 x (.f64 3 x))
▶	65.1%	(.f64 3 (.f64 x x))
▶	76.5%	(*.f64 -2 (pow.f64 x 3))
	75.6%	(/.f64 (*.f64 x x) (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (pow.f64 (+.f64 x x) 3))))
✓	99.9%	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
▶	99.9%	(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
✓	99.9%	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
▶	76.5%	(.f64 x (.f64 x (*.f64 x -2)))
▶	65.2%	(.f64 x (.f64 3 x))
▶	65.1%	(.f64 3 (.f64 x x))
▶	76.5%	(*.f64 -2 (pow.f64 x 3))

Compiler

Compiled 276 to 184 computations (33.3% saved)

localize306.0ms (9.5%)

Local Accuracy

Found 5 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(.f64 x (.f64 x (*.f64 x -2)))
✓	99.9%	(.f64 x (.f64 3 x))
✓	99.8%	(.f64 3 (.f64 x x))
✓	100.0%	(fma.f64 x 3 (.f64 x (.f64 x -2)))
✓	99.9%	(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))

Compiler

Compiled 79 to 48 computations (39.2% saved)

series4.0ms (0.1%)

Counts

5 → 60

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 3 (.f64 x x))
1.0ms	x	@	-inf	(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
0.0ms	x	@	0	(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
0.0ms	x	@	inf	(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
0.0ms	x	@	0	(.f64 x (.f64 x (*.f64 x -2)))

rewrite85.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1438×	`log-prod`
1032×	`pow-prod-down`
816×	`prod-diff`
666×	`pow-prod-up`
564×	`pow-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	93
1	306	83
2	3346	83

Stop Event

1×	node limit

Counts

5 → 148

Calls

Call 1

Inputs
(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
(fma.f64 x 3 (.f64 x (.f64 x -2)))
(.f64 3 (.f64 x x))
(.f64 x (.f64 3 x))
(.f64 x (.f64 x (*.f64 x -2)))

Outputs
(+.f64 (.f64 x (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(+.f64 0 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2))))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (*.f64 x -2)))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2)))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))) 1)
(pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 2) 1/2)
(pow.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))) 2)
(sqrt.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 2))
(log.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x 3)) (exp.f64 (*.f64 (pow.f64 x 3) -2))))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x 3)) (+.f64 1 (expm1.f64 (*.f64 (pow.f64 x 3) -2)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))) (exp.f64 (.f64 (pow.f64 x 3) -2))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))) (+.f64 1 (expm1.f64 (.f64 (pow.f64 x 3) -2)))))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 3))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))))
(exp.f64 (log.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))))
(exp.f64 (.f64 (log.f64 (.f64 x (.f64 x (+.f64 3 (.f64 x -2))))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (.f64 x (+.f64 3 (.f64 x -2)))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (.f64 x (+.f64 3 (.f64 x -2)))))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))))
(fma.f64 x (.f64 x 3) (.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x x) 3 (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x 3) x (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x (.f64 x 3)) 1 (*.f64 (pow.f64 x 3) -2))
(fma.f64 1 (.f64 x (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (cbrt.f64 (.f64 x (.f64 x 3))) (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 (pow.f64 x 3) -2))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (cbrt.f64 (.f64 x (.f64 x 3))) (.f64 (pow.f64 x 3) -2))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 (cbrt.f64 x) x) (.f64 (pow.f64 (cbrt.f64 x) 2) 3) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2) (.f64 (cbrt.f64 (.f64 x 3)) x) (.f64 (pow.f64 x 3) -2))
(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x (sqrt.f64 3)) (.f64 x (sqrt.f64 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (sqrt.f64 (.f64 x 3)) (.f64 (sqrt.f64 (.f64 x 3)) x) (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x (pow.f64 (cbrt.f64 (.f64 x 3)) 2)) (cbrt.f64 (.f64 x 3)) (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x (sqrt.f64 (.f64 x 3))) (sqrt.f64 (.f64 x 3)) (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 3 (.f64 (cbrt.f64 x) x)) (pow.f64 (cbrt.f64 x) 2) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 (.f64 x 3) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 (.f64 x 3) (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (pow.f64 x 3) -2))
(+.f64 (.f64 x (.f64 x -2)) (*.f64 x 3))
(+.f64 (.f64 x 3) (.f64 x (*.f64 x -2)))
(+.f64 0 (.f64 x (+.f64 3 (.f64 x -2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (+.f64 3 (.f64 x -2))))) 1)
(.f64 x (+.f64 3 (.f64 x -2)))
(.f64 (.f64 x (+.f64 3 (*.f64 x -2))) 1)
(.f64 1 (.f64 x (+.f64 3 (*.f64 x -2))))
(.f64 (cbrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 3 (*.f64 x -2)))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 2) (cbrt.f64 (.f64 x (+.f64 3 (*.f64 x -2)))))
(.f64 (sqrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) (sqrt.f64 (.f64 x (+.f64 3 (*.f64 x -2)))))
(/.f64 (+.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 (.f64 x (.f64 x -2)) 3)) (fma.f64 (.f64 x x) 9 (-.f64 (.f64 (pow.f64 x 4) 4) (.f64 (.f64 x 3) (.f64 x (*.f64 x -2))))))
(/.f64 (-.f64 (pow.f64 (.f64 x 3) 2) (.f64 (pow.f64 x 4) 4)) (-.f64 (.f64 x 3) (.f64 x (*.f64 x -2))))
(pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 1)
(pow.f64 (cbrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 3)
(pow.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 2) 1/2)
(pow.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 2)
(sqrt.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 2))
(log.f64 (pow.f64 (exp.f64 x) (+.f64 3 (*.f64 x -2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (+.f64 3 (.f64 x -2))))))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x -2)) (exp.f64 (*.f64 x 3))))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x -2)) (+.f64 1 (expm1.f64 (*.f64 x 3)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2)))) (exp.f64 (.f64 x 3))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2)))) (+.f64 1 (expm1.f64 (.f64 x 3)))))
(log.f64 (.f64 (exp.f64 (.f64 x 3)) (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2))))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x 3))) (pow.f64 (exp.f64 x) (*.f64 x -2))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x 3))) (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2))))))
(cbrt.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 3))
(expm1.f64 (log1p.f64 (.f64 x (+.f64 3 (.f64 x -2)))))
(exp.f64 (log.f64 (.f64 x (+.f64 3 (.f64 x -2)))))
(exp.f64 (.f64 (log.f64 (.f64 x (+.f64 3 (*.f64 x -2)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (+.f64 3 (*.f64 x -2))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (+.f64 3 (.f64 x -2))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (+.f64 3 (*.f64 x -2))))) 2))
(log1p.f64 (expm1.f64 (.f64 x (+.f64 3 (.f64 x -2)))))
(+.f64 0 (.f64 x (.f64 x 3)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 x 3)))) 1)
(pow.f64 (.f64 x (.f64 x 3)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1/2)
(pow.f64 (pow.f64 (.f64 x (.f64 x 3)) 3) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x 3)) 3))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x 3))))
(exp.f64 (log.f64 (.f64 x (.f64 x 3))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 x 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 x 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 x 3)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 x 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 3))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x 3))))
(+.f64 0 (.f64 x (.f64 x 3)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 x 3)))) 1)
(pow.f64 (.f64 x (.f64 x 3)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1/2)
(pow.f64 (pow.f64 (.f64 x (.f64 x 3)) 3) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x 3)) 3))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x 3))))
(exp.f64 (log.f64 (.f64 x (.f64 x 3))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 x 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 x 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 x 3)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 x 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 3))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x 3))))
(+.f64 0 (*.f64 (pow.f64 x 3) -2))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2))) (cbrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2))))) (log.f64 (cbrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2)))) (log.f64 (sqrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 x 3) -2))) 1)
(pow.f64 (*.f64 (pow.f64 x 3) -2) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 3) -2)) 3)
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 3) 1/3)
(pow.f64 (.f64 x (sqrt.f64 (.f64 x -2))) 2)
(pow.f64 (.f64 (cbrt.f64 (.f64 x -2)) (pow.f64 (cbrt.f64 x) 2)) 3)
(pow.f64 (.f64 (pow.f64 (.f64 x -2) 3) (pow.f64 x 6)) 1/3)
(sqrt.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 2))
(log.f64 (exp.f64 (*.f64 (pow.f64 x 3) -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 x 3) -2))))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 3))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 x 3) -2)))
(exp.f64 (log.f64 (*.f64 (pow.f64 x 3) -2)))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 3) -2)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (pow.f64 x 3) -2)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (pow.f64 x 3) -2))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (pow.f64 x 3) -2))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (*.f64 x -2)))) 2))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 x 3) -2)))

simplify97.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1864×	`log-prod`
726×	`fma-neg`
672×	`hypot-def`
458×	`exp-prod`
434×	`log-pow`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	309	4312
1	747	3680
2	2583	3510
3	5917	3504

Stop Event

1×	node limit

Counts

208 → 159

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 x (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(+.f64 0 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2))))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (*.f64 x -2)))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2)))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))) 1)
(pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 2) 1/2)
(pow.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))) 2)
(sqrt.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 2))
(log.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x 3)) (exp.f64 (*.f64 (pow.f64 x 3) -2))))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x 3)) (+.f64 1 (expm1.f64 (*.f64 (pow.f64 x 3) -2)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))) (exp.f64 (.f64 (pow.f64 x 3) -2))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))) (+.f64 1 (expm1.f64 (.f64 (pow.f64 x 3) -2)))))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 3))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))))
(exp.f64 (log.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))))
(exp.f64 (.f64 (log.f64 (.f64 x (.f64 x (+.f64 3 (.f64 x -2))))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (.f64 x (+.f64 3 (.f64 x -2)))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (.f64 x (+.f64 3 (.f64 x -2)))))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))))
(fma.f64 x (.f64 x 3) (.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x x) 3 (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x 3) x (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x (.f64 x 3)) 1 (*.f64 (pow.f64 x 3) -2))
(fma.f64 1 (.f64 x (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (cbrt.f64 (.f64 x (.f64 x 3))) (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 (pow.f64 x 3) -2))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (cbrt.f64 (.f64 x (.f64 x 3))) (.f64 (pow.f64 x 3) -2))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 (cbrt.f64 x) x) (.f64 (pow.f64 (cbrt.f64 x) 2) 3) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2) (.f64 (cbrt.f64 (.f64 x 3)) x) (.f64 (pow.f64 x 3) -2))
(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x (sqrt.f64 3)) (.f64 x (sqrt.f64 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (sqrt.f64 (.f64 x 3)) (.f64 (sqrt.f64 (.f64 x 3)) x) (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x (pow.f64 (cbrt.f64 (.f64 x 3)) 2)) (cbrt.f64 (.f64 x 3)) (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 x (sqrt.f64 (.f64 x 3))) (sqrt.f64 (.f64 x 3)) (.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 3 (.f64 (cbrt.f64 x) x)) (pow.f64 (cbrt.f64 x) 2) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 (.f64 x 3) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (pow.f64 x 3) -2))
(fma.f64 (.f64 (.f64 x 3) (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (pow.f64 x 3) -2))
(+.f64 (.f64 x (.f64 x -2)) (*.f64 x 3))
(+.f64 (.f64 x 3) (.f64 x (*.f64 x -2)))
(+.f64 0 (.f64 x (+.f64 3 (.f64 x -2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (+.f64 3 (.f64 x -2))))) 1)
(.f64 x (+.f64 3 (.f64 x -2)))
(.f64 (.f64 x (+.f64 3 (*.f64 x -2))) 1)
(.f64 1 (.f64 x (+.f64 3 (*.f64 x -2))))
(.f64 (cbrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 3 (*.f64 x -2)))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 2) (cbrt.f64 (.f64 x (+.f64 3 (*.f64 x -2)))))
(.f64 (sqrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) (sqrt.f64 (.f64 x (+.f64 3 (*.f64 x -2)))))
(/.f64 (+.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 (.f64 x (.f64 x -2)) 3)) (fma.f64 (.f64 x x) 9 (-.f64 (.f64 (pow.f64 x 4) 4) (.f64 (.f64 x 3) (.f64 x (*.f64 x -2))))))
(/.f64 (-.f64 (pow.f64 (.f64 x 3) 2) (.f64 (pow.f64 x 4) 4)) (-.f64 (.f64 x 3) (.f64 x (*.f64 x -2))))
(pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 1)
(pow.f64 (cbrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 3)
(pow.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 2) 1/2)
(pow.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 2)
(sqrt.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 2))
(log.f64 (pow.f64 (exp.f64 x) (+.f64 3 (*.f64 x -2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (+.f64 3 (.f64 x -2))))))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x -2)) (exp.f64 (*.f64 x 3))))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x -2)) (+.f64 1 (expm1.f64 (*.f64 x 3)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2)))) (exp.f64 (.f64 x 3))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2)))) (+.f64 1 (expm1.f64 (.f64 x 3)))))
(log.f64 (.f64 (exp.f64 (.f64 x 3)) (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2))))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x 3))) (pow.f64 (exp.f64 x) (*.f64 x -2))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x 3))) (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2))))))
(cbrt.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 3))
(expm1.f64 (log1p.f64 (.f64 x (+.f64 3 (.f64 x -2)))))
(exp.f64 (log.f64 (.f64 x (+.f64 3 (.f64 x -2)))))
(exp.f64 (.f64 (log.f64 (.f64 x (+.f64 3 (*.f64 x -2)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (+.f64 3 (*.f64 x -2))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (+.f64 3 (.f64 x -2))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (+.f64 3 (*.f64 x -2))))) 2))
(log1p.f64 (expm1.f64 (.f64 x (+.f64 3 (.f64 x -2)))))
(+.f64 0 (.f64 x (.f64 x 3)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 x 3)))) 1)
(pow.f64 (.f64 x (.f64 x 3)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1/2)
(pow.f64 (pow.f64 (.f64 x (.f64 x 3)) 3) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x 3)) 3))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x 3))))
(exp.f64 (log.f64 (.f64 x (.f64 x 3))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 x 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 x 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 x 3)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 x 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 3))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x 3))))
(+.f64 0 (.f64 x (.f64 x 3)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 x 3)))) 1)
(pow.f64 (.f64 x (.f64 x 3)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1/2)
(pow.f64 (pow.f64 (.f64 x (.f64 x 3)) 3) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x 3)) 3))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x 3))))
(exp.f64 (log.f64 (.f64 x (.f64 x 3))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 x 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 x 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 x 3)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 x 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 3))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x 3))))
(+.f64 0 (*.f64 (pow.f64 x 3) -2))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2))) (cbrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2))))) (log.f64 (cbrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2)))) (log.f64 (sqrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 x 3) -2))) 1)
(pow.f64 (*.f64 (pow.f64 x 3) -2) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 3) -2)) 3)
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 3) 1/3)
(pow.f64 (.f64 x (sqrt.f64 (.f64 x -2))) 2)
(pow.f64 (.f64 (cbrt.f64 (.f64 x -2)) (pow.f64 (cbrt.f64 x) 2)) 3)
(pow.f64 (.f64 (pow.f64 (.f64 x -2) 3) (pow.f64 x 6)) 1/3)
(sqrt.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 2))
(log.f64 (exp.f64 (*.f64 (pow.f64 x 3) -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 x 3) -2))))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 3))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 x 3) -2)))
(exp.f64 (log.f64 (*.f64 (pow.f64 x 3) -2)))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 3) -2)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (pow.f64 x 3) -2)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (pow.f64 x 3) -2))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (pow.f64 x 3) -2))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (*.f64 x -2)))) 2))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 x 3) -2)))

Outputs
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 2))
(.f64 x (.f64 x -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 2))
(.f64 x (.f64 x -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 x (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 0 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2))))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (*.f64 x -2)))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x (fma.f64 x -2 3)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 x (fma.f64 x -2 3))))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x (fma.f64 x -2 3))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2)))))))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))) 1)
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 1)
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(pow.f64 (cbrt.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))) 3)
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(pow.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 2) 1/2)
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(pow.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 3) 1/3)
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(pow.f64 (sqrt.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))) 2)
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(sqrt.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(log.f64 (pow.f64 (exp.f64 x) (.f64 x (+.f64 3 (.f64 x -2)))))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x 3)) (exp.f64 (*.f64 (pow.f64 x 3) -2))))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x 3)) (+.f64 1 (expm1.f64 (*.f64 (pow.f64 x 3) -2)))))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))) (exp.f64 (.f64 (pow.f64 x 3) -2))))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))) (+.f64 1 (expm1.f64 (.f64 (pow.f64 x 3) -2)))))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))) 3))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(exp.f64 (log.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(exp.f64 (.f64 (log.f64 (.f64 x (.f64 x (+.f64 3 (.f64 x -2))))) 1))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))) 1) 1))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (.f64 x (+.f64 3 (.f64 x -2)))))) 3))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2)))))) 1/3))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (.f64 x (+.f64 3 (.f64 x -2)))))) 2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x (+.f64 3 (*.f64 x -2))))))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 x (.f64 x 3) (.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 3 (.f64 x x) (.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (.f64 x x) 3 (.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (.f64 x 3) x (.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (.f64 x (.f64 x 3)) 1 (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 1 (.f64 x (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (cbrt.f64 (.f64 x (.f64 x 3))) (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 (pow.f64 x 3) -2))
(fma.f64 (cbrt.f64 (.f64 3 (.f64 x x))) (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (cbrt.f64 (.f64 x (.f64 x 3))) (.f64 (pow.f64 x 3) -2))
(fma.f64 (cbrt.f64 (.f64 3 (.f64 x x))) (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (.f64 (cbrt.f64 x) x) (.f64 (pow.f64 (cbrt.f64 x) 2) 3) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2) (.f64 (cbrt.f64 (.f64 x 3)) x) (.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (.f64 x 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (.f64 x (sqrt.f64 3)) (.f64 x (sqrt.f64 3)) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (sqrt.f64 (.f64 x 3)) (.f64 (sqrt.f64 (.f64 x 3)) x) (.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (.f64 x (pow.f64 (cbrt.f64 (.f64 x 3)) 2)) (cbrt.f64 (.f64 x 3)) (.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (.f64 x (sqrt.f64 (.f64 x 3))) (sqrt.f64 (.f64 x 3)) (.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (.f64 3 (.f64 (cbrt.f64 x) x)) (pow.f64 (cbrt.f64 x) 2) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (.f64 (.f64 x 3) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(fma.f64 (.f64 (.f64 x 3) (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (pow.f64 x 3) -2))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 x (.f64 x -2)) (*.f64 x 3))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 x 3) (.f64 x (*.f64 x -2)))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 0 (.f64 x (+.f64 3 (.f64 x -2))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2)))) (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 x -2 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 3 (.f64 x -2))))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (+.f64 3 (.f64 x -2))))) 1)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(.f64 (.f64 x (+.f64 3 (*.f64 x -2))) 1)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(.f64 1 (.f64 x (+.f64 3 (*.f64 x -2))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(.f64 (cbrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 3 (*.f64 x -2)))) 2))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 2) (cbrt.f64 (.f64 x (+.f64 3 (*.f64 x -2)))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(.f64 (sqrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) (sqrt.f64 (.f64 x (+.f64 3 (*.f64 x -2)))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(/.f64 (+.f64 (pow.f64 (.f64 x 3) 3) (pow.f64 (.f64 x (.f64 x -2)) 3)) (fma.f64 (.f64 x x) 9 (-.f64 (.f64 (pow.f64 x 4) 4) (.f64 (.f64 x 3) (.f64 x (*.f64 x -2))))))
(/.f64 (+.f64 (.f64 (pow.f64 x 3) 27) (pow.f64 (.f64 x (.f64 x -2)) 3)) (fma.f64 (.f64 x x) 9 (-.f64 (.f64 4 (pow.f64 x 4)) (.f64 (.f64 3 x) (.f64 x (*.f64 x -2))))))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (.f64 (pow.f64 x 6) -8)) (fma.f64 (.f64 x x) 9 (-.f64 (.f64 4 (pow.f64 x 4)) (.f64 x (.f64 -6 (.f64 x x))))))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (.f64 (pow.f64 x 6) -8)) (fma.f64 (.f64 x x) 9 (.f64 (.f64 -2 (pow.f64 x 3)) (-.f64 (*.f64 x -2) 3))))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (.f64 (pow.f64 x 6) -8)) (fma.f64 (.f64 x x) 9 (.f64 (.f64 -2 (pow.f64 x 3)) (fma.f64 x -2 -3))))
(/.f64 (-.f64 (pow.f64 (.f64 x 3) 2) (.f64 (pow.f64 x 4) 4)) (-.f64 (.f64 x 3) (.f64 x (*.f64 x -2))))
(/.f64 (-.f64 (pow.f64 (.f64 3 x) 2) (.f64 4 (pow.f64 x 4))) (.f64 x (-.f64 3 (.f64 x -2))))
(/.f64 (+.f64 (.f64 x (.f64 x 9)) (.f64 (pow.f64 x 4) -4)) (.f64 x (+.f64 3 (*.f64 2 x))))
(/.f64 (/.f64 (fma.f64 x (.f64 x 9) (.f64 (pow.f64 x 4) -4)) x) (+.f64 3 (*.f64 x 2)))
(pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 1)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(pow.f64 (cbrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 3)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(pow.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 2) 1/2)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(pow.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 3) 1/3)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(pow.f64 (sqrt.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 2)
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(sqrt.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 2))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log.f64 (pow.f64 (exp.f64 x) (+.f64 3 (*.f64 x -2))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (+.f64 3 (.f64 x -2))))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x -2)) (exp.f64 (*.f64 x 3))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 x -2)) (+.f64 1 (expm1.f64 (*.f64 x 3)))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2)))) (exp.f64 (.f64 x 3))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2)))) (+.f64 1 (expm1.f64 (.f64 x 3)))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log.f64 (.f64 (exp.f64 (.f64 x 3)) (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2))))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x 3))) (pow.f64 (exp.f64 x) (*.f64 x -2))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x 3))) (+.f64 1 (expm1.f64 (.f64 x (.f64 x -2))))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(cbrt.f64 (pow.f64 (.f64 x (+.f64 3 (.f64 x -2))) 3))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(expm1.f64 (log1p.f64 (.f64 x (+.f64 3 (.f64 x -2)))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (log.f64 (.f64 x (+.f64 3 (.f64 x -2)))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (.f64 x (+.f64 3 (*.f64 x -2)))) 1))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (+.f64 3 (.f64 x -2)))) 1) 1))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (+.f64 3 (*.f64 x -2))))) 3))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (+.f64 3 (.f64 x -2))))) 1/3))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (+.f64 3 (*.f64 x -2))))) 2))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(log1p.f64 (expm1.f64 (.f64 x (+.f64 3 (.f64 x -2)))))
(.f64 x (+.f64 3 (.f64 x -2)))
(*.f64 x (fma.f64 x -2 3))
(+.f64 0 (.f64 x (.f64 x 3)))
(.f64 3 (.f64 x x))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 x))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 x)))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 3 x)))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(.f64 3 (.f64 x x))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 x 3)))) 1)
(.f64 3 (.f64 x x))
(pow.f64 (.f64 x (.f64 x 3)) 1)
(.f64 3 (.f64 x x))
(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
(.f64 3 (.f64 x x))
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1/2)
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(pow.f64 (pow.f64 (.f64 x (.f64 x 3)) 3) 1/3)
(.f64 3 (.f64 x x))
(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
(.f64 3 (.f64 x x))
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 x 3)))
(.f64 3 (.f64 x x))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))))
(.f64 3 (.f64 x x))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x 3)) 3))
(.f64 3 (.f64 x x))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x 3))))
(.f64 3 (.f64 x x))
(exp.f64 (log.f64 (.f64 x (.f64 x 3))))
(.f64 3 (.f64 x x))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 x 3))) 1))
(.f64 3 (.f64 x x))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 x 3))) 1) 1))
(.f64 3 (.f64 x x))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 x 3)))) 3))
(.f64 3 (.f64 x x))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 x 3)))) 1/3))
(.f64 3 (.f64 x x))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 3))) 2))
(.f64 3 (.f64 x x))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x 3))))
(.f64 3 (.f64 x x))
(+.f64 0 (.f64 x (.f64 x 3)))
(.f64 3 (.f64 x x))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 x))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 x)))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 3 x)))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 3 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 x 3)))))
(.f64 3 (.f64 x x))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 x 3)))) 1)
(.f64 3 (.f64 x x))
(pow.f64 (.f64 x (.f64 x 3)) 1)
(.f64 3 (.f64 x x))
(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
(.f64 3 (.f64 x x))
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1/2)
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(pow.f64 (pow.f64 (.f64 x (.f64 x 3)) 3) 1/3)
(.f64 3 (.f64 x x))
(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
(.f64 3 (.f64 x x))
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 x 3)))
(.f64 3 (.f64 x x))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 x 3)))))
(.f64 3 (.f64 x x))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x 3)) 3))
(.f64 3 (.f64 x x))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x 3))))
(.f64 3 (.f64 x x))
(exp.f64 (log.f64 (.f64 x (.f64 x 3))))
(.f64 3 (.f64 x x))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 x 3))) 1))
(.f64 3 (.f64 x x))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 x 3))) 1) 1))
(.f64 3 (.f64 x x))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 x 3)))) 3))
(.f64 3 (.f64 x x))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 x 3)))) 1/3))
(.f64 3 (.f64 x x))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 3))) 2))
(.f64 3 (.f64 x x))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x 3))))
(.f64 3 (.f64 x x))
(+.f64 0 (*.f64 (pow.f64 x 3) -2))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2))) (cbrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2))))) (log.f64 (cbrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2)))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -2)) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -2))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -2) (pow.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -2) (pow.f64 x 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -2) (pow.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2)))) (log.f64 (sqrt.f64 (exp.f64 (.f64 (pow.f64 x 3) -2)))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -2))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -2) (pow.f64 x 3)))))
(*.f64 2 (log.f64 (fabs.f64 (exp.f64 (neg.f64 (pow.f64 x 3))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 x 3) -2))) 1)
(*.f64 -2 (pow.f64 x 3))
(pow.f64 (*.f64 (pow.f64 x 3) -2) 1)
(*.f64 -2 (pow.f64 x 3))
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 3) -2)) 3)
(*.f64 -2 (pow.f64 x 3))
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 2) 1/2)
(*.f64 -2 (pow.f64 x 3))
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 3) 1/3)
(*.f64 -2 (pow.f64 x 3))
(pow.f64 (.f64 x (sqrt.f64 (.f64 x -2))) 2)
(*.f64 -2 (pow.f64 x 3))
(pow.f64 (.f64 (cbrt.f64 (.f64 x -2)) (pow.f64 (cbrt.f64 x) 2)) 3)
(*.f64 -2 (pow.f64 x 3))
(pow.f64 (.f64 (pow.f64 (.f64 x -2) 3) (pow.f64 x 6)) 1/3)
(*.f64 -2 (pow.f64 x 3))
(sqrt.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 2))
(*.f64 -2 (pow.f64 x 3))
(log.f64 (exp.f64 (*.f64 (pow.f64 x 3) -2)))
(*.f64 -2 (pow.f64 x 3))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 x 3) -2))))
(*.f64 -2 (pow.f64 x 3))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 x 3) -2) 3))
(*.f64 -2 (pow.f64 x 3))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 x 3) -2)))
(*.f64 -2 (pow.f64 x 3))
(exp.f64 (log.f64 (*.f64 (pow.f64 x 3) -2)))
(*.f64 -2 (pow.f64 x 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 3) -2)) 1))
(*.f64 -2 (pow.f64 x 3))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (pow.f64 x 3) -2)) 1) 1))
(*.f64 -2 (pow.f64 x 3))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (pow.f64 x 3) -2))) 3))
(*.f64 -2 (pow.f64 x 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (pow.f64 x 3) -2))) 1/3))
(*.f64 -2 (pow.f64 x 3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (*.f64 x -2)))) 2))
(*.f64 -2 (pow.f64 x 3))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 x 3) -2)))
(*.f64 -2 (pow.f64 x 3))

eval55.0ms (1.7%)

Compiler: Compiled 2146 to 1598 computations (25.5% saved)

prune25.0ms (0.8%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	158	1	159
Fresh	1	0	1
Picked	0	5	5
Done	0	2	2
Total	159	8	167

Accurracy

100.0%

Counts

167 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
✓	99.9%	(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
✓	99.9%	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
✓	76.5%	(.f64 x (.f64 x (*.f64 x -2)))
✓	65.2%	(.f64 x (.f64 3 x))
✓	65.1%	(.f64 3 (.f64 x x))
✓	76.5%	(*.f64 -2 (pow.f64 x 3))
▶	58.6%	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
✓	99.9%	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
✓	99.9%	(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
✓	99.9%	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
✓	76.5%	(.f64 x (.f64 x (*.f64 x -2)))
✓	65.2%	(.f64 x (.f64 3 x))
✓	65.1%	(.f64 3 (.f64 x x))
✓	76.5%	(*.f64 -2 (pow.f64 x 3))
▶	58.6%	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))

Compiler

Compiled 128 to 90 computations (29.7% saved)

localize54.0ms (1.7%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	99.9%	(*.f64 (pow.f64 x 4) 9)
✓	77.7%	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))

Compiler

Compiled 19 to 15 computations (21.1% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.f64 (pow.f64 x 4) 9)
0.0ms	x	@	inf	(*.f64 (pow.f64 x 4) 9)
0.0ms	x	@	0	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
0.0ms	x	@	inf	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
0.0ms	x	@	-inf	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))

rewrite61.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1496×	`pow1`
1388×	`add-exp-log`
1388×	`log1p-expm1-u`
1388×	`expm1-log1p-u`
1356×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	30
1	186	26
2	2001	26

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(*.f64 (pow.f64 x 4) 9)

Outputs
(-.f64 (+.f64 1 (.f64 (.f64 x x) 3)) 1)
(.f64 (.f64 (*.f64 x x) 3) 1)
(.f64 1 (.f64 (*.f64 x x) 3))
(.f64 (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (cbrt.f64 (.f64 (.f64 x x) 3)))
(.f64 (cbrt.f64 (.f64 (.f64 x x) 3)) (cbrt.f64 (.f64 (pow.f64 x 4) 9)))
(.f64 (.f64 x x) 3)
(.f64 (.f64 x x) (pow.f64 9 1/2))
(.f64 (.f64 x (sqrt.f64 3)) (*.f64 x (sqrt.f64 3)))
(.f64 3 (.f64 x x))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 (pow.f64 x 8) 81))) (sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 9))))
(.f64 (pow.f64 9 1/2) (.f64 x x))
(.f64 (pow.f64 1 1/2) (.f64 (*.f64 x x) 3))
(.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 x 8) 81)) 1/2) (pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 9)) 1/2))
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1/2)
(pow.f64 (.f64 (.f64 x x) 3) 1)
(pow.f64 (cbrt.f64 (.f64 (.f64 x x) 3)) 3)
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3/2) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
(fabs.f64 (.f64 (.f64 x x) 3))
(log.f64 (pow.f64 (exp.f64 (*.f64 x x)) 3))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3/2))
(expm1.f64 (log1p.f64 (.f64 (.f64 x x) 3)))
(exp.f64 (log.f64 (.f64 (.f64 x x) 3)))
(log1p.f64 (expm1.f64 (.f64 (.f64 x x) 3)))
(-.f64 (+.f64 1 (*.f64 (pow.f64 x 4) 9)) 1)
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1)
(pow.f64 (.f64 (.f64 x x) 3) 2)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 9)) 3)
(pow.f64 (*.f64 (pow.f64 x 8) 81) 1/2)
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3) 1/3)
(sqrt.f64 (*.f64 (pow.f64 x 8) 81))
(log.f64 (pow.f64 (exp.f64 9) (pow.f64 x 4)))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 x 4) 9)))
(exp.f64 (log.f64 (*.f64 (pow.f64 x 4) 9)))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 x 4) 9)))

simplify65.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1724×	`fma-def`
1292×	`log-prod`
710×	`fma-neg`
614×	`distribute-lft-out`
540×	`cube-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	83	780
1	194	780
2	635	780
3	2429	780
4	4923	780

Stop Event

1×	node limit

Counts

60 → 38

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(-.f64 (+.f64 1 (.f64 (.f64 x x) 3)) 1)
(.f64 (.f64 (*.f64 x x) 3) 1)
(.f64 1 (.f64 (*.f64 x x) 3))
(.f64 (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (cbrt.f64 (.f64 (.f64 x x) 3)))
(.f64 (cbrt.f64 (.f64 (.f64 x x) 3)) (cbrt.f64 (.f64 (pow.f64 x 4) 9)))
(.f64 (.f64 x x) 3)
(.f64 (.f64 x x) (pow.f64 9 1/2))
(.f64 (.f64 x (sqrt.f64 3)) (*.f64 x (sqrt.f64 3)))
(.f64 3 (.f64 x x))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 (pow.f64 x 8) 81))) (sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 9))))
(.f64 (pow.f64 9 1/2) (.f64 x x))
(.f64 (pow.f64 1 1/2) (.f64 (*.f64 x x) 3))
(.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 x 8) 81)) 1/2) (pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 9)) 1/2))
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1/2)
(pow.f64 (.f64 (.f64 x x) 3) 1)
(pow.f64 (cbrt.f64 (.f64 (.f64 x x) 3)) 3)
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3/2) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
(fabs.f64 (.f64 (.f64 x x) 3))
(log.f64 (pow.f64 (exp.f64 (*.f64 x x)) 3))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3/2))
(expm1.f64 (log1p.f64 (.f64 (.f64 x x) 3)))
(exp.f64 (log.f64 (.f64 (.f64 x x) 3)))
(log1p.f64 (expm1.f64 (.f64 (.f64 x x) 3)))
(-.f64 (+.f64 1 (*.f64 (pow.f64 x 4) 9)) 1)
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1)
(pow.f64 (.f64 (.f64 x x) 3) 2)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 9)) 3)
(pow.f64 (*.f64 (pow.f64 x 8) 81) 1/2)
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3) 1/3)
(sqrt.f64 (*.f64 (pow.f64 x 8) 81))
(log.f64 (pow.f64 (exp.f64 9) (pow.f64 x 4)))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 x 4) 9)))
(exp.f64 (log.f64 (*.f64 (pow.f64 x 4) 9)))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 x 4) 9)))

Outputs
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(*.f64 9 (pow.f64 x 4))
(-.f64 (+.f64 1 (.f64 (.f64 x x) 3)) 1)
(.f64 3 (.f64 x x))
(.f64 (.f64 (*.f64 x x) 3) 1)
(.f64 3 (.f64 x x))
(.f64 1 (.f64 (*.f64 x x) 3))
(.f64 3 (.f64 x x))
(.f64 (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (cbrt.f64 (.f64 (.f64 x x) 3)))
(.f64 3 (.f64 x x))
(.f64 (cbrt.f64 (.f64 (.f64 x x) 3)) (cbrt.f64 (.f64 (pow.f64 x 4) 9)))
(.f64 3 (.f64 x x))
(.f64 (.f64 x x) 3)
(.f64 3 (.f64 x x))
(.f64 (.f64 x x) (pow.f64 9 1/2))
(.f64 3 (.f64 x x))
(.f64 (.f64 x (sqrt.f64 3)) (*.f64 x (sqrt.f64 3)))
(.f64 3 (.f64 x x))
(.f64 3 (.f64 x x))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 (pow.f64 x 8) 81))) (sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 9))))
(.f64 3 (.f64 x x))
(.f64 (pow.f64 9 1/2) (.f64 x x))
(.f64 3 (.f64 x x))
(.f64 (pow.f64 1 1/2) (.f64 (*.f64 x x) 3))
(.f64 3 (.f64 x x))
(.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 x 8) 81)) 1/2) (pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 9)) 1/2))
(.f64 3 (.f64 x x))
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1/2)
(.f64 3 (.f64 x x))
(pow.f64 (.f64 (.f64 x x) 3) 1)
(.f64 3 (.f64 x x))
(pow.f64 (cbrt.f64 (.f64 (.f64 x x) 3)) 3)
(.f64 3 (.f64 x x))
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3/2) 1/3)
(.f64 3 (.f64 x x))
(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (.f64 x x) 3))
(.f64 3 (.f64 x x))
(log.f64 (pow.f64 (exp.f64 (*.f64 x x)) 3))
(.f64 3 (.f64 x x))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3/2))
(.f64 3 (.f64 x x))
(expm1.f64 (log1p.f64 (.f64 (.f64 x x) 3)))
(.f64 3 (.f64 x x))
(exp.f64 (log.f64 (.f64 (.f64 x x) 3)))
(.f64 3 (.f64 x x))
(log1p.f64 (expm1.f64 (.f64 (.f64 x x) 3)))
(.f64 3 (.f64 x x))
(-.f64 (+.f64 1 (*.f64 (pow.f64 x 4) 9)) 1)
(*.f64 9 (pow.f64 x 4))
(pow.f64 (*.f64 (pow.f64 x 4) 9) 1)
(*.f64 9 (pow.f64 x 4))
(pow.f64 (.f64 (.f64 x x) 3) 2)
(*.f64 9 (pow.f64 x 4))
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 9)) 3)
(*.f64 9 (pow.f64 x 4))
(pow.f64 (*.f64 (pow.f64 x 8) 81) 1/2)
(*.f64 9 (pow.f64 x 4))
(pow.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3) 1/3)
(*.f64 9 (pow.f64 x 4))
(sqrt.f64 (*.f64 (pow.f64 x 8) 81))
(*.f64 9 (pow.f64 x 4))
(log.f64 (pow.f64 (exp.f64 9) (pow.f64 x 4)))
(*.f64 9 (pow.f64 x 4))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 x 4) 9) 3))
(*.f64 9 (pow.f64 x 4))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 x 4) 9)))
(*.f64 9 (pow.f64 x 4))
(exp.f64 (log.f64 (*.f64 (pow.f64 x 4) 9)))
(*.f64 9 (pow.f64 x 4))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 x 4) 9)))
(*.f64 9 (pow.f64 x 4))

eval9.0ms (0.3%)

Compiler: Compiled 315 to 237 computations (24.8% saved)

prune9.0ms (0.3%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	38	8	46

Accurracy

100.0%

Counts

46 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
✓	99.9%	(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
✓	99.9%	(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
✓	76.5%	(.f64 x (.f64 x (*.f64 x -2)))
✓	65.2%	(.f64 x (.f64 3 x))
✓	65.1%	(.f64 3 (.f64 x x))
✓	76.5%	(*.f64 -2 (pow.f64 x 3))
✓	58.6%	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))

Compiler

Compiled 142 to 94 computations (33.8% saved)

regimes12.0ms (0.4%)

Counts

9 → 1

Calls

Call 1

Inputs
(.f64 3 (.f64 x x))
(.f64 x (.f64 3 x))
(.f64 x (.f64 x (*.f64 x -2)))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(*.f64 -2 (pow.f64 x 3))
(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(/.f64 (*.f64 x x) (/.f64 (fma.f64 (+.f64 x x) (fma.f64 x 2 3) 9) (-.f64 27 (pow.f64 (+.f64 x x) 3))))

Outputs
(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))

Calls

2 calls:

5.0ms	x
3.0ms	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Results

Accuracy	Segments	Branch
99.9%	1	`x`
99.9%	1	`(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))`

Compiler

Compiled 90 to 57 computations (36.7% saved)

regimes13.0ms (0.4%)

Counts

6 → 1

Calls

Call 1

Inputs
(.f64 3 (.f64 x x))
(.f64 x (.f64 3 x))
(.f64 x (.f64 x (*.f64 x -2)))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(*.f64 -2 (pow.f64 x 3))

Outputs
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))

Calls

2 calls:

7.0ms	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
4.0ms	x

Results

Accuracy	Segments	Branch
99.9%	1	`x`
99.9%	1	`(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))`

Compiler

Compiled 53 to 34 computations (35.8% saved)

regimes11.0ms (0.4%)

Counts

3 → 3

Calls

Call 1

Inputs
(.f64 3 (.f64 x x))
(.f64 x (.f64 3 x))
(.f64 x (.f64 x (*.f64 x -2)))

Outputs
(.f64 x (.f64 x (*.f64 x -2)))
(.f64 x (.f64 3 x))
(.f64 x (.f64 x (*.f64 x -2)))

Calls

1 calls:

11.0ms

Results

Accuracy	Segments	Branch
98.4%	3	`x`

Compiler

Compiled 20 to 12 computations (40% saved)

regimes4.0ms (0.1%)

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 3 (.f64 x x))
(.f64 x (.f64 3 x))

Outputs
(.f64 x (.f64 3 x))

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
65.2%	1	`x`

Compiler

Compiled 13 to 8 computations (38.5% saved)

regimes4.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 3 (.f64 x x))

Outputs
(.f64 3 (.f64 x x))

Calls

1 calls:

4.0ms

Results

Accuracy	Segments	Branch
65.1%	1	`x`

Compiler

Compiled 8 to 5 computations (37.5% saved)

bsearch41.0ms (1.3%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
24.0ms	4.1727058660265516e-16	3.2441577372271886
17.0ms	-3.0687135533243333	-0.043458804434196814

Results

37.0ms

272×

body

256

valid

Compiler

Compiled 286 to 197 computations (31.1% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

26×	`*-commutative`
8×	`sub-neg`
8×	`+-commutative`
6×	`neg-mul-1`
6×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	135
1	50	135
2	62	135
3	68	135
4	72	135
5	73	135

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(if (<=.f64 x -3/2) (.f64 x (.f64 x (.f64 x -2))) (if (<=.f64 x 3/2) (.f64 x (.f64 3 x)) (.f64 x (.f64 x (.f64 x -2)))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))

Outputs
(.f64 x (fma.f64 x 3 (.f64 x (*.f64 x -2))))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(if (<=.f64 x -3/2) (.f64 x (.f64 x (.f64 x -2))) (if (<=.f64 x 3/2) (.f64 x (.f64 3 x)) (.f64 x (.f64 x (.f64 x -2)))))
(if (or (<=.f64 x -3/2) (not (<=.f64 x 3/2))) (.f64 x (.f64 x (.f64 x -2))) (.f64 x (*.f64 x 3)))
(.f64 x (.f64 3 x))
(.f64 x (.f64 x 3))
(.f64 3 (.f64 x x))

Compiler

Compiled 55 to 37 computations (32.7% saved)

soundness610.0ms (19%)

Rules

3484×	`fma-def`
1128×	`log-prod`
1128×	`log-prod`
1082×	`associate-r`
1082×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	19	25
2	47	21
3	122	21
4	246	21
5	331	21
6	485	21
7	806	21
8	1703	21
9	2585	21
10	3512	21
11	4698	21
12	5631	21
13	6086	21
14	6324	21
15	6634	21
16	7737	21
0	11	69
1	236	69
2	2715	57
0	211	4121
1	468	3465
2	1066	3441
3	5179	3441
0	211	4121
1	468	3465
2	1066	3441
3	5179	3441

Stop Event

1×	node limit
1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 123 to 80 computations (35% saved)

end56.0ms (1.7%)

Compiler: Compiled 142 to 94 computations (33.8% saved)

Data.Spline.Key:interpolateKeys from smoothie-0.4.0.2

Details

analyze0.0ms (0%)

sample1.0s (31.2%)

preprocess147.0ms (4.6%)

simplify145.0ms (4.5%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize168.0ms (5.2%)

series2.0ms (0.1%)

rewrite75.0ms (2.3%)

simplify86.0ms (2.7%)

eval31.0ms (1%)

prune22.0ms (0.7%)

localize306.0ms (9.5%)

series4.0ms (0.1%)

rewrite85.0ms (2.6%)

simplify97.0ms (3%)

eval55.0ms (1.7%)

prune25.0ms (0.8%)

localize54.0ms (1.7%)

series1.0ms (0%)

rewrite61.0ms (1.9%)

simplify65.0ms (2%)

eval9.0ms (0.3%)

prune9.0ms (0.3%)

regimes12.0ms (0.4%)

regimes13.0ms (0.4%)

regimes11.0ms (0.4%)

regimes4.0ms (0.1%)

regimes4.0ms (0.1%)

bsearch41.0ms (1.3%)

simplify10.0ms (0.3%)

soundness610.0ms (19%)

end56.0ms (1.7%)

Profiling