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)

sample745.0ms (28%)

Results

655.0ms	7239×	256	valid
80.0ms	1017×	256	infinite

Bogosity

preprocess231.0ms (8.7%)

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`

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
1	-	-	`(.f64 (.f64 x 27) y)`
0	-	-	`x`
0	-	-	`(*.f64 x 27)`
0	-	-	`27`
0	-	-	`y`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	141
1	50	133
2	118	133
3	290	133
4	406	133
5	520	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 35 to 23 computations (34.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize96.0ms (3.6%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	99.4%	(.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))

rewrite196.0ms (7.4%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	57
1	171	57
2	1572	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 (pow.f64 (exp.f64 x) 27) y)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 27) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 27) y))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 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 (pow.f64 (exp.f64 x) 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 (pow.f64 (exp.f64 x) 27) y)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 27) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 27) y))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 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 (pow.f64 (exp.f64 x) 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 (pow.f64 (exp.f64 x) 27) y)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 27) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 27) y))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 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 (pow.f64 (exp.f64 x) 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))))

simplify72.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1248×	`log-prod`
1200×	`associate-r`
1094×	`associate-l`
982×	`associate-+r+`
926×	`associate-+l+`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	97	2898
1	217	2790
2	585	2790
3	4327	2790

Stop Event

1×	node limit

Counts

144 → 38

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

eval9.0ms (0.3%)

Compiler: Compiled 372 to 272 computations (26.9% saved)

prune188.0ms (7.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	37	4	41

Accuracy

100.0%

Counts

41 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	57.9%	(pow.f64 (sqrt.f64 (.f64 y (.f64 27 x))) 2)
✓	99.4%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))

Compiler

Compiled 31 to 23 computations (25.8% saved)

localize49.0ms (1.9%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	99.9%	(.f64 y (.f64 27 x))
✓	99.7%	(pow.f64 (sqrt.f64 (.f64 y (.f64 27 x))) 2)
✓	87.4%	(sqrt.f64 (.f64 y (.f64 27 x)))

Compiler

Compiled 29 to 20 computations (31% saved)

series13.0ms (0.5%)

Counts

3 → 24

Calls

18 calls:

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

rewrite91.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

986×	`unpow-prod-down`
568×	`log-prod`
542×	`cbrt-prod`
482×	`prod-exp`
431×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	61
1	131	61
2	1272	61

Stop Event

1×	node limit

Counts

3 → 152

Calls

Call 1

Inputs
(sqrt.f64 (.f64 y (.f64 27 x)))
(pow.f64 (sqrt.f64 (.f64 y (.f64 27 x))) 2)
(.f64 y (.f64 27 x))

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

simplify128.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1570×	`fma-def`
1140×	`log-prod`
772×	`unswap-sqr`
618×	`distribute-lft-in`
604×	`exp-sum`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	343	5760
1	773	5567
2	2041	5529
3	6141	5520

Stop Event

1×	node limit

Counts

176 → 210

Calls

Call 1

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

eval64.0ms (2.4%)

Compiler: Compiled 2928 to 2110 computations (27.9% saved)

prune32.0ms (1.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	209	1	210
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	209	5	214

Accuracy

100.0%

Counts

214 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	57.9%	(pow.f64 (sqrt.f64 (.f64 y (.f64 27 x))) 2)
▶	52.8%	(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.4%	(.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)

localize34.0ms (1.3%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 26 to 14 computations (46.2% saved)

series8.0ms (0.3%)

Counts

2 → 36

Calls

12 calls:

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

rewrite230.0ms (8.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1034×	`unpow-prod-down`
704×	`log-prod`
666×	`prod-exp`
558×	`pow-prod-down`
524×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 72

Calls

Call 1

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

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

simplify246.0ms (9.3%)

Algorithm

1×	egg-herbie

Rules

1346×	`fma-def`
1184×	`distribute-lft-in`
1168×	`distribute-rgt-in`
748×	`log-prod`
624×	`associate-r`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	200	2540
1	443	2464
2	1018	2464
3	3232	2464

Stop Event

1×	node limit

Counts

108 → 81

Calls

Call 1

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

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

eval97.0ms (3.7%)

Compiler: Compiled 1025 to 637 computations (37.9% saved)

prune13.0ms (0.5%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	81	5	86

Accuracy

100.0%

Counts

86 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	57.9%	(pow.f64 (sqrt.f64 (.f64 y (.f64 27 x))) 2)
✓	52.8%	(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.4%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))

Compiler

Compiled 76 to 52 computations (31.6% saved)

regimes20.0ms (0.8%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

regimes6.0ms (0.2%)

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 6 to 4 computations (33.3% 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×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness57.0ms (2.1%)

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	290	133
4	406	133
5	520	133
0	20	141
1	50	133
2	118	133
3	290	133
4	406	133
5	520	133

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 29 to 19 computations (34.5% saved)

end0.0ms (0%)

preprocess23.0ms (0.9%)

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

Iter	Nodes	Cost
0	20	141
1	50	133
2	118	133
3	290	133
4	406	133
5	520	133
0	20	141
1	50	133
2	118	133
3	290	133
4	406	133
5	520	133

Iter	Nodes	Cost
0	20	141
1	50	133
2	118	133
3	290	133
4	406	133
5	520	133
0	20	141
1	50	133
2	118	133
3	290	133
4	406	133
5	520	133

analyze0.0ms (0%)

sample745.0ms (28%)

preprocess231.0ms (8.7%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize96.0ms (3.6%)

series4.0ms (0.2%)

rewrite196.0ms (7.4%)

simplify72.0ms (2.7%)

eval9.0ms (0.3%)

prune188.0ms (7.1%)

localize49.0ms (1.9%)

series13.0ms (0.5%)

rewrite91.0ms (3.4%)

simplify128.0ms (4.8%)

eval64.0ms (2.4%)

prune32.0ms (1.2%)

localize34.0ms (1.3%)

series8.0ms (0.3%)

rewrite230.0ms (8.7%)

simplify246.0ms (9.3%)

eval97.0ms (3.7%)

prune13.0ms (0.5%)

regimes20.0ms (0.8%)

regimes6.0ms (0.2%)

simplify3.0ms (0.1%)

soundness57.0ms (2.1%)

end0.0ms (0%)

preprocess23.0ms (0.9%)

Profiling

Iter	Nodes	Cost
0	20	141
1	50	133
2	118	133
3	290	133
4	406	133
5	520	133
0	20	141
1	50	133
2	118	133
3	290	133
4	406	133
5	520	133