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)

sample742.0ms (35.3%)

Results

647.0ms	7146×	body	256	valid
81.0ms	1110×	body	256	infinite

Bogosity

preprocess55.0ms (2.6%)

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.7%	(.f64 x (.f64 27 y))
▶	99.7%	(.f64 27 (.f64 x y))
▶	99.7%	(.f64 (.f64 x 27) y)
▶	99.7%	(.f64 x (.f64 27 y))
▶	99.7%	(.f64 27 (.f64 x y))

Compiler

Compiled 42 to 30 computations (28.6% saved)

localize84.0ms (4%)

Localize:

Found 3 expressions with local error:

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

rewrite113.0ms (5.4%)

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

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

eval9.0ms (0.4%)

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

prune7.0ms (0.3%)

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
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))
▶	64.6%	(cbrt.f64 (pow.f64 (.f64 y (.f64 27 x)) 3))
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))
▶	64.6%	(cbrt.f64 (pow.f64 (.f64 y (.f64 27 x)) 3))

Compiler

Compiled 62 to 46 computations (25.8% saved)

localize52.0ms (2.5%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 30 to 21 computations (30% saved)

series16.0ms (0.8%)

Counts

3 → 72

Calls

18 calls:

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

rewrite65.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1224×	`unpow-prod-down`
616×	`log-prod`
526×	`prod-exp`
453×	`log1p-expm1-u`
453×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	63
1	135	63
2	1365	63

Stop Event

1×	node limit

Counts

3 → 151

Calls

Call 1

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

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

simplify118.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

2066×	`log-prod`
1064×	`fma-neg`
846×	`associate-r`
830×	`associate-l`
610×	`sqr-pow`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	332	8589941078
1	886	6434
2	3103	6366
3	6565	6366

Stop Event

1×	node limit

Counts

223 → 187

Calls

Call 1

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

eval54.0ms (2.6%)

Compiler: Compiled 2543 to 1790 computations (29.6% saved)

prune29.0ms (1.4%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	185	2	187
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	185	6	191

Accuracy

100.0%

Counts

191 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	49.7%	(.f64 (.f64 y (sqrt.f64 (.f64 27 x))) (sqrt.f64 (.f64 27 x)))
✓	99.7%	(.f64 (.f64 x 27) y)
▶	99.1%	(.f64 x (.f64 y (cbrt.f64 19683)))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))
✓	64.6%	(cbrt.f64 (pow.f64 (.f64 y (.f64 27 x)) 3))
▶	49.7%	(.f64 (.f64 y (sqrt.f64 (.f64 27 x))) (sqrt.f64 (.f64 27 x)))
✓	99.7%	(.f64 (.f64 x 27) y)
▶	99.1%	(.f64 x (.f64 y (cbrt.f64 19683)))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))
✓	64.6%	(cbrt.f64 (pow.f64 (.f64 y (.f64 27 x)) 3))

Compiler

Compiled 104 to 78 computations (25% saved)

localize122.0ms (5.8%)

Localize:

Found 5 expressions with local error:

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

Compiler

Compiled 45 to 31 computations (31.1% saved)

series13.0ms (0.6%)

Counts

5 → 36

Calls

21 calls:

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

rewrite86.0ms (4.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1074×	`log-prod`
890×	`pow-prod-down`
808×	`log1p-expm1-u`
808×	`expm1-log1p-u`
492×	`pow-prod-up`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	84
1	193	84
2	2281	84

Stop Event

1×	node limit

Counts

5 → 128

Calls

Call 1

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

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

simplify57.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1480×	`fma-def`
1258×	`unswap-sqr`
912×	`distribute-lft-in`
892×	`distribute-rgt-in`
648×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	314	4001
1	642	3230
2	2070	3053

Stop Event

1×	node limit

Counts

164 → 153

Calls

Call 1

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

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

eval98.0ms (4.7%)

Compiler: Compiled 2574 to 1972 computations (23.4% saved)

prune29.0ms (1.4%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	193	1	194
Fresh	0	0	0
Picked	0	2	2
Done	1	3	4
Total	194	6	200

Accuracy

100.0%

Counts

200 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.0%	(+.f64 0 (.f64 (cbrt.f64 19683) (.f64 x y)))
✓	49.7%	(.f64 (.f64 y (sqrt.f64 (.f64 27 x))) (sqrt.f64 (.f64 27 x)))
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.1%	(.f64 x (.f64 y (cbrt.f64 19683)))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))
▶	99.0%	(+.f64 0 (.f64 (cbrt.f64 19683) (.f64 x y)))
✓	49.7%	(.f64 (.f64 y (sqrt.f64 (.f64 27 x))) (sqrt.f64 (.f64 27 x)))
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.1%	(.f64 x (.f64 y (cbrt.f64 19683)))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))

