Details

analyze52.0ms (1.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
48%	37.5%	40.6%	0.1%	21.9%	0%	0%	7
57.1%	43.7%	32.8%	0.1%	23.4%	0%	0%	8
67.5%	43.7%	21.1%	0.1%	35.1%	0%	0%	9
73.6%	46.8%	16.8%	0.1%	36.3%	0%	0%	10
81.4%	46.8%	10.7%	0.1%	42.3%	0%	0%	11
85.1%	48.4%	8.5%	0.1%	43%	0%	0%	12

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.1s (40.6%)

Results

991.0ms	8256×	body	256	valid
87.0ms	1061×	body	256	infinite

Bogosity

preprocess107.0ms (4%)

Algorithm

2×	egg-herbie

Rules

996×	`sqr-pow`
886×	`associate-*r/`
856×	`unswap-sqr`
740×	`distribute-lft-in`
684×	`distribute-rgt-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	34
1	17	34
2	24	34
3	42	34
4	97	34
5	270	34
6	878	34
7	1395	34
8	3513	34
9	3784	34
10	4225	34
11	5015	34
12	7819	34
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 x (exp.f64 (.f64 y y)))
(.f64 y (exp.f64 (.f64 x x)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(.f64 y (exp.f64 (.f64 x x)))
(*.f64 y (pow.f64 (exp.f64 x) x))

Compiler

Compiled 10 to 7 computations (30% saved)

simplify87.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1240×	`sqr-pow`
914×	`associate-r`
890×	`associate-*l/`
736×	`unswap-sqr`
646×	`exp-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	11	17
2	15	17
3	24	17
4	52	17
5	141	17
6	447	17
7	1430	17
8	2551	17
9	3850	17
10	4235	17
11	4810	17
12	6581	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))
(*.f64 x (pow.f64 (exp.f64 y) y))

eval0.0ms (0%)

Compiler: Compiled 14 to 8 computations (42.9% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Accurracy

100.0%

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 x (exp.f64 (.f64 y y)))

Compiler

Compiled 8 to 5 computations (37.5% saved)

localize6.0ms (0.2%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(.f64 x (exp.f64 (.f64 y y)))

Compiler

Compiled 17 to 5 computations (70.6% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 x (exp.f64 (.f64 y y)))
0.0ms	y	@	inf	(.f64 x (exp.f64 (.f64 y y)))
0.0ms	x	@	inf	(.f64 x (exp.f64 (.f64 y y)))
0.0ms	y	@	0	(.f64 x (exp.f64 (.f64 y y)))
0.0ms	x	@	-inf	(.f64 x (exp.f64 (.f64 y y)))

rewrite49.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1370×	`pow1`
1248×	`add-exp-log`
1248×	`log1p-expm1-u`
1248×	`expm1-log1p-u`
1216×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	154	17
2	1783	17

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))

Outputs
(-.f64 (+.f64 1 (*.f64 x (pow.f64 (exp.f64 y) y))) 1)
(pow.f64 (*.f64 x (pow.f64 (exp.f64 y) y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y))) 3)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 (exp.f64 y) y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y))) 2)
(sqrt.f64 (pow.f64 (*.f64 x (pow.f64 (exp.f64 y) y)) 2))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 (exp.f64 y) y)))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 (exp.f64 y) y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 (exp.f64 y) y))))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 (exp.f64 y) y))))

simplify75.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1110×	`fma-def`
812×	`fma-neg`
704×	`*-commutative`
674×	`distribute-lft-out`
586×	`associate-r`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	54	633
1	137	631
2	410	619
3	2011	615
4	4833	615
5	7573	615

Stop Event

1×	node limit

Counts

35 → 28

Calls

Call 1

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

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

eval6.0ms (0.2%)

Compiler: Compiled 279 to 139 computations (50.2% saved)

prune4.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	26	2	28
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	3	29

Accurracy

100.0%

