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)

sample771.0ms (36.7%)

Results

669.0ms	7187×	body	256	valid
91.0ms	1069×	body	256	infinite

Bogosity

preprocess59.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

256×	`fma-def`
80×	`distribute-lft-neg-in`
64×	`associate-r`
58×	`distribute-rgt-neg-in`
48×	`distribute-lft-in`

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	141
1	50	133
2	118	133
3	287	133
4	403	133
5	517	133

Stop Event

1×

saturated

Calls

Call 1

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

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

Compiler

Compiled 21 to 14 computations (33.3% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 42 to 30 computations (28.6% saved)

localize68.0ms (3.2%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 36 to 19 computations (47.2% saved)

series4.0ms (0.2%)

Counts

3 → 48

Calls

18 calls:

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

rewrite124.0ms (5.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1120×	`unpow-prod-down`
768×	`log-prod`
600×	`prod-exp`
584×	`pow-prod-down`
555×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	57
1	171	57
2	1569	57

Stop Event

1×	node limit

Counts

3 → 96

Calls

Call 1

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

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

simplify62.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1236×	`log-prod`
1220×	`associate-r`
1078×	`associate-l`
1046×	`associate-+r+`
826×	`prod-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	96	2898
1	209	2790
2	576	2790
3	4364	2790

Stop Event

1×	node limit

Counts

144 → 36

Calls

Call 1

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

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

eval8.0ms (0.4%)

Compiler: Compiled 362 to 266 computations (26.5% saved)

prune8.0ms (0.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	35	1	36
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	35	4	39

Accuracy

100.0%

Counts

39 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 62 to 46 computations (25.8% saved)

localize44.0ms (2.1%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 29 to 20 computations (31% saved)

series9.0ms (0.4%)

Counts

3 → 24

Calls

18 calls:

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

rewrite67.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1074×	`unpow-prod-down`
590×	`log-prod`
468×	`prod-exp`
443×	`log1p-expm1-u`
443×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	61
1	125	61
2	1291	61

Stop Event

1×	node limit

Counts

3 → 139

Calls

Call 1

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

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

simplify296.0ms (14.1%)

Algorithm

1×	egg-herbie

Rules

1786×	`fma-def`
1578×	`log-prod`
820×	`distribute-lft-in`
728×	`distribute-rgt-in`
612×	`exp-sum`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	307	4294972673
1	720	5291
2	2060	5211
3	6346	5211

Stop Event

1×	node limit

Counts

163 → 211

Calls

Call 1

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

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

eval114.0ms (5.4%)

Compiler: Compiled 3176 to 2285 computations (28.1% saved)

prune31.0ms (1.5%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	210	1	211
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	210	5	215

Accuracy

100.0%

Counts

215 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 84 to 60 computations (28.6% saved)

localize32.0ms (1.5%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 26 to 14 computations (46.2% saved)

series6.0ms (0.3%)

Counts

2 → 36

Calls

12 calls:

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

rewrite61.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1050×	`unpow-prod-down`
704×	`log-prod`
664×	`prod-exp`
550×	`pow-prod-down`
523×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	42
1	129	42
2	1469	42

Stop Event

1×	node limit

Counts

2 → 74

Calls

Call 1

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

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

simplify64.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1094×	`associate-r`
1074×	`associate-+r+`
910×	`associate-l`
770×	`log-prod`
652×	`prod-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	209	2598
1	459	2522
2	1113	2522
3	4379	2522

Stop Event

1×	node limit

Counts

110 → 92

Calls

Call 1

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

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

eval58.0ms (2.7%)

Compiler: Compiled 1192 to 736 computations (38.3% saved)

prune59.0ms (2.8%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	92	5	97

Accuracy

100.0%

Counts

97 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.4%	(pow.f64 (cbrt.f64 (.f64 y (.f64 27 x))) 3)
✓	48.1%	(.f64 (.f64 (*.f64 y 27) (sqrt.f64 x)) (sqrt.f64 x))
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.8%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))

Compiler

Compiled 76 to 52 computations (31.6% saved)

regimes21.0ms (1%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 52 to 35 computations (32.7% saved)

regimes9.0ms (0.4%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

2 calls:

6.0ms	x
3.0ms	y

Results

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	16	38

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness98.0ms (4.6%)

Rules

256×	`fma-def`
256×	`fma-def`
80×	`distribute-lft-neg-in`
80×	`distribute-lft-neg-in`
64×	`associate-r`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	141
1	50	133
2	118	133
3	287	133
4	403	133
5	517	133
0	20	141
1	50	133
2	118	133
3	287	133
4	403	133
5	517	133

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 29 to 19 computations (34.5% saved)

end0.0ms (0%)

preprocess23.0ms (1.1%)

Compiler: Compiled 38 to 26 computations (31.6% saved)

Iter	Nodes	Cost
0	20	141
1	50	133
2	118	133
3	287	133
4	403	133
5	517	133
0	20	141
1	50	133
2	118	133
3	287	133
4	403	133
5	517	133

Iter	Nodes	Cost
0	20	141
1	50	133
2	118	133
3	287	133
4	403	133
5	517	133
0	20	141
1	50	133
2	118	133
3	287	133
4	403	133
5	517	133

analyze0.0ms (0%)

sample771.0ms (36.7%)

preprocess59.0ms (2.8%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize68.0ms (3.2%)

series4.0ms (0.2%)

rewrite124.0ms (5.9%)

simplify62.0ms (3%)

eval8.0ms (0.4%)

prune8.0ms (0.4%)

localize44.0ms (2.1%)

series9.0ms (0.4%)

rewrite67.0ms (3.2%)

simplify296.0ms (14.1%)

eval114.0ms (5.4%)

prune31.0ms (1.5%)

localize32.0ms (1.5%)

series6.0ms (0.3%)

rewrite61.0ms (2.9%)

simplify64.0ms (3%)

eval58.0ms (2.7%)

prune59.0ms (2.8%)

regimes21.0ms (1%)

regimes9.0ms (0.4%)

simplify2.0ms (0.1%)

soundness98.0ms (4.6%)

end0.0ms (0%)

preprocess23.0ms (1.1%)

Profiling

Iter	Nodes	Cost
0	20	141
1	50	133
2	118	133
3	287	133
4	403	133
5	517	133
0	20	141
1	50	133
2	118	133
3	287	133
4	403	133
5	517	133