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)

sample988.0ms (44.3%)

Results

849.0ms	7258×	body	256	valid
105.0ms	998×	body	256	infinite

Bogosity

preprocess51.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

248×	`fma-def`
36×	`distribute-lft-in`
32×	`sub-neg`
30×	`associate-r`
24×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	73
1	35	65
2	72	65
3	124	65
4	155	65
5	202	65
6	251	65
7	340	65

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

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

Symmetry

(sort x y)

Compiler

Compiled 7 to 5 computations (28.6% saved)

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize39.0ms (1.8%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 15 computations (40% saved)

series4.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

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

rewrite96.0ms (4.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

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

simplify157.0ms (7%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

70 → 12

Calls

Call 1

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

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

eval3.0ms (0.1%)

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

prune5.0ms (0.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Accuracy

100.0%

Counts

14 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	53.3%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.3%	(.f64 x (.f64 27 y))
▶	99.5%	(.f64 27 (.f64 y x))
▶	53.3%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	99.7%	(.f64 (.f64 x 27) y)
✓	99.3%	(.f64 x (.f64 27 y))
▶	99.5%	(.f64 27 (.f64 y x))

Compiler

Compiled 62 to 46 computations (25.8% saved)

localize66.0ms (2.9%)

Localize:

Found 4 expressions with local error:

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

Compiler

Compiled 40 to 24 computations (40% saved)

series11.0ms (0.5%)

Counts

3 → 0

Calls

18 calls:

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

rewrite93.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1076×	`log-prod`
796×	`exp-prod`
782×	`prod-exp`
704×	`pow-prod-down`
510×	`pow-prod-up`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	43
1	267	43
2	2601	43

Stop Event

1×	node limit

Counts

3 → 152

Calls

Call 1

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

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

simplify184.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

1584×	`fma-def`
1478×	`log-prod`
894×	`distribute-lft-in`
842×	`distribute-rgt-in`
620×	`*-commutative`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	268	2622
1	583	2522
2	1647	2522
3	6730	2522

Stop Event

1×	node limit

Counts

152 → 128

Calls

Call 1

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

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

eval39.0ms (1.8%)

Compiler: Compiled 1609 to 1086 computations (32.5% saved)

prune22.0ms (1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	138	2	140
Fresh	0	0	0
Picked	0	2	2
Done	0	2	2
Total	138	6	144

Accuracy

100.0%

Counts

144 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	53.3%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
▶	73.0%	(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.7%	(.f64 (.f64 x 27) y)
▶	53.5%	(.f64 (.f64 27 (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
✓	99.3%	(.f64 x (.f64 27 y))
✓	99.5%	(.f64 27 (.f64 y x))
✓	53.3%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
▶	73.0%	(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.7%	(.f64 (.f64 x 27) y)
▶	53.5%	(.f64 (.f64 27 (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
✓	99.3%	(.f64 x (.f64 27 y))
✓	99.5%	(.f64 27 (.f64 y x))

Compiler

Compiled 110 to 74 computations (32.7% saved)

localize46.0ms (2.1%)

Localize:

Found 5 expressions with local error:

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

Compiler

Compiled 53 to 22 computations (58.5% saved)

series15.0ms (0.7%)

Counts

5 → 60

Calls

30 calls:

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

rewrite94.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1424×	`log-prod`
1048×	`pow-prod-down`
706×	`pow-unpow`
662×	`pow-prod-up`
578×	`pow-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	71
1	281	71
2	3365	71

Stop Event

1×	node limit

Counts

5 → 125

Calls

Call 1

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

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

simplify99.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1420×	`log-prod`
1308×	`fma-def`
992×	`distribute-lft-in`
974×	`distribute-rgt-in`
670×	`prod-exp`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	256	2987
1	555	2881
2	1748	2701
3	6633	2701

Stop Event

1×	node limit

Counts

185 → 123

Calls

Call 1

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

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

eval39.0ms (1.8%)

Compiler: Compiled 2323 to 1117 computations (51.9% saved)

prune30.0ms (1.3%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	0	0
Picked	0	2	2
Done	0	4	4
Total	165	6	171

Accuracy

100.0%

Counts

171 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	53.3%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	73.0%	(.f64 (.f64 (*.f64 27 x) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.7%	(.f64 (.f64 x 27) y)
✓	53.5%	(.f64 (.f64 27 (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
✓	99.3%	(.f64 x (.f64 27 y))
✓	99.5%	(.f64 27 (.f64 y x))

Compiler

Compiled 100 to 63 computations (37% saved)

regimes25.0ms (1.1%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 63 to 39 computations (38.1% saved)

regimes16.0ms (0.7%)

Accuracy

Total -0.4b remaining (-124.2%)

Threshold costs -0.4b (-124.2%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

2 calls:

12.0ms	y
3.0ms	x

Results

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	13	26

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness27.0ms (1.2%)

Rules

248×	`fma-def`
36×	`distribute-lft-in`
32×	`sub-neg`
30×	`associate-r`
24×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	73
1	35	65
2	72	65
3	124	65
4	155	65
5	202	65
6	251	65
7	340	65

Stop Event

1×

saturated

Compiler

Compiled 12 to 8 computations (33.3% saved)

end0.0ms (0%)

preprocess76.0ms (3.4%)

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

analyze0.0ms (0%)

sample988.0ms (44.3%)

preprocess51.0ms (2.3%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize39.0ms (1.8%)

series4.0ms (0.2%)

rewrite96.0ms (4.3%)

simplify157.0ms (7%)

eval3.0ms (0.1%)

prune5.0ms (0.2%)

localize66.0ms (2.9%)

series11.0ms (0.5%)

rewrite93.0ms (4.2%)

simplify184.0ms (8.2%)

eval39.0ms (1.8%)

prune22.0ms (1%)

localize46.0ms (2.1%)

series15.0ms (0.7%)

rewrite94.0ms (4.2%)

simplify99.0ms (4.4%)

eval39.0ms (1.8%)

prune30.0ms (1.3%)

regimes25.0ms (1.1%)

regimes16.0ms (0.7%)

simplify4.0ms (0.2%)

soundness27.0ms (1.2%)

end0.0ms (0%)

preprocess76.0ms (3.4%)

Profiling