Counts

29 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.8%	(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y))) 3)
✓	100.0%	(.f64 x (exp.f64 (.f64 y y)))
	97.9%	x

Compiler

Compiled 22 to 15 computations (31.8% saved)

localize11.0ms (0.4%)

Local Accuracy

Found 3 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(*.f64 x (pow.f64 (exp.f64 y) y))
✓	99.1%	(cbrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y)))
✓	98.8%	(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y))) 3)

Compiler

Compiled 33 to 9 computations (72.7% saved)

series57.0ms (2.1%)

Counts

3 → 48

Calls

18 calls:

Time	Variable		Point	Expression
41.0ms	x	@	0	(*.f64 x (pow.f64 (exp.f64 y) y))
4.0ms	y	@	inf	(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y))) 3)
3.0ms	y	@	0	(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y))) 3)
2.0ms	x	@	0	(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y))) 3)
1.0ms	y	@	-inf	(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y))) 3)

rewrite79.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1786×	`pow1`
1654×	`add-exp-log`
1654×	`log1p-expm1-u`
1654×	`expm1-log1p-u`
1616×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	55
1	224	55
2	2364	55

Stop Event

1×	node limit

Counts

3 → 68

Calls

Call 1

Inputs
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y))) 3)
(cbrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y)))
(*.f64 x (pow.f64 (exp.f64 y) y))

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

simplify66.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1708×	`distribute-lft-in`
1704×	`distribute-rgt-in`
1342×	`associate-+l+`
1330×	`associate-+r+`
460×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	211	2878
1	596	2778
2	2332	2712

Stop Event

1×	node limit

Counts

116 → 107

Calls

Call 1

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

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

eval38.0ms (1.4%)

Compiler: Compiled 2282 to 1224 computations (46.4% saved)

prune16.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	106	4	110

Accurracy

100.0%

Counts

110 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.8%	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 3)
▶	97.7%	(.f64 (pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2) (.f64 (cbrt.f64 (exp.f64 (*.f64 y y))) (cbrt.f64 x)))
✓	100.0%	(.f64 x (exp.f64 (.f64 y y)))
	97.9%	x

Compiler

Compiled 42 to 27 computations (35.7% saved)

localize19.0ms (0.7%)

Local Accuracy

Found 4 expressions with local accuracy:

New	Accuracy	Program
✓	99.5%	(.f64 (pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2) (.f64 (cbrt.f64 (exp.f64 (*.f64 y y))) (cbrt.f64 x)))
✓	99.2%	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2)
✓	99.1%	(cbrt.f64 (.f64 x (exp.f64 (.f64 y y))))
✓	99.1%	(cbrt.f64 x)

Compiler

Compiled 67 to 15 computations (77.6% saved)

series8.0ms (0.3%)

Counts

4 → 48

Calls

21 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(.f64 (pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2) (.f64 (cbrt.f64 (exp.f64 (*.f64 y y))) (cbrt.f64 x)))
1.0ms	y	@	inf	(cbrt.f64 (.f64 x (exp.f64 (.f64 y y))))
0.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2)
0.0ms	x	@	inf	(.f64 (pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2) (.f64 (cbrt.f64 (exp.f64 (*.f64 y y))) (cbrt.f64 x)))
0.0ms	y	@	0	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2)

rewrite86.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1114×	`log-prod`
1022×	`prod-exp`
790×	`pow-prod-down`
672×	`pow-prod-up`
572×	`pow-exp`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	70
1	292	70
2	2854	66

Stop Event

1×	node limit

Counts

4 → 175

Calls

Call 1

Inputs
(cbrt.f64 x)
(cbrt.f64 (.f64 x (exp.f64 (.f64 y y))))
(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2)
(.f64 (pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2) (.f64 (cbrt.f64 (exp.f64 (*.f64 y y))) (cbrt.f64 x)))

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

simplify141.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

