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)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample962.0ms (38.9%)

Results

705.0ms	7265×	256	valid
207.0ms	990×	256	infinite
0.0ms	1×	256	valid

Precisions

Click to see histograms. Total time spent on operations: 192.0ms

Operation ival-mult, time spent: 178.0ms, 93.0% of total-time

Operation const, time spent: 14.0ms, 7.0% of total-time

Bogosity

preprocess144.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

208×	`fma-define`
80×	`distribute-lft-neg-in`
64×	`associate-r`
58×	`distribute-rgt-neg-in`
48×	`fma-neg`

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)

Precisions

Click to see histograms. Total time spent on operations: 17.0ms

Operation ival-mult, time spent: 15.0ms, 91.0% of total-time

Operation const, time spent: 1.0ms, 6.0% of total-time

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

localize56.0ms (2.3%)

Localize:

Found 3 expressions with local error:

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

Precisions

Click to see histograms. Total time spent on operations: 16.0ms

Operation ival-mult, time spent: 14.0ms, 90.0% of total-time

Operation const, time spent: 1.0ms, 6.0% of total-time

series15.0ms (0.6%)

Counts

3 → 48

Calls

18 calls:

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

rewrite195.0ms (7.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1390×	`unpow-prod-down`
768×	`log-prod`
600×	`prod-exp`
553×	`log1p-expm1-u`
553×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	57
1	171	57
2	1578	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))))
(log1p.f64 (expm1.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 (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 (.f64 (log.f64 (.f64 y (.f64 27 x))) 1) 1))
(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)))
(+.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))))
(log1p.f64 (expm1.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 (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 (.f64 (log.f64 (.f64 y (.f64 27 x))) 1) 1))
(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)))
(+.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))))
(log1p.f64 (expm1.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 (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 (.f64 (log.f64 (.f64 y (.f64 27 x))) 1) 1))
(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)))

simplify99.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1276×	`log-prod`
1056×	`associate-r`
910×	`associate-l`
836×	`associate-+r+`
762×	`associate-+l+`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	97	2898
1	223	2790
2	612	2790
3	3711	2790
4	7889	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))))
(log1p.f64 (expm1.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 (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 (.f64 (log.f64 (.f64 y (.f64 27 x))) 1) 1))
(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)))
(+.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))))
(log1p.f64 (expm1.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 (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 (.f64 (log.f64 (.f64 y (.f64 27 x))) 1) 1))
(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)))
(+.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))))
(log1p.f64 (expm1.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 (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 (.f64 (log.f64 (.f64 y (.f64 27 x))) 1) 1))
(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)))

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

eval8.0ms (0.3%)

Compiler: Compiled 377 to 277 computations (26.5% saved)

prune7.0ms (0.3%)

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
▶	60.2%	(pow.f64 (sqrt.f64 (.f64 y (.f64 27 x))) 2)
✓	99.3%	(.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)

