Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, F

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 6 computations (25% saved)

sample631.0ms (25.2%)

Results

542.0ms	7226×	body	256	valid
78.0ms	1030×	body	256	infinite

Bogosity

preprocess14.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

10×	`*-commutative`
8×	`associate-l`
4×	`associate-r`
2×	`swap-x-y`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	15	26
2	21	26
3	21	26
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

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

Outputs
(.f64 (.f64 x 27) y)
(.f64 x (.f64 27 y))
(.f64 (.f64 y 27) x)
(.f64 x (.f64 27 y))

Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify14.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative`
6×	`associate-r`
6×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	11	13
2	18	13
3	20	13

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs
(.f64 (.f64 x 27) y)
(.f64 x (.f64 27 y))

eval0.0ms (0%)

Compiler: Compiled 12 to 8 computations (33.3% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Accurracy

99.9%

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.7%	(.f64 (.f64 x 27) y)
▶	99.7%	(.f64 x (.f64 27 y))
▶	99.7%	(.f64 (.f64 x 27) y)
▶	99.7%	(.f64 x (.f64 27 y))

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize31.0ms (1.2%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))

Compiler

Compiled 25 to 15 computations (40% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite57.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1496×	`pow1`
1374×	`add-exp-log`
1374×	`log1p-expm1-u`
1374×	`expm1-log1p-u`
1344×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	181	26
2	1903	26

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

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

simplify68.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1198×	`distribute-rgt-in`
1196×	`log-prod`
1184×	`distribute-lft-in`
912×	`associate-r`
868×	`exp-sum`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	910
1	85	910
2	339	910
3	2426	910
4	7147	910

Stop Event

1×	node limit

Counts

70 → 12

Calls

Call 1

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

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

eval2.0ms (0.1%)

Compiler: Compiled 92 to 68 computations (26.1% saved)

prune4.0ms (0.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	10	2	12
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	10	4	14

Accurracy

100.0%

Counts

14 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	54.3%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
▶	99.6%	(.f64 27 (.f64 y x))
▶	54.3%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
▶	99.6%	(.f64 27 (.f64 y x))

Compiler

Compiled 62 to 46 computations (25.8% saved)

localize47.0ms (1.9%)

Local Accuracy

Found 4 expressions with local accuracy:

New	Accuracy	Program
	99.9%	(.f64 x (.f64 27 y))
✓	99.7%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	92.6%	(sqrt.f64 (.f64 x (.f64 27 y)))
✓	99.9%	(.f64 27 (.f64 y x))

Compiler

Compiled 40 to 24 computations (40% saved)

series254.0ms (10.1%)

Counts

3 → 0

Calls

18 calls:

Time	Variable		Point	Expression
245.0ms	y	@	-inf	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
1.0ms	x	@	-inf	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
1.0ms	x	@	0	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
1.0ms	x	@	inf	(sqrt.f64 (.f64 x (.f64 27 y)))
1.0ms	y	@	0	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)

rewrite288.0ms (11.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1076×	`log-prod`
796×	`exp-prod`
782×	`prod-exp`
704×	`pow-prod-down`
510×	`pow-prod-up`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	43
1	267	43
2	2601	43

Stop Event

1×	node limit

Counts

3 → 152

Calls

Call 1

Inputs
(.f64 27 (.f64 y x))
(sqrt.f64 (.f64 x (.f64 27 y)))
(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)

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

simplify85.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1584×	`fma-def`
1478×	`log-prod`
894×	`distribute-lft-in`
842×	`distribute-rgt-in`
620×	`*-commutative`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	268	2622
1	583	2522
2	1647	2522
3	6730	2522

Stop Event

1×	node limit

Counts

152 → 128

Calls

Call 1

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

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

eval73.0ms (2.9%)

Compiler: Compiled 1609 to 1086 computations (32.5% saved)

prune20.0ms (0.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	138	2	140
Fresh	0	0	0
Picked	0	2	2
Done	0	2	2
Total	138	6	144

Accurracy

100.0%

Counts

144 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	54.3%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	99.7%	(.f64 (.f64 x 27) y)
▶	54.7%	(.f64 (.f64 27 (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
▶	30.4%	(.f64 (sqrt.f64 (.f64 27 y)) (sqrt.f64 (.f64 27 (.f64 (*.f64 y x) x))))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))
✓	54.3%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	99.7%	(.f64 (.f64 x 27) y)
▶	54.7%	(.f64 (.f64 27 (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
▶	30.4%	(.f64 (sqrt.f64 (.f64 27 y)) (sqrt.f64 (.f64 27 (.f64 (*.f64 y x) x))))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))

Compiler

Compiled 118 to 82 computations (30.5% saved)

localize303.0ms (12.1%)

Local Accuracy

Found 7 expressions with local accuracy:

New	Accuracy	Program
✓	99.9%	(.f64 27 (sqrt.f64 (.f64 y x)))
✓	99.9%	(.f64 (.f64 27 (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
✓	95.2%	(sqrt.f64 (*.f64 y x))
✓	99.9%	(.f64 27 (.f64 (*.f64 y x) x))
✓	99.8%	(.f64 (sqrt.f64 (.f64 27 y)) (sqrt.f64 (.f64 27 (.f64 (*.f64 y x) x))))
✓	99.6%	(sqrt.f64 (*.f64 27 y))
✓	92.8%	(sqrt.f64 (.f64 27 (.f64 (*.f64 y x) x)))

Compiler

Compiled 76 to 30 computations (60.5% saved)

series21.0ms (0.8%)

Counts

7 → 84

Calls

39 calls:

Time	Variable		Point	Expression
3.0ms	y	@	0	(.f64 27 (sqrt.f64 (.f64 y x)))
2.0ms	x	@	0	(sqrt.f64 (*.f64 y x))
1.0ms	y	@	0	(sqrt.f64 (.f64 27 (.f64 (*.f64 y x) x)))
1.0ms	y	@	-inf	(.f64 (.f64 27 (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
1.0ms	x	@	-inf	(.f64 (.f64 27 (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))

rewrite104.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1748×	`log-prod`
876×	`pow-unpow`
824×	`pow-prod-up`
724×	`pow-exp`
538×	`expm1-udef`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	129
1	324	127
2	3826	127

Stop Event

1×	node limit

Counts

7 → 200

Calls

Call 1

Inputs
(sqrt.f64 (.f64 27 (.f64 (*.f64 y x) x)))
(sqrt.f64 (*.f64 27 y))
(.f64 (sqrt.f64 (.f64 27 y)) (sqrt.f64 (.f64 27 (.f64 (*.f64 y x) x))))
(.f64 27 (.f64 (*.f64 y x) x))
(sqrt.f64 (*.f64 y x))
(.f64 (.f64 27 (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
(.f64 27 (sqrt.f64 (.f64 y x)))

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

simplify134.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1004×	`log-prod`
980×	`exp-sum`
850×	`exp-prod`
740×	`log-pow`
696×	`prod-exp`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	464	6950
1	966	5864
2	2929	4916
3	6634	4916

Stop Event

1×	node limit

Counts

284 → 267

Calls

Call 1

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

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

eval202.0ms (8.1%)

Compiler: Compiled 4850 to 2807 computations (42.1% saved)

prune43.0ms (1.7%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	308	0	308
Fresh	0	0	0
Picked	0	2	2
Done	0	4	4
Total	308	6	314

Accurracy

100.0%

Counts

314 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	54.3%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	99.7%	(.f64 (.f64 x 27) y)
✓	54.7%	(.f64 (.f64 27 (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
✓	30.4%	(.f64 (sqrt.f64 (.f64 27 y)) (sqrt.f64 (.f64 27 (.f64 (*.f64 y x) x))))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))

Compiler

Compiled 108 to 70 computations (35.2% saved)

regimes20.0ms (0.8%)

Counts

6 → 1

Calls

Call 1

Inputs
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 (.f64 x 27) y)
(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
(.f64 (.f64 27 (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
(.f64 (sqrt.f64 (.f64 27 y)) (sqrt.f64 (.f64 27 (.f64 (*.f64 y x) x))))

Outputs
(.f64 x (.f64 27 y))

Calls

4 calls:

5.0ms	(.f64 (.f64 x 27) y)
5.0ms	(*.f64 x 27)
4.0ms	y
4.0ms	x

Results

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

Compiler

Compiled 67 to 42 computations (37.3% saved)

regimes10.0ms (0.4%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

Outputs
(.f64 27 (.f64 y x))

Calls

2 calls:

7.0ms	x
2.0ms	y

Results

Accuracy	Segments	Branch
99.6%	1	`x`
99.6%	1	`y`

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	13	26

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

Outputs
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness13.0ms (0.5%)

Rules

10×	`*-commutative`
6×	`associate-r`
6×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	11	13
2	18	13
3	20	13

Stop Event

1×

saturated

Compiler

Compiled 12 to 8 computations (33.3% saved)

end57.0ms (2.3%)

Compiler: Compiled 52 to 36 computations (30.8% saved)

analyze0.0ms (0%)

sample631.0ms (25.2%)

preprocess14.0ms (0.5%)

simplify14.0ms (0.6%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize31.0ms (1.2%)

series3.0ms (0.1%)

rewrite57.0ms (2.3%)

simplify68.0ms (2.7%)

eval2.0ms (0.1%)

prune4.0ms (0.2%)

localize47.0ms (1.9%)

series254.0ms (10.1%)

rewrite288.0ms (11.5%)

simplify85.0ms (3.4%)

eval73.0ms (2.9%)

prune20.0ms (0.8%)

localize303.0ms (12.1%)

series21.0ms (0.8%)

rewrite104.0ms (4.2%)

simplify134.0ms (5.3%)

eval202.0ms (8.1%)

prune43.0ms (1.7%)

regimes20.0ms (0.8%)

regimes10.0ms (0.4%)

simplify4.0ms (0.2%)

soundness13.0ms (0.5%)

end57.0ms (2.3%)

Profiling