1452×	`exp-prod`
1042×	`prod-exp`
638×	`associate-r`
560×	`associate-l`
538×	`fma-def`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	442	4294972727
1	984	4795
2	3490	4723
3	6456	4715

Stop Event

1×	node limit

Counts

223 → 252

Calls

Call 1

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

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

localize11.0ms (0.4%)

Local Accuracy

Found 3 expressions with local accuracy:

New	Accuracy	Program
	100.0%	(.f64 x (exp.f64 (.f64 y y)))
	99.1%	(cbrt.f64 (.f64 x (exp.f64 (.f64 y y))))
✓	98.8%	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 3)

Compiler

Compiled 34 to 9 computations (73.5% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 3)
0.0ms	y	@	inf	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 3)
0.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 3)
0.0ms	x	@	0	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 3)
0.0ms	x	@	inf	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 3)

rewrite57.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1708×	`pow1`
1580×	`add-exp-log`
1580×	`log1p-expm1-u`
1580×	`expm1-log1p-u`
1542×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	221	17
2	2300	17

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

Inputs
(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 3)

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

simplify51.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1724×	`fma-def`
1208×	`distribute-rgt-in`
1204×	`distribute-lft-in`
930×	`associate-+l+`
880×	`associate-+r+`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	150	1261
1	445	1187
2	1506	1129

Stop Event

1×	node limit

Counts

45 → 51

Calls

Call 1

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

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

eval131.0ms (4.9%)

Compiler: Compiled 9002 to 3912 computations (56.5% saved)

prune59.0ms (2.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	424	1	425
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	424	5	429

Accurracy

100.0%

Counts

429 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	97.8%	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 3)
▶	98.6%	(+.f64 x (.f64 x (.f64 y y)))
✓	97.7%	(.f64 (pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2) (.f64 (cbrt.f64 (exp.f64 (*.f64 y y))) (cbrt.f64 x)))
✓	100.0%	(.f64 x (exp.f64 (.f64 y y)))
	97.9%	x

Compiler

Compiled 51 to 32 computations (37.3% saved)

