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)

sample841.0ms (47%)

Results

738.0ms	7184×	body	256	valid
91.0ms	1072×	body	256	infinite

Bogosity

preprocess21.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

248×	`fma-def`
36×	`distribute-lft-in`
32×	`sub-neg`
30×	`associate-r`
24×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	73
1	35	65
2	72	65
3	124	65
4	155	65
5	202	65
6	251	65
7	340	65

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(sort x y)

Compiler

Compiled 7 to 5 computations (28.6% saved)

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize32.0ms (1.8%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 15 computations (40% saved)

series3.0ms (0.2%)

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

rewrite75.0ms (4.2%)

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

simplify65.0ms (3.6%)

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

eval3.0ms (0.1%)

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

prune11.0ms (0.6%)

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

Accuracy

100.0%

Counts

14 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.4%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	99.6%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
▶	99.7%	(.f64 27 (.f64 y x))
▶	98.4%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	99.6%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
▶	99.7%	(.f64 27 (.f64 y x))

Compiler

Compiled 62 to 46 computations (25.8% saved)

localize57.0ms (3.2%)

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
	99.7%	(.f64 x (.f64 27 y))
✓	99.2%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	75.9%	(cbrt.f64 (.f64 x (.f64 27 y)))
✓	99.7%	(.f64 27 (.f64 y x))

Compiler

Compiled 40 to 24 computations (40% saved)

series9.0ms (0.5%)

Counts

3 → 0

Calls

18 calls:

Time	Variable		Point	Expression
2.0ms	y	@	-inf	(cbrt.f64 (.f64 x (.f64 27 y)))
1.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
1.0ms	x	@	-inf	(cbrt.f64 (.f64 x (.f64 27 y)))
1.0ms	x	@	0	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
1.0ms	y	@	-inf	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)

rewrite85.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1084×	`log-prod`
798×	`exp-prod`
756×	`prod-exp`
700×	`pow-prod-down`
526×	`pow-prod-up`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	43
1	268	43
2	2629	43

Stop Event

1×	node limit

Counts

3 → 154

Calls

Call 1

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

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 (.f64 3 (cbrt.f64 (.f64 y x))) 3)
(pow.f64 (exp.f64 3) (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 9)
(pow.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) 3/2)
(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/6) 6)
(pow.f64 (sqrt.f64 (.f64 27 (.f64 y x))) 2)
(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/3) 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) 3))
(exp.f64 (.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) 3/2))
(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))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) 2))
(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 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3)))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1)))
(exp.f64 (+.f64 (log.f64 (sqrt.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 3/2)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (log.f64 (sqrt.f64 (.f64 27 (*.f64 y x))))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2)))
(exp.f64 (+.f64 (log.f64 (.f64 27 x)) (.f64 (log.f64 y) 1)))
(log1p.f64 (expm1.f64 (.f64 27 (.f64 y x))))
(+.f64 0 (.f64 3 (cbrt.f64 (.f64 y x))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x)))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 3 (cbrt.f64 (.f64 y x))))) 1)
(.f64 (.f64 3 (cbrt.f64 (*.f64 y x))) 1)
(.f64 3 (cbrt.f64 (.f64 y x)))
(.f64 1 (.f64 3 (cbrt.f64 (*.f64 y x))))
(.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 2) (cbrt.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))))
(.f64 (cbrt.f64 x) (cbrt.f64 (.f64 27 y)))
(.f64 (cbrt.f64 (.f64 27 y)) (cbrt.f64 x))
(.f64 (cbrt.f64 (.f64 y x)) 3)
(.f64 (pow.f64 (.f64 27 (.f64 y x)) 1/6) (pow.f64 (.f64 27 (*.f64 y x)) 1/6))
(.f64 (cbrt.f64 (.f64 27 x)) (cbrt.f64 y))
(pow.f64 (.f64 27 (.f64 y x)) 1/3)
(pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 1)
(pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3)
(pow.f64 (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 2) 3/2)
(pow.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) 1/2)
(pow.f64 (.f64 (pow.f64 (.f64 y x) 2) 729) 1/6)
(pow.f64 (pow.f64 (.f64 27 (.f64 y x)) 3) 1/9)
(pow.f64 (pow.f64 (.f64 27 (.f64 y x)) 1/6) 2)
(pow.f64 (sqrt.f64 (.f64 27 (.f64 y x))) 2/3)
(pow.f64 (exp.f64 1/3) (log.f64 (.f64 27 (.f64 y x))))
(pow.f64 (exp.f64 1) (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x))))) 2)) (cbrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x))))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))) (sqrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x))))))
(sqrt.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2))
(log.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (*.f64 y x))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 3 (cbrt.f64 (.f64 y x))))))
(expm1.f64 (log1p.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(exp.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(exp.f64 (.f64 (log.f64 (.f64 27 (*.f64 y x))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1) 1/3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (*.f64 y x))))) 3))
(exp.f64 (.f64 (.f64 1/6 (log.f64 (.f64 27 (.f64 y x)))) 2))
(exp.f64 (.f64 (.f64 2 (log.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))) 3/2))
(log1p.f64 (expm1.f64 (.f64 3 (cbrt.f64 (.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 (.f64 3 (cbrt.f64 (.f64 y x))) (pow.f64 (.f64 3 (cbrt.f64 (*.f64 y x))) 2))
(.f64 1 (.f64 27 (*.f64 y x)))
(.f64 (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 2) (.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2)))
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (.f64 27 y)) (pow.f64 (.f64 3 (cbrt.f64 (*.f64 y x))) 2)))
(.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 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) (.f64 3 (cbrt.f64 (*.f64 y x))))
(.f64 (pow.f64 (.f64 27 (.f64 y x)) 1/6) (pow.f64 (.f64 27 (*.f64 y x)) 5/6))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 27 y)))
(.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 (sqrt.f64 (.f64 27 (.f64 y x))) (sqrt.f64 (.f64 27 (*.f64 y x))))
(.f64 (.f64 27 x) y)
(.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 (.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) 1) (.f64 3 (cbrt.f64 (.f64 y x))))
(.f64 (pow.f64 (.f64 (.f64 3 (cbrt.f64 (.f64 y x))) (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x))))) 2) (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(.f64 (.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) (cbrt.f64 x)) (cbrt.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/3) 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) 3))
(exp.f64 (.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) 3/2))
(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))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) 2))
(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 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3)))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1)))
(exp.f64 (+.f64 (log.f64 (sqrt.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 3/2)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (log.f64 (sqrt.f64 (.f64 27 (*.f64 y x))))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2)))
(exp.f64 (+.f64 (log.f64 (.f64 27 x)) (.f64 (log.f64 y) 1)))
(log1p.f64 (expm1.f64 (.f64 27 (.f64 y x))))

