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)

sample792.0ms (44.7%)

Results

669.0ms	7255×	body	256	valid
112.0ms	1001×	body	256	infinite

Bogosity

preprocess24.0ms (1.3%)

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

99.9%

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize35.0ms (2%)

Local Accuracy

Found 2 expressions with local accuracy:

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

Compiler

Compiled 25 to 15 computations (40% saved)

series3.0ms (0.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.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

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

simplify70.0ms (4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

70 → 12

Calls

Call 1

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

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

eval2.0ms (0.1%)

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

prune4.0ms (0.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Accurracy

100.0%

Counts

14 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 62 to 46 computations (25.8% saved)

localize64.0ms (3.6%)

Local Accuracy

Found 4 expressions with local accuracy:

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

Compiler

Compiled 41 to 25 computations (39% saved)

series15.0ms (0.8%)

Counts

3 → 48

Calls

18 calls:

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

rewrite79.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1118×	`log-prod`
830×	`prod-exp`
804×	`exp-prod`
726×	`pow-prod-down`
554×	`pow-unpow`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	45
1	270	45
2	2710	45

Stop Event

1×	node limit

Counts

3 → 162

Calls

Call 1

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

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

simplify99.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

1812×	`log-prod`
1502×	`fma-def`
904×	`distribute-lft-in`
838×	`distribute-rgt-in`
532×	`associate-r`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	304	3882
1	742	3754
2	2072	3754
3	7026	3754

Stop Event

1×	node limit

Counts

210 → 151

Calls

Call 1

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

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

eval40.0ms (2.2%)

Compiler: Compiled 1923 to 1347 computations (30% saved)

prune24.0ms (1.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	160	3	163
Fresh	0	0	0
Picked	1	1	2
Done	0	2	2
Total	161	6	167

Accurracy

100.0%

Counts

167 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	77.2%	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.7%	(.f64 (.f64 x 27) y)
▶	99.0%	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))
▶	57.2%	(cbrt.f64 (.f64 (pow.f64 (.f64 x y) 3) 19683))
▶	77.2%	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.7%	(.f64 (.f64 x 27) y)
▶	99.0%	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))
▶	57.2%	(cbrt.f64 (.f64 (pow.f64 (.f64 x y) 3) 19683))

Compiler

Compiled 100 to 72 computations (28% saved)

localize77.0ms (4.4%)

Local Accuracy

Found 7 expressions with local accuracy:

New	Accuracy	Program
✓	99.7%	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.6%	(.f64 (.f64 x 27) (sqrt.f64 y))
✓	99.7%	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	98.8%	(cbrt.f64 19683)
✓	99.8%	(.f64 (pow.f64 (.f64 x y) 3) 19683)
✓	99.7%	(pow.f64 (*.f64 x y) 3)
✓	69.5%	(cbrt.f64 (.f64 (pow.f64 (.f64 x y) 3) 19683))

Compiler

Compiled 67 to 35 computations (47.8% saved)

series15.0ms (0.9%)

Counts

7 → 108

Calls

36 calls:

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

rewrite94.0ms (5.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1484×	`log-prod`
1012×	`pow-prod-down`
698×	`pow-prod-up`
626×	`pow-exp`
488×	`expm1-udef`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	89
1	389	89
2	3804	89

Stop Event

1×	node limit

Counts

7 → 196

Calls

Call 1

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

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

simplify119.0ms (6.7%)

Algorithm

1×	egg-herbie

Rules

1706×	`log-prod`
1468×	`unswap-sqr`
980×	`distribute-lft-in`
920×	`distribute-rgt-in`
620×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	345	12884907288
1	780	5426
2	2579	5200
3	7901	5200

Stop Event

1×	node limit

Counts

304 → 183

Calls

Call 1

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

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

eval46.0ms (2.6%)

Compiler: Compiled 2216 to 1434 computations (35.3% saved)

prune28.0ms (1.6%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	183	0	183
Fresh	0	0	0
Picked	0	3	3
Done	0	3	3
Total	183	6	189

Accurracy

100.0%

Counts

189 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	77.2%	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.0%	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))
✓	57.2%	(cbrt.f64 (.f64 (pow.f64 (.f64 x y) 3) 19683))

Compiler

Compiled 98 to 67 computations (31.6% saved)

regimes22.0ms (1.2%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

4 calls:

7.0ms	y
5.0ms	(*.f64 x 27)
5.0ms	x
4.0ms	(.f64 (.f64 x 27) 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 66 to 44 computations (33.3% saved)

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

2.0ms	x
2.0ms	y

Results

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	13	26

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness15.0ms (0.9%)

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

preprocess30.0ms (1.7%)

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

analyze0.0ms (0%)

sample792.0ms (44.7%)

preprocess24.0ms (1.3%)

simplify3.0ms (0.2%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize35.0ms (2%)

series3.0ms (0.2%)

rewrite59.0ms (3.3%)

simplify70.0ms (4%)

eval2.0ms (0.1%)

prune4.0ms (0.2%)

localize64.0ms (3.6%)

series15.0ms (0.8%)

rewrite79.0ms (4.4%)

simplify99.0ms (5.6%)

eval40.0ms (2.2%)

prune24.0ms (1.4%)

localize77.0ms (4.4%)

series15.0ms (0.9%)

rewrite94.0ms (5.3%)

simplify119.0ms (6.7%)

eval46.0ms (2.6%)

prune28.0ms (1.6%)

regimes22.0ms (1.2%)

regimes5.0ms (0.3%)

simplify4.0ms (0.2%)

soundness15.0ms (0.9%)

end0.0ms (0%)

preprocess30.0ms (1.7%)

Profiling