localize6.0ms (0.2%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	85.6%	(.f64 x (.f64 y y))

Compiler

Compiled 19 to 5 computations (73.7% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(.f64 x (.f64 y y))
0.0ms	y	@	inf	(.f64 x (.f64 y y))
0.0ms	x	@	inf	(.f64 x (.f64 y y))
0.0ms	x	@	0	(.f64 x (.f64 y y))
0.0ms	x	@	-inf	(.f64 x (.f64 y y))

rewrite51.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1110×	`pow1`
1054×	`add-sqr-sqrt`
1016×	`add-exp-log`
1016×	`log1p-expm1-u`
1016×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	120	13
2	1449	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 x (.f64 y y))

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

simplify63.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

2164×	`log-prod`
1110×	`distribute-rgt-in`
1088×	`distribute-lft-in`
802×	`associate-r`
682×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	455
1	92	455
2	327	455
3	2124	455
4	6992	455

Stop Event

1×	node limit

Counts

35 → 14

Calls

Call 1

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

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

eval3.0ms (0.1%)

Compiler: Compiled 128 to 57 computations (55.5% saved)

prune4.0ms (0.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	13	1	14
Fresh	0	1	1
Picked	1	0	1
Done	0	3	3
Total	14	5	19

Accurracy

100.0%

Counts

19 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	97.8%	(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 3)
	98.6%	(+.f64 x (.f64 y (.f64 y x)))
✓	97.7%	(.f64 (pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2) (.f64 (cbrt.f64 (exp.f64 (*.f64 y y))) (cbrt.f64 x)))
✓	100.0%	(.f64 x (exp.f64 (.f64 y y)))
	97.9%	x

Compiler

Compiled 51 to 32 computations (37.3% saved)

regimes24.0ms (0.9%)

Counts

7 → 1

Calls

Call 1

Inputs
x
(+.f64 x (.f64 x (.f64 y y)))
(+.f64 x (.f64 y (.f64 y x)))
(.f64 x (exp.f64 (.f64 y y)))
(pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 3)
(pow.f64 (cbrt.f64 (*.f64 x (pow.f64 (exp.f64 y) y))) 3)
(.f64 (pow.f64 (cbrt.f64 (.f64 x (exp.f64 (.f64 y y)))) 2) (.f64 (cbrt.f64 (exp.f64 (*.f64 y y))) (cbrt.f64 x)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))

Calls

5 calls:

8.0ms	x
5.0ms	(.f64 x (exp.f64 (.f64 y y)))
4.0ms	y
2.0ms	(*.f64 y y)
2.0ms	(exp.f64 (*.f64 y y))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(.f64 x (exp.f64 (.f64 y y)))`
100.0%	1	`(exp.f64 (*.f64 y y))`
100.0%	1	`(*.f64 y y)`

Compiler

Compiled 84 to 41 computations (51.2% saved)

regimes10.0ms (0.4%)

Accuracy

Total -0.4b remaining (-46.5%)

Threshold costs -0.4b (-46.5%)

Counts

3 → 1

Calls

Call 1

Inputs
x
(+.f64 x (.f64 x (.f64 y y)))
(+.f64 x (.f64 y (.f64 y x)))

Outputs
(+.f64 x (.f64 x (.f64 y y)))

Calls

3 calls:

4.0ms	y
3.0ms	x
2.0ms	(*.f64 y y)

Results

Accuracy	Segments	Branch
98.6%	1	`x`
98.6%	1	`y`
98.6%	1	`(*.f64 y y)`

Compiler

Compiled 28 to 15 computations (46.4% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	37
1	13	37

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))
(+.f64 x (.f64 x (.f64 y y)))
x

Outputs
(.f64 x (exp.f64 (.f64 y y)))
(+.f64 x (.f64 x (.f64 y y)))
x

Compiler

Compiled 20 to 12 computations (40% saved)

soundness189.0ms (7.1%)

Rules

1724×	`fma-def`
1708×	`distribute-lft-in`
1704×	`distribute-rgt-in`
1370×	`pow1`
1342×	`associate-+l+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	154	17
2	1783	17
0	211	2878
1	596	2778
2	2332	2712
0	150	1261
1	445	1187
2	1506	1129

Stop Event

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

Compiler

Compiled 242 to 165 computations (31.8% saved)

end19.0ms (0.7%)

Compiler: Compiled 16 to 7 computations (56.3% saved)

Details

analyze52.0ms (1.9%)

sample1.1s (40.6%)

preprocess107.0ms (4%)

simplify87.0ms (3.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series2.0ms (0.1%)

rewrite49.0ms (1.8%)

simplify75.0ms (2.8%)

eval6.0ms (0.2%)

prune4.0ms (0.2%)

localize11.0ms (0.4%)

series57.0ms (2.1%)

rewrite79.0ms (2.9%)

simplify66.0ms (2.5%)

eval38.0ms (1.4%)

prune16.0ms (0.6%)

localize19.0ms (0.7%)

series8.0ms (0.3%)

rewrite86.0ms (3.2%)

simplify141.0ms (5.2%)

localize11.0ms (0.4%)

series2.0ms (0.1%)

rewrite57.0ms (2.1%)

simplify51.0ms (1.9%)

eval131.0ms (4.9%)

prune59.0ms (2.2%)

localize6.0ms (0.2%)

series2.0ms (0.1%)

rewrite51.0ms (1.9%)

simplify63.0ms (2.3%)

eval3.0ms (0.1%)

prune4.0ms (0.2%)

regimes24.0ms (0.9%)

regimes10.0ms (0.4%)

simplify5.0ms (0.2%)

soundness189.0ms (7.1%)

end19.0ms (0.7%)

Profiling