simplify98.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

1708×	`log-prod`
1426×	`fma-def`
1072×	`unswap-sqr`
986×	`distribute-lft-in`
900×	`distribute-rgt-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	269	2674
1	621	2580
2	1674	2562
3	7861	2562

Stop Event

1×	node limit

Counts

154 → 127

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 (.f64 3 (cbrt.f64 (.f64 y x))) 3)
(pow.f64 (exp.f64 3) (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 9)
(pow.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) 3/2)
(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/6) 6)
(pow.f64 (sqrt.f64 (.f64 27 (.f64 y x))) 2)
(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/3) 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) 3))
(exp.f64 (.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) 3/2))
(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))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) 2))
(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 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3)))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1)))
(exp.f64 (+.f64 (log.f64 (sqrt.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 3/2)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (log.f64 (sqrt.f64 (.f64 27 (*.f64 y x))))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2)))
(exp.f64 (+.f64 (log.f64 (.f64 27 x)) (.f64 (log.f64 y) 1)))
(log1p.f64 (expm1.f64 (.f64 27 (.f64 y x))))
(+.f64 0 (.f64 3 (cbrt.f64 (.f64 y x))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x)))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 3 (cbrt.f64 (.f64 y x))))) 1)
(.f64 (.f64 3 (cbrt.f64 (*.f64 y x))) 1)
(.f64 3 (cbrt.f64 (.f64 y x)))
(.f64 1 (.f64 3 (cbrt.f64 (*.f64 y x))))
(.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 2) (cbrt.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))))
(.f64 (cbrt.f64 x) (cbrt.f64 (.f64 27 y)))
(.f64 (cbrt.f64 (.f64 27 y)) (cbrt.f64 x))
(.f64 (cbrt.f64 (.f64 y x)) 3)
(.f64 (pow.f64 (.f64 27 (.f64 y x)) 1/6) (pow.f64 (.f64 27 (*.f64 y x)) 1/6))
(.f64 (cbrt.f64 (.f64 27 x)) (cbrt.f64 y))
(pow.f64 (.f64 27 (.f64 y x)) 1/3)
(pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 1)
(pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3)
(pow.f64 (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 2) 3/2)
(pow.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) 1/2)
(pow.f64 (.f64 (pow.f64 (.f64 y x) 2) 729) 1/6)
(pow.f64 (pow.f64 (.f64 27 (.f64 y x)) 3) 1/9)
(pow.f64 (pow.f64 (.f64 27 (.f64 y x)) 1/6) 2)
(pow.f64 (sqrt.f64 (.f64 27 (.f64 y x))) 2/3)
(pow.f64 (exp.f64 1/3) (log.f64 (.f64 27 (.f64 y x))))
(pow.f64 (exp.f64 1) (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x))))) 2)) (cbrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x))))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))) (sqrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x))))))
(sqrt.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2))
(log.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (*.f64 y x))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 3 (cbrt.f64 (.f64 y x))))))
(expm1.f64 (log1p.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(exp.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(exp.f64 (.f64 (log.f64 (.f64 27 (*.f64 y x))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1) 1/3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (*.f64 y x))))) 3))
(exp.f64 (.f64 (.f64 1/6 (log.f64 (.f64 27 (.f64 y x)))) 2))
(exp.f64 (.f64 (.f64 2 (log.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))) 3/2))
(log1p.f64 (expm1.f64 (.f64 3 (cbrt.f64 (.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 (.f64 3 (cbrt.f64 (.f64 y x))) (pow.f64 (.f64 3 (cbrt.f64 (*.f64 y x))) 2))
(.f64 1 (.f64 27 (*.f64 y x)))
(.f64 (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 2) (.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2)))
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (.f64 27 y)) (pow.f64 (.f64 3 (cbrt.f64 (*.f64 y x))) 2)))
(.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 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) (.f64 3 (cbrt.f64 (*.f64 y x))))
(.f64 (pow.f64 (.f64 27 (.f64 y x)) 1/6) (pow.f64 (.f64 27 (*.f64 y x)) 5/6))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 27 y)))
(.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 (sqrt.f64 (.f64 27 (.f64 y x))) (sqrt.f64 (.f64 27 (*.f64 y x))))
(.f64 (.f64 27 x) y)
(.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 (.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) 1) (.f64 3 (cbrt.f64 (.f64 y x))))
(.f64 (pow.f64 (.f64 (.f64 3 (cbrt.f64 (.f64 y x))) (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x))))) 2) (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(.f64 (.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) (cbrt.f64 x)) (cbrt.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/3) 3))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) 3))
(exp.f64 (.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) 3/2))
(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))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) 2))
(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 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3)))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1)))
(exp.f64 (+.f64 (log.f64 (sqrt.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 3/2)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (log.f64 (sqrt.f64 (.f64 27 (*.f64 y x))))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2)))
(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 (.f64 3 (cbrt.f64 (.f64 y x))) 3)
(.f64 27 (.f64 y x))
(pow.f64 (exp.f64 3) (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(.f64 27 (.f64 y x))
(pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 9)
(pow.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) 3/2)
(.f64 27 (.f64 y x))
(pow.f64 (.f64 (pow.f64 (.f64 y x) 2) 729) 1/2)
(sqrt.f64 (.f64 (pow.f64 (.f64 y x) 2) 729))
(fabs.f64 (.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/6) 6)
(.f64 27 (.f64 y x))
(pow.f64 (sqrt.f64 (.f64 27 (.f64 y x))) 2)
(.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))
(fabs.f64 (.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/3) 3))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) 3))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) 3/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 (log.f64 (sqrt.f64 (.f64 27 (*.f64 y x)))) 2))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) 2))
(.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 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3)))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1)))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (log.f64 (sqrt.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 3/2)))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (log.f64 (sqrt.f64 (.f64 27 (*.f64 y x))))))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2)))
(.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 (.f64 3 (cbrt.f64 (.f64 y x))))
(.f64 3 (cbrt.f64 (.f64 y x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x)))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x))))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (.f64 y x))))))
(.f64 3 (cbrt.f64 (.f64 y x)))
(-.f64 (exp.f64 (log1p.f64 (.f64 3 (cbrt.f64 (.f64 y x))))) 1)
(.f64 3 (cbrt.f64 (.f64 y x)))
(.f64 (.f64 3 (cbrt.f64 (*.f64 y x))) 1)
(.f64 3 (cbrt.f64 (.f64 y x)))
(.f64 3 (cbrt.f64 (.f64 y x)))
(.f64 1 (.f64 3 (cbrt.f64 (*.f64 y x))))
(.f64 3 (cbrt.f64 (.f64 y x)))
(.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 2))
(.f64 3 (cbrt.f64 (.f64 y x)))
(.f64 (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 2) (cbrt.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))))
(.f64 3 (cbrt.f64 (.f64 y x)))
(.f64 (cbrt.f64 x) (cbrt.f64 (.f64 27 y)))
(.f64 (cbrt.f64 (.f64 27 y)) (cbrt.f64 x))
(.f64 (cbrt.f64 x) (cbrt.f64 (.f64 27 y)))
(.f64 (cbrt.f64 (.f64 y x)) 3)
(.f64 3 (cbrt.f64 (.f64 y x)))
(.f64 (pow.f64 (.f64 27 (.f64 y x)) 1/6) (pow.f64 (.f64 27 (*.f64 y x)) 1/6))
(.f64 3 (cbrt.f64 (.f64 y x)))
(.f64 (cbrt.f64 (.f64 27 x)) (cbrt.f64 y))
(pow.f64 (.f64 27 (.f64 y x)) 1/3)
(.f64 3 (cbrt.f64 (.f64 y x)))
(pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 1)
(.f64 3 (cbrt.f64 (.f64 y x)))
(pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3)
(.f64 3 (cbrt.f64 (.f64 y x)))
(pow.f64 (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 2) 3/2)
(.f64 3 (cbrt.f64 (.f64 y x)))
(pow.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) 1/2)
(.f64 3 (cbrt.f64 (.f64 y x)))
(pow.f64 (.f64 (pow.f64 (.f64 y x) 2) 729) 1/6)
(.f64 3 (cbrt.f64 (.f64 y x)))
(pow.f64 (pow.f64 (.f64 27 (.f64 y x)) 3) 1/9)
(.f64 3 (cbrt.f64 (.f64 y x)))
(pow.f64 (pow.f64 (.f64 27 (.f64 y x)) 1/6) 2)
(.f64 3 (cbrt.f64 (.f64 y x)))
(pow.f64 (sqrt.f64 (.f64 27 (.f64 y x))) 2/3)
(.f64 3 (cbrt.f64 (.f64 y x)))
(pow.f64 (exp.f64 1/3) (log.f64 (.f64 27 (.f64 y x))))
(.f64 3 (cbrt.f64 (.f64 y x)))
(pow.f64 (exp.f64 1) (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(.f64 3 (cbrt.f64 (.f64 y x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x))))) 2)) (cbrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x))))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))) (sqrt.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x))))))
(sqrt.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2))
(.f64 3 (cbrt.f64 (.f64 y x)))
(log.f64 (pow.f64 (exp.f64 3) (cbrt.f64 (*.f64 y x))))
(.f64 3 (cbrt.f64 (.f64 y x)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 3 (cbrt.f64 (.f64 y x))))))
(.f64 3 (cbrt.f64 (.f64 y x)))
(expm1.f64 (log1p.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(.f64 3 (cbrt.f64 (.f64 y x)))
(exp.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(.f64 3 (cbrt.f64 (.f64 y x)))
(exp.f64 (.f64 (log.f64 (.f64 27 (*.f64 y x))) 1/3))
(.f64 3 (cbrt.f64 (.f64 y x)))
(exp.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 1))
(.f64 3 (cbrt.f64 (.f64 y x)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1) 1/3))
(.f64 3 (cbrt.f64 (.f64 y x)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3) 1))
(.f64 3 (cbrt.f64 (.f64 y x)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) 1))
(.f64 3 (cbrt.f64 (.f64 y x)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (*.f64 y x))))) 3))
(.f64 3 (cbrt.f64 (.f64 y x)))
(exp.f64 (.f64 (.f64 1/6 (log.f64 (.f64 27 (.f64 y x)))) 2))
(.f64 3 (cbrt.f64 (.f64 y x)))
(exp.f64 (.f64 (.f64 2 (log.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))) 3/2))
(.f64 3 (cbrt.f64 (.f64 y x)))
(log1p.f64 (expm1.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(.f64 3 (cbrt.f64 (.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 (.f64 3 (cbrt.f64 (.f64 y x))) (pow.f64 (.f64 3 (cbrt.f64 (*.f64 y x))) 2))
(.f64 27 (.f64 y x))
(.f64 1 (.f64 27 (*.f64 y x)))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 2) (.f64 (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2)))
(.f64 27 (.f64 y x))
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (.f64 27 y)) (pow.f64 (.f64 3 (cbrt.f64 (*.f64 y x))) 2)))
(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 27 y))) (pow.f64 (.f64 3 (cbrt.f64 (*.f64 y x))) 2))
(.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) (.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 27 y))))
(.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 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) (.f64 3 (cbrt.f64 (*.f64 y x))))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (.f64 27 (.f64 y x)) 1/6) (pow.f64 (.f64 27 (*.f64 y x)) 5/6))
(.f64 (pow.f64 (.f64 27 (.f64 y x)) 5/6) (pow.f64 (.f64 27 (*.f64 y x)) 1/6))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 27 y)))
(.f64 27 (.f64 y x))
(.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 (sqrt.f64 (.f64 27 (.f64 y x))) (sqrt.f64 (.f64 27 (*.f64 y x))))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 x) y)
(.f64 27 (.f64 y x))
(.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 (.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) 1) (.f64 3 (cbrt.f64 (.f64 y x))))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (.f64 (.f64 3 (cbrt.f64 (.f64 y x))) (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x))))) 2) (cbrt.f64 (.f64 3 (cbrt.f64 (.f64 y x)))))
(.f64 27 (.f64 y x))
(.f64 (.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) (cbrt.f64 x)) (cbrt.f64 (*.f64 27 y)))
(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 27 y))) (pow.f64 (.f64 3 (cbrt.f64 (*.f64 y x))) 2))
(.f64 (pow.f64 (.f64 3 (cbrt.f64 (.f64 y x))) 2) (.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 27 y))))
(.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))
(fabs.f64 (.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/3) 3))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) 3))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) 3/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 (log.f64 (sqrt.f64 (.f64 27 (*.f64 y x)))) 2))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) 2))
(.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 (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1) (.f64 2/3 (log.f64 (.f64 27 (.f64 y x))))))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 27 (.f64 y x))) 1/3)))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (.f64 2/3 (log.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 1)))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (log.f64 (sqrt.f64 (.f64 27 (.f64 y x)))) (.f64 (log.f64 (.f64 3 (cbrt.f64 (*.f64 y x)))) 3/2)))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (log.f64 (sqrt.f64 (.f64 27 (*.f64 y x))))))
(.f64 27 (.f64 y x))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2) (.f64 (log.f64 (.f64 3 (cbrt.f64 (.f64 y x)))) 3/2)))
(.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))

eval34.0ms (1.9%)

Compiler: Compiled 1639 to 1055 computations (35.6% saved)

prune24.0ms (1.4%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	137	2	139
Fresh	0	0	0
Picked	0	2	2
Done	0	2	2
Total	137	6	143

Accuracy

100.0%

Counts

143 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.4%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
▶	74.2%	(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
▶	74.1%	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	99.6%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 y x))
✓	98.4%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
▶	74.2%	(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
▶	74.1%	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	99.6%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 y x))

Compiler

Compiled 110 to 80 computations (27.3% saved)

localize62.0ms (3.5%)

Localize:

Found 5 expressions with local error:

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

Compiler

Compiled 53 to 32 computations (39.6% saved)

series16.0ms (0.9%)

Counts

5 → 72

Calls

27 calls:

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

rewrite89.0ms (5%)

Algorithm

1×	batch-egg-rewrite

Rules

1434×	`log-prod`
1088×	`pow-prod-down`
734×	`pow-unpow`
662×	`pow-prod-up`
578×	`pow-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	71
1	281	71
2	3379	71