Compiler

Compiled 104 to 78 computations (25% saved)

localize35.0ms (1.7%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	99.7%	(.f64 (cbrt.f64 19683) (.f64 x y))
	98.4%	(cbrt.f64 19683)

Compiler

Compiled 26 to 16 computations (38.5% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite51.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

740×	`unpow-prod-down`
558×	`log-prod`
552×	`cbrt-prod`
532×	`prod-exp`
448×	`pow-prod-down`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	23
1	109	23
2	1258	23

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(.f64 (cbrt.f64 19683) (.f64 x y))

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

simplify54.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1268×	`fma-def`
1116×	`log-prod`
976×	`distribute-lft-in`
888×	`distribute-rgt-in`
704×	`unswap-sqr`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	70	1195
1	157	1155
2	431	1155
3	1730	1155
4	6699	1155

Stop Event

1×	node limit

Counts

45 → 24

Calls

Call 1

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

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

eval16.0ms (0.7%)

Compiler: Compiled 692 to 526 computations (24% saved)

prune11.0ms (0.5%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	0	0	0
Picked	0	1	1
Done	1	4	5
Total	56	6	62

Accuracy

100.0%

Counts

62 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
	98.9%	(+.f64 0 (.f64 (sqrt.f64 (cbrt.f64 387420489)) (.f64 x y)))
✓	99.0%	(+.f64 0 (.f64 (cbrt.f64 19683) (.f64 x y)))
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.1%	(.f64 x (.f64 y (cbrt.f64 19683)))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))

Compiler

Compiled 109 to 78 computations (28.4% saved)

regimes32.0ms (1.5%)

Counts

8 → 1

Calls

Call 1

Inputs
(.f64 27 (.f64 x y))
(.f64 x (.f64 27 y))
(.f64 (.f64 x 27) y)
(.f64 x (.f64 y (cbrt.f64 19683)))
(+.f64 0 (.f64 (cbrt.f64 19683) (.f64 x y)))
(cbrt.f64 (pow.f64 (.f64 y (.f64 27 x)) 3))
(+.f64 0 (.f64 (sqrt.f64 (cbrt.f64 387420489)) (.f64 x y)))
(.f64 (.f64 y (sqrt.f64 (.f64 27 x))) (sqrt.f64 (.f64 27 x)))

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 77 to 53 computations (31.2% saved)

regimes6.0ms (0.3%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

2 calls:

3.0ms	y
3.0ms	x

Results

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify3.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×	fuel
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)

soundness52.0ms (2.5%)

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

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

sample742.0ms (35.3%)

preprocess55.0ms (2.6%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize84.0ms (4%)

series4.0ms (0.2%)

rewrite113.0ms (5.4%)

simplify64.0ms (3%)

eval9.0ms (0.4%)

prune7.0ms (0.3%)

localize52.0ms (2.5%)

series16.0ms (0.8%)

rewrite65.0ms (3.1%)

simplify118.0ms (5.6%)

eval54.0ms (2.6%)

prune29.0ms (1.4%)

localize122.0ms (5.8%)

series13.0ms (0.6%)

rewrite86.0ms (4.1%)

simplify57.0ms (2.7%)

eval98.0ms (4.7%)

prune29.0ms (1.4%)

localize35.0ms (1.7%)

series1.0ms (0%)

rewrite51.0ms (2.4%)

simplify54.0ms (2.6%)

eval16.0ms (0.7%)

prune11.0ms (0.5%)

regimes32.0ms (1.5%)

regimes6.0ms (0.3%)

simplify3.0ms (0.1%)

soundness52.0ms (2.5%)

end0.0ms (0%)

preprocess24.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