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)

sample855.0ms (50.1%)

Results

742.0ms	7155×	body	256	valid
102.0ms	1101×	body	256	infinite

Bogosity

preprocess20.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	60
1	35	52
2	72	52
3	124	52
4	155	52
5	202	52
6	251	52
7	340	52

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.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 (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 9 to 7 computations (22.2% saved)

simplify3.0ms (0.2%)

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

100.0%

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize35.0ms (2%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	99.5%	(.f64 (.f64 x 27) y)
✓	99.8%	(.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))

rewrite59.0ms (3.5%)

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

simplify78.0ms (4.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)

prune15.0ms (0.9%)

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
▶	98.6%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	99.5%	(.f64 (.f64 x 27) y)
✓	99.8%	(.f64 x (.f64 27 y))
▶	99.6%	(.f64 27 (.f64 y x))
▶	98.6%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	99.5%	(.f64 (.f64 x 27) y)
✓	99.8%	(.f64 x (.f64 27 y))
▶	99.6%	(.f64 27 (.f64 y x))

Compiler

Compiled 62 to 46 computations (25.8% saved)

localize72.0ms (4.2%)

Local Accuracy

Found 4 expressions with local accuracy:

New	Accuracy	Program
	99.8%	(.f64 x (.f64 27 y))
✓	99.3%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	67.7%	(cbrt.f64 (.f64 x (.f64 27 y)))
✓	99.6%	(.f64 27 (.f64 y x))

Compiler

Compiled 40 to 24 computations (40% saved)

series19.0ms (1.1%)

Counts

3 → 0

Calls

18 calls:

Time	Variable		Point	Expression
12.0ms	x	@	inf	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
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)

rewrite123.0ms (7.2%)

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

simplify87.0ms (5.1%)

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

eval39.0ms (2.3%)

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

prune28.0ms (1.6%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	138	1	139
Fresh	0	0	0
Picked	0	2	2
Done	0	2	2
Total	138	5	143

Accurracy

100.0%

Counts

143 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.6%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
▶	76.5%	(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.5%	(.f64 (.f64 x 27) y)
✓	99.8%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))
✓	98.6%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
▶	76.5%	(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.5%	(.f64 (.f64 x 27) y)
✓	99.8%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))

Compiler

Compiled 84 to 60 computations (28.6% saved)

localize33.0ms (1.9%)

Local Accuracy

Found 2 expressions with local accuracy:

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

Compiler

Compiled 26 to 14 computations (46.2% saved)

series7.0ms (0.4%)

Counts

2 → 36

Calls

12 calls:

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

rewrite61.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1826×	`pow1`
1678×	`add-exp-log`
1678×	`log1p-expm1-u`
1678×	`expm1-log1p-u`
1640×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	200	30
2	2338	30

Stop Event

1×	node limit

Counts

2 → 27

Calls

Call 1

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

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

simplify73.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

1068×	`distribute-rgt-in`
1036×	`distribute-lft-in`
1018×	`fma-def`
1018×	`log-prod`
794×	`associate-+r+`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	85	1001
1	205	1001
2	820	1001
3	2382	999
4	7865	999

Stop Event

1×	node limit

Counts

63 → 44

Calls

Call 1

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

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

eval10.0ms (0.6%)

Compiler: Compiled 446 to 274 computations (38.6% saved)

prune9.0ms (0.5%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	44	0	44
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	44	5	49

Accurracy

100.0%

Counts

49 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.6%	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	76.5%	(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.5%	(.f64 (.f64 x 27) y)
✓	99.8%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))

Compiler

Compiled 76 to 52 computations (31.6% saved)

regimes22.0ms (1.3%)

Counts

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 52 to 35 computations (32.7% saved)

regimes6.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:

3.0ms	y
3.0ms	x

Results

Accuracy	Segments	Branch
99.6%	1	`x`
99.6%	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)

soundness14.0ms (0.8%)

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)

end0.0ms (0%)

preprocess26.0ms (1.5%)

Remove: (sort x y)
Compiler: Compiled 52 to 36 computations (30.8% saved)

analyze0.0ms (0%)

sample855.0ms (50.1%)

preprocess20.0ms (1.2%)

simplify3.0ms (0.2%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize35.0ms (2%)

series3.0ms (0.2%)

rewrite59.0ms (3.5%)

simplify78.0ms (4.6%)

eval3.0ms (0.1%)

prune15.0ms (0.9%)

localize72.0ms (4.2%)

series19.0ms (1.1%)

rewrite123.0ms (7.2%)

simplify87.0ms (5.1%)

eval39.0ms (2.3%)

prune28.0ms (1.6%)

localize33.0ms (1.9%)

series7.0ms (0.4%)

rewrite61.0ms (3.6%)

simplify73.0ms (4.3%)

eval10.0ms (0.6%)

prune9.0ms (0.5%)

regimes22.0ms (1.3%)

regimes6.0ms (0.4%)

simplify5.0ms (0.3%)

soundness14.0ms (0.8%)

end0.0ms (0%)

preprocess26.0ms (1.5%)

Profiling