Stop Event

1×	node limit

Counts

5 → 130

Calls

Call 1

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

Outputs
(+.f64 0 (.f64 27 (.f64 x y)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))) (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 27 (.f64 x y)))) 1)
(pow.f64 (.f64 27 (.f64 x y)) 1)
(pow.f64 (cbrt.f64 (.f64 27 (.f64 x y))) 3)
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 2) 1/2)
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 27 (.f64 x y))) 2)
(pow.f64 (.f64 (cbrt.f64 y) (cbrt.f64 (.f64 x 27))) 3)
(pow.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x 27) 3)) 1/3)
(pow.f64 (.f64 (cbrt.f64 (.f64 27 y)) (cbrt.f64 x)) 3)
(pow.f64 (.f64 (pow.f64 (.f64 27 y) 3) (pow.f64 x 3)) 1/3)
(sqrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 2))
(log.f64 (pow.f64 (exp.f64 27) (*.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 27 (.f64 x y)))))
(cbrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 3))
(expm1.f64 (log1p.f64 (.f64 27 (.f64 x y))))
(exp.f64 (log.f64 (.f64 27 (.f64 x y))))
(exp.f64 (.f64 (log.f64 (.f64 27 (*.f64 x y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 x y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 27 (*.f64 x y)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 27 (.f64 x y)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 27 (*.f64 x y)))) 2))
(log1p.f64 (expm1.f64 (.f64 27 (.f64 x y))))
(+.f64 0 (.f64 x (sqrt.f64 (.f64 27 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 (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 x (sqrt.f64 (.f64 27 y))))) 1)
(pow.f64 (.f64 x (sqrt.f64 (.f64 27 y))) 1)
(pow.f64 (cbrt.f64 (.f64 x (sqrt.f64 (.f64 27 y)))) 3)
(pow.f64 (.f64 x (.f64 27 (*.f64 x y))) 1/2)
(pow.f64 (pow.f64 (.f64 x (sqrt.f64 (.f64 27 y))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (sqrt.f64 (.f64 27 y)))) 2)
(sqrt.f64 (.f64 x (.f64 27 (*.f64 x y))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 (*.f64 27 y))) x))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (sqrt.f64 (.f64 27 y))))))
(cbrt.f64 (pow.f64 (.f64 x (sqrt.f64 (.f64 27 y))) 3))
(expm1.f64 (log1p.f64 (.f64 x (sqrt.f64 (.f64 27 y)))))
(exp.f64 (log.f64 (.f64 x (sqrt.f64 (.f64 27 y)))))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (*.f64 27 y)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (.f64 27 y)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (sqrt.f64 (*.f64 27 y))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (sqrt.f64 (.f64 27 y))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (sqrt.f64 (*.f64 27 y))))) 2))
(log1p.f64 (expm1.f64 (.f64 x (sqrt.f64 (.f64 27 y)))))
(+.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 (sqrt.f64 y) (sqrt.f64 27))
(.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 27) (sqrt.f64 y))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 27 y)) 2)) (sqrt.f64 (cbrt.f64 (*.f64 27 y))))
(.f64 (.f64 (sqrt.f64 27) 1) (sqrt.f64 y))
(.f64 (.f64 (sqrt.f64 27) (cbrt.f64 y)) (pow.f64 y 1/6))
(.f64 (.f64 (sqrt.f64 27) (pow.f64 y 1/4)) (pow.f64 y 1/4))
(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 729 (.f64 y y)) 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 (.f64 (.f64 x 27) (sqrt.f64 y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 x 27) (sqrt.f64 y)))) 1)
(pow.f64 (.f64 (.f64 x 27) (sqrt.f64 y)) 1)
(pow.f64 (cbrt.f64 (.f64 (.f64 x 27) (sqrt.f64 y))) 3)
(pow.f64 (.f64 y (.f64 729 (*.f64 x x))) 1/2)
(pow.f64 (pow.f64 (.f64 (.f64 x 27) (sqrt.f64 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (.f64 x 27) (sqrt.f64 y))) 2)
(sqrt.f64 (.f64 y (.f64 729 (*.f64 x x))))
(log.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 x 27) (sqrt.f64 y)))))
(cbrt.f64 (pow.f64 (.f64 (.f64 x 27) (sqrt.f64 y)) 3))
(expm1.f64 (log1p.f64 (.f64 (.f64 x 27) (sqrt.f64 y))))
(exp.f64 (log.f64 (.f64 (.f64 x 27) (sqrt.f64 y))))
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 x 27) (sqrt.f64 y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (.f64 x 27) (sqrt.f64 y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 (.f64 x 27) (sqrt.f64 y)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)))) 2))
(log1p.f64 (expm1.f64 (.f64 (.f64 x 27) (sqrt.f64 y))))
(+.f64 0 (.f64 27 (.f64 x y)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))) (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 27 (.f64 x y)))) 1)
(pow.f64 (.f64 27 (.f64 x y)) 1)
(pow.f64 (cbrt.f64 (.f64 27 (.f64 x y))) 3)
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 2) 1/2)
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 27 (.f64 x y))) 2)
(pow.f64 (.f64 (cbrt.f64 y) (cbrt.f64 (.f64 x 27))) 3)
(pow.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x 27) 3)) 1/3)
(pow.f64 (.f64 (cbrt.f64 (.f64 27 y)) (cbrt.f64 x)) 3)
(pow.f64 (.f64 (pow.f64 (.f64 27 y) 3) (pow.f64 x 3)) 1/3)
(sqrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 2))
(log.f64 (pow.f64 (exp.f64 27) (*.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 27 (.f64 x y)))))
(cbrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 3))
(expm1.f64 (log1p.f64 (.f64 27 (.f64 x y))))
(exp.f64 (log.f64 (.f64 27 (.f64 x y))))
(exp.f64 (.f64 (log.f64 (.f64 27 (*.f64 x y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 x y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 27 (*.f64 x y)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 27 (.f64 x y)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 27 (*.f64 x y)))) 2))
(log1p.f64 (expm1.f64 (.f64 27 (.f64 x y))))

simplify92.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

1768×	`log-prod`
1462×	`fma-def`
938×	`distribute-lft-in`
912×	`distribute-rgt-in`
632×	`prod-exp`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	275	4238
1	629	3172
2	1964	3016
3	6813	3016

Stop Event

1×	node limit

Counts

202 → 130

Calls

Call 1

Inputs
(.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 (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 (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 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 (sqrt.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 (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 27 (.f64 x y)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))) (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 27 (.f64 x y)))) 1)
(pow.f64 (.f64 27 (.f64 x y)) 1)
(pow.f64 (cbrt.f64 (.f64 27 (.f64 x y))) 3)
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 2) 1/2)
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 27 (.f64 x y))) 2)
(pow.f64 (.f64 (cbrt.f64 y) (cbrt.f64 (.f64 x 27))) 3)
(pow.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x 27) 3)) 1/3)
(pow.f64 (.f64 (cbrt.f64 (.f64 27 y)) (cbrt.f64 x)) 3)
(pow.f64 (.f64 (pow.f64 (.f64 27 y) 3) (pow.f64 x 3)) 1/3)
(sqrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 2))
(log.f64 (pow.f64 (exp.f64 27) (*.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 27 (.f64 x y)))))
(cbrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 3))
(expm1.f64 (log1p.f64 (.f64 27 (.f64 x y))))
(exp.f64 (log.f64 (.f64 27 (.f64 x y))))
(exp.f64 (.f64 (log.f64 (.f64 27 (*.f64 x y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 x y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 27 (*.f64 x y)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 27 (.f64 x y)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 27 (*.f64 x y)))) 2))
(log1p.f64 (expm1.f64 (.f64 27 (.f64 x y))))
(+.f64 0 (.f64 x (sqrt.f64 (.f64 27 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 (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 x (sqrt.f64 (.f64 27 y))))) 1)
(pow.f64 (.f64 x (sqrt.f64 (.f64 27 y))) 1)
(pow.f64 (cbrt.f64 (.f64 x (sqrt.f64 (.f64 27 y)))) 3)
(pow.f64 (.f64 x (.f64 27 (*.f64 x y))) 1/2)
(pow.f64 (pow.f64 (.f64 x (sqrt.f64 (.f64 27 y))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (sqrt.f64 (.f64 27 y)))) 2)
(sqrt.f64 (.f64 x (.f64 27 (*.f64 x y))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 (*.f64 27 y))) x))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (sqrt.f64 (.f64 27 y))))))
(cbrt.f64 (pow.f64 (.f64 x (sqrt.f64 (.f64 27 y))) 3))
(expm1.f64 (log1p.f64 (.f64 x (sqrt.f64 (.f64 27 y)))))
(exp.f64 (log.f64 (.f64 x (sqrt.f64 (.f64 27 y)))))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (*.f64 27 y)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (.f64 27 y)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (sqrt.f64 (*.f64 27 y))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (sqrt.f64 (.f64 27 y))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (sqrt.f64 (*.f64 27 y))))) 2))
(log1p.f64 (expm1.f64 (.f64 x (sqrt.f64 (.f64 27 y)))))
(+.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 (sqrt.f64 y) (sqrt.f64 27))
(.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 27) (sqrt.f64 y))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 27 y)) 2)) (sqrt.f64 (cbrt.f64 (*.f64 27 y))))
(.f64 (.f64 (sqrt.f64 27) 1) (sqrt.f64 y))
(.f64 (.f64 (sqrt.f64 27) (cbrt.f64 y)) (pow.f64 y 1/6))
(.f64 (.f64 (sqrt.f64 27) (pow.f64 y 1/4)) (pow.f64 y 1/4))
(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 729 (.f64 y y)) 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 (.f64 (.f64 x 27) (sqrt.f64 y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 x 27) (sqrt.f64 y)))) 1)
(pow.f64 (.f64 (.f64 x 27) (sqrt.f64 y)) 1)
(pow.f64 (cbrt.f64 (.f64 (.f64 x 27) (sqrt.f64 y))) 3)
(pow.f64 (.f64 y (.f64 729 (*.f64 x x))) 1/2)
(pow.f64 (pow.f64 (.f64 (.f64 x 27) (sqrt.f64 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (.f64 x 27) (sqrt.f64 y))) 2)
(sqrt.f64 (.f64 y (.f64 729 (*.f64 x x))))
(log.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 x 27) (sqrt.f64 y)))))
(cbrt.f64 (pow.f64 (.f64 (.f64 x 27) (sqrt.f64 y)) 3))
(expm1.f64 (log1p.f64 (.f64 (.f64 x 27) (sqrt.f64 y))))
(exp.f64 (log.f64 (.f64 (.f64 x 27) (sqrt.f64 y))))
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 x 27) (sqrt.f64 y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (.f64 x 27) (sqrt.f64 y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 (.f64 x 27) (sqrt.f64 y)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)))) 2))
(log1p.f64 (expm1.f64 (.f64 (.f64 x 27) (sqrt.f64 y))))
(+.f64 0 (.f64 27 (.f64 x y)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))) (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 27 (.f64 x y)))) 1)
(pow.f64 (.f64 27 (.f64 x y)) 1)
(pow.f64 (cbrt.f64 (.f64 27 (.f64 x y))) 3)
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 2) 1/2)
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 27 (.f64 x y))) 2)
(pow.f64 (.f64 (cbrt.f64 y) (cbrt.f64 (.f64 x 27))) 3)
(pow.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x 27) 3)) 1/3)
(pow.f64 (.f64 (cbrt.f64 (.f64 27 y)) (cbrt.f64 x)) 3)
(pow.f64 (.f64 (pow.f64 (.f64 27 y) 3) (pow.f64 x 3)) 1/3)
(sqrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 2))
(log.f64 (pow.f64 (exp.f64 27) (*.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 27 (.f64 x y)))))
(cbrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 3))
(expm1.f64 (log1p.f64 (.f64 27 (.f64 x y))))
(exp.f64 (log.f64 (.f64 27 (.f64 x y))))
(exp.f64 (.f64 (log.f64 (.f64 27 (*.f64 x y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 x y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 27 (*.f64 x y)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 27 (.f64 x y)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 27 (*.f64 x y)))) 2))
(log1p.f64 (expm1.f64 (.f64 27 (.f64 x y))))