localize57.0ms (2.3%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 29 to 20 computations (31% saved)

Precisions

Click to see histograms. Total time spent on operations: 22.0ms

Operation ival-mult, time spent: 13.0ms, 59.0% of total-time

Operation ival-sqrt, time spent: 6.0ms, 27.0% of total-time

Operation ival-pow, time spent: 2.0ms, 9.0% of total-time

Operation const, time spent: 1.0ms, 5.0% of total-time

series11.0ms (0.4%)

Counts

3 → 24

Calls

18 calls:

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

rewrite95.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1230×	`unpow-prod-down`
568×	`log-prod`
482×	`prod-exp`
431×	`log1p-expm1-u`
431×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	61
1	133	61
2	1278	61

Stop Event

1×	node limit

Counts

3 → 142

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

simplify127.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

1410×	`fma-define`
1248×	`log-prod`
828×	`unswap-sqr`
740×	`fma-neg`
630×	`distribute-lft-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	325	5080
1	797	4905
2	2158	4870
3	6574	4870

Stop Event

1×	node limit

Counts

166 → 198

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

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

eval58.0ms (2.3%)

Compiler: Compiled 2740 to 1968 computations (28.2% saved)

prune30.0ms (1.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	197	1	198
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	197	5	202

Accuracy

100.0%

Counts

202 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	60.2%	(pow.f64 (sqrt.f64 (.f64 y (.f64 27 x))) 2)
✓	99.3%	(.f64 (.f64 x 27) y)
▶	23.1%	(.f64 (sqrt.f64 (.f64 27 x)) (sqrt.f64 (.f64 27 (.f64 (*.f64 x y) y))))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))

Compiler

Compiled 46 to 34 computations (26.1% saved)

localize74.0ms (3%)

Localize:

Found 4 expressions with local error:

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

Compiler

Compiled 49 to 23 computations (53.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 31.0ms

Operation ival-mult, time spent: 18.0ms, 58.0% of total-time

Operation ival-sqrt, time spent: 12.0ms, 39.0% of total-time

Operation const, time spent: 1.0ms, 3.0% of total-time

series120.0ms (4.8%)

Counts

4 → 60

Calls

21 calls:

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

rewrite105.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1100×	`log-prod`
791×	`log1p-expm1-u`
791×	`expm1-log1p-u`
596×	`pow-unpow`
448×	`pow2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	121
1	193	110
2	2277	110

Stop Event

1×	node limit

Counts

4 → 107

Calls

Call 1

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

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

simplify155.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

1612×	`fma-define`
1560×	`log-prod`
884×	`unswap-sqr`
616×	`fma-neg`
588×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	258	5136
1	562	4588
2	1837	4508
3	7159	4508

Stop Event

1×	node limit

Counts

167 → 151

Calls

Call 1

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

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

eval51.0ms (2.1%)

Compiler: Compiled 2484 to 1822 computations (26.7% saved)

prune24.0ms (1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	151	5	156

Accuracy

100.0%

Counts

156 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	60.2%	(pow.f64 (sqrt.f64 (.f64 y (.f64 27 x))) 2)
✓	99.3%	(.f64 (.f64 x 27) y)
✓	23.1%	(.f64 (sqrt.f64 (.f64 27 x)) (sqrt.f64 (.f64 27 (.f64 (*.f64 x y) y))))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.7%	(.f64 27 (.f64 x y))

Compiler

Compiled 84 to 59 computations (29.8% saved)

regimes19.0ms (0.8%)

Accuracy

Total -49.4b remaining (-27412.3%)

Threshold costs -49.4b (-27412.3%)

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 (sqrt.f64 (.f64 27 x)) (sqrt.f64 (.f64 27 (.f64 (*.f64 x y) y))))

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	12	19

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness37.0ms (1.5%)

Rules

208×	`fma-define`
80×	`distribute-lft-neg-in`
64×	`associate-r`
58×	`distribute-rgt-neg-in`
48×	`fma-neg`

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

Compiler

Compiled 17 to 11 computations (35.3% saved)

end0.0ms (0%)

preprocess20.0ms (0.8%)

Compiler: Compiled 28 to 20 computations (28.6% saved)

analyze0.0ms (0%)

sample962.0ms (38.9%)

preprocess144.0ms (5.8%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize56.0ms (2.3%)

series15.0ms (0.6%)

rewrite195.0ms (7.9%)

simplify99.0ms (4%)

eval8.0ms (0.3%)

prune7.0ms (0.3%)

localize57.0ms (2.3%)

series11.0ms (0.4%)

rewrite95.0ms (3.8%)

simplify127.0ms (5.1%)

eval58.0ms (2.3%)

prune30.0ms (1.2%)

localize74.0ms (3%)

series120.0ms (4.8%)

rewrite105.0ms (4.2%)

simplify155.0ms (6.3%)

eval51.0ms (2.1%)

prune24.0ms (1%)

regimes19.0ms (0.8%)

simplify4.0ms (0.2%)

soundness37.0ms (1.5%)

end0.0ms (0%)

preprocess20.0ms (0.8%)

Profiling