Outputs
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 (sqrt.f64 y) x))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 -27 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 -27 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 -27 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 -27 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 y x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(+.f64 0 (.f64 27 (.f64 x y)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))) (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 y x))) (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 y x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 y x)))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 y x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (*.f64 y x)))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 y x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (.f64 27 (.f64 x y)))) 1)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (.f64 27 (.f64 x y)) 1)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (cbrt.f64 (.f64 27 (.f64 x y))) 3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 2) 1/2)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 3) 1/3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (sqrt.f64 (.f64 27 (.f64 x y))) 2)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (.f64 (cbrt.f64 y) (cbrt.f64 (.f64 x 27))) 3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x 27) 3)) 1/3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (.f64 (cbrt.f64 (.f64 27 y)) (cbrt.f64 x)) 3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (.f64 (pow.f64 (.f64 27 y) 3) (pow.f64 x 3)) 1/3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(sqrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 2))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(log.f64 (pow.f64 (exp.f64 27) (*.f64 x y)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (.f64 27 (.f64 x y)))))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(cbrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 3))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(expm1.f64 (log1p.f64 (.f64 27 (.f64 x y))))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (log.f64 (.f64 27 (.f64 x y))))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (log.f64 (.f64 27 (*.f64 x y))) 1))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 x y))) 1) 1))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 27 (*.f64 x y)))) 3))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 27 (.f64 x y)))) 1/3))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 27 (*.f64 x y)))) 2))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(log1p.f64 (expm1.f64 (.f64 27 (.f64 x y))))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(+.f64 0 (.f64 x (sqrt.f64 (.f64 27 y))))
(.f64 x (sqrt.f64 (.f64 27 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 x (sqrt.f64 (.f64 27 y)))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (sqrt.f64 (.f64 27 y))))) 1)
(.f64 x (sqrt.f64 (.f64 27 y)))
(pow.f64 (.f64 x (sqrt.f64 (.f64 27 y))) 1)
(.f64 x (sqrt.f64 (.f64 27 y)))
(pow.f64 (cbrt.f64 (.f64 x (sqrt.f64 (.f64 27 y)))) 3)
(.f64 x (sqrt.f64 (.f64 27 y)))
(pow.f64 (.f64 x (.f64 27 (*.f64 x y))) 1/2)
(sqrt.f64 (.f64 (.f64 27 x) (*.f64 y x)))
(sqrt.f64 (.f64 (.f64 y x) (*.f64 27 x)))
(pow.f64 (pow.f64 (.f64 x (sqrt.f64 (.f64 27 y))) 3) 1/3)
(.f64 x (sqrt.f64 (.f64 27 y)))
(pow.f64 (sqrt.f64 (.f64 x (sqrt.f64 (.f64 27 y)))) 2)
(.f64 x (sqrt.f64 (.f64 27 y)))
(sqrt.f64 (.f64 x (.f64 27 (*.f64 x y))))
(sqrt.f64 (.f64 (.f64 27 x) (*.f64 y x)))
(sqrt.f64 (.f64 (.f64 y x) (*.f64 27 x)))
(log.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 x (sqrt.f64 (.f64 27 y))))))
(.f64 x (sqrt.f64 (.f64 27 y)))
(cbrt.f64 (pow.f64 (.f64 x (sqrt.f64 (.f64 27 y))) 3))
(.f64 x (sqrt.f64 (.f64 27 y)))
(expm1.f64 (log1p.f64 (.f64 x (sqrt.f64 (.f64 27 y)))))
(.f64 x (sqrt.f64 (.f64 27 y)))
(exp.f64 (log.f64 (.f64 x (sqrt.f64 (.f64 27 y)))))
(.f64 x (sqrt.f64 (.f64 27 y)))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (*.f64 27 y)))) 1))
(.f64 x (sqrt.f64 (.f64 27 y)))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 (.f64 27 y)))) 1) 1))
(.f64 x (sqrt.f64 (.f64 27 y)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (sqrt.f64 (*.f64 27 y))))) 3))
(.f64 x (sqrt.f64 (.f64 27 y)))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (sqrt.f64 (.f64 27 y))))) 1/3))
(.f64 x (sqrt.f64 (.f64 27 y)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (sqrt.f64 (*.f64 27 y))))) 2))
(.f64 x (sqrt.f64 (.f64 27 y)))
(log1p.f64 (expm1.f64 (.f64 x (sqrt.f64 (.f64 27 y)))))
(.f64 x (sqrt.f64 (.f64 27 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))))))
(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 (sqrt.f64 y) (sqrt.f64 27))
(*.f64 (sqrt.f64 27) (sqrt.f64 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 27) (sqrt.f64 y))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 27 y)) 2)) (sqrt.f64 (cbrt.f64 (*.f64 27 y))))
(sqrt.f64 (*.f64 27 y))
(.f64 (.f64 (sqrt.f64 27) 1) (sqrt.f64 y))
(*.f64 (sqrt.f64 27) (sqrt.f64 y))
(.f64 (.f64 (sqrt.f64 27) (cbrt.f64 y)) (pow.f64 y 1/6))
(.f64 (sqrt.f64 27) (.f64 (cbrt.f64 y) (pow.f64 y 1/6)))
(.f64 (.f64 (sqrt.f64 27) (pow.f64 y 1/4)) (pow.f64 y 1/4))
(*.f64 (sqrt.f64 27) (sqrt.f64 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 729 (.f64 y y)) 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 (.f64 (.f64 x 27) (sqrt.f64 y)))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 x 27) (sqrt.f64 y)))) 1)
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(pow.f64 (.f64 (.f64 x 27) (sqrt.f64 y)) 1)
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(pow.f64 (cbrt.f64 (.f64 (.f64 x 27) (sqrt.f64 y))) 3)
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(pow.f64 (.f64 y (.f64 729 (*.f64 x x))) 1/2)
(sqrt.f64 (.f64 y (.f64 729 (*.f64 x x))))
(sqrt.f64 (.f64 y (.f64 x (*.f64 x 729))))
(pow.f64 (pow.f64 (.f64 (.f64 x 27) (sqrt.f64 y)) 3) 1/3)
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(pow.f64 (sqrt.f64 (.f64 (.f64 x 27) (sqrt.f64 y))) 2)
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(sqrt.f64 (.f64 y (.f64 729 (*.f64 x x))))
(sqrt.f64 (.f64 y (.f64 x (*.f64 x 729))))
(log.f64 (pow.f64 (pow.f64 (exp.f64 27) x) (sqrt.f64 y)))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 x 27) (sqrt.f64 y)))))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(cbrt.f64 (pow.f64 (.f64 (.f64 x 27) (sqrt.f64 y)) 3))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(expm1.f64 (log1p.f64 (.f64 (.f64 x 27) (sqrt.f64 y))))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(exp.f64 (log.f64 (.f64 (.f64 x 27) (sqrt.f64 y))))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 x 27) (sqrt.f64 y))) 1))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 (.f64 x 27) (sqrt.f64 y))) 1) 1))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)))) 3))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 (.f64 x 27) (sqrt.f64 y)))) 1/3))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)))) 2))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(log1p.f64 (expm1.f64 (.f64 (.f64 x 27) (sqrt.f64 y))))
(.f64 27 (.f64 x (sqrt.f64 y)))
(.f64 (sqrt.f64 y) (.f64 27 x))
(+.f64 0 (.f64 27 (.f64 x y)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))) (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 y x))) (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 y x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 y x)))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 y x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (*.f64 y x)))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 27) (.f64 y x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 27) (.f64 x y)))))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (.f64 27 (.f64 x y)))) 1)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (.f64 27 (.f64 x y)) 1)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (cbrt.f64 (.f64 27 (.f64 x y))) 3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 2) 1/2)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (pow.f64 (.f64 27 (.f64 x y)) 3) 1/3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (sqrt.f64 (.f64 27 (.f64 x y))) 2)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (.f64 (cbrt.f64 y) (cbrt.f64 (.f64 x 27))) 3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 x 27) 3)) 1/3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (.f64 (cbrt.f64 (.f64 27 y)) (cbrt.f64 x)) 3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(pow.f64 (.f64 (pow.f64 (.f64 27 y) 3) (pow.f64 x 3)) 1/3)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(sqrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 2))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(log.f64 (pow.f64 (exp.f64 27) (*.f64 x y)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (.f64 27 (.f64 x y)))))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(cbrt.f64 (pow.f64 (.f64 27 (.f64 x y)) 3))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(expm1.f64 (log1p.f64 (.f64 27 (.f64 x y))))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (log.f64 (.f64 27 (.f64 x y))))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (log.f64 (.f64 27 (*.f64 x y))) 1))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 27 (.f64 x y))) 1) 1))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 27 (*.f64 x y)))) 3))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 27 (.f64 x y)))) 1/3))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 27 (*.f64 x y)))) 2))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(log1p.f64 (expm1.f64 (.f64 27 (.f64 x y))))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))

eval53.0ms (2.9%)

Compiler: Compiled 2439 to 1789 computations (26.7% saved)

prune27.0ms (1.5%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	173	0	173
Fresh	0	0	0
Picked	0	2	2
Done	0	4	4
Total	173	6	179

Accuracy

100.0%

Counts

179 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.4%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	74.2%	(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
✓	74.1%	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	99.6%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 y x))

Compiler

Compiled 100 to 70 computations (30% saved)

regimes21.0ms (1.2%)

Counts

6 → 1

Calls

Call 1

Inputs
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 (.f64 x 27) y)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))

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

Calls

4 calls:

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

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 63 to 43 computations (31.7% saved)

regimes6.0ms (0.3%)

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:

3.0ms	x
3.0ms	y

Results

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify5.0ms (0.3%)

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)

soundness23.0ms (1.3%)

Rules

248×	`fma-def`
36×	`distribute-lft-in`
32×	`sub-neg`
30×	`associate-r`
24×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	73
1	35	65
2	72	65
3	124	65
4	155	65
5	202	65
6	251	65
7	340	65

Stop Event

1×

saturated

Compiler

Compiled 12 to 8 computations (33.3% saved)

end0.0ms (0%)

preprocess36.0ms (2%)

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

analyze0.0ms (0%)

sample841.0ms (47%)

preprocess21.0ms (1.2%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize32.0ms (1.8%)

series3.0ms (0.2%)

rewrite75.0ms (4.2%)

simplify65.0ms (3.6%)

eval3.0ms (0.1%)

prune11.0ms (0.6%)

localize57.0ms (3.2%)

series9.0ms (0.5%)

rewrite85.0ms (4.7%)

simplify98.0ms (5.5%)

eval34.0ms (1.9%)

prune24.0ms (1.4%)

localize62.0ms (3.5%)

series16.0ms (0.9%)

rewrite89.0ms (5%)

simplify92.0ms (5.1%)

eval53.0ms (2.9%)

prune27.0ms (1.5%)

regimes21.0ms (1.2%)

regimes6.0ms (0.3%)

simplify5.0ms (0.3%)

soundness23.0ms (1.3%)

end0.0ms (0%)

preprocess36.0ms (2%)

Profiling