Metrics for Data.HyperLogLog.Config:hll from hyperloglog-0.3.4

analyze1.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 5 computations (37.5% saved)

sample1.8s (62.2%)

Results

1.3s	6246×	body	256	valid
497.0ms	2010×	body	256	infinite

Bogosity

preprocess30.0ms (1%)

Algorithm

1×	egg-herbie

Rules

352×	`fma-def`
106×	`associate-r`
64×	`unsub-neg`
58×	`associate-l`
56×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	69
1	38	69
2	84	69
3	197	69
4	316	69
5	471	69
6	571	69
7	571	69

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(abs y)

Compiler

Compiled 7 to 4 computations (42.9% saved)

eval0.0ms (0%)

Compiler: Compiled 7 to 4 computations (42.9% saved)

prune4.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 28 to 16 computations (42.9% saved)

localize30.0ms (1%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 23 to 7 computations (69.6% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite59.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1294×	`pow1`
1184×	`add-exp-log`
1184×	`log1p-expm1-u`
1184×	`expm1-log1p-u`
1156×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	160	26
2	1709	26

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

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

simplify69.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

2164×	`log-prod`
1110×	`distribute-rgt-in`
1088×	`distribute-lft-in`
816×	`associate-r`
696×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	910
1	92	910
2	328	910
3	2170	910
4	7050	910

Stop Event

1×	node limit

Counts

70 → 14

Calls

Call 1

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

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

eval2.0ms (0.1%)

Compiler: Compiled 100 to 43 computations (57% saved)

prune4.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	13	1	14
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	13	3	16

Accuracy

99.9%

Counts

16 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	49.8%	(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓	99.8%	(.f64 (.f64 x y) y)
✓	89.1%	(.f64 x (.f64 y y))
▶	49.8%	(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓	99.8%	(.f64 (.f64 x y) y)
✓	89.1%	(.f64 x (.f64 y y))

Compiler

Compiled 44 to 28 computations (36.4% saved)

localize30.0ms (1%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 18 to 8 computations (55.6% saved)

series6.0ms (0.2%)

Counts

2 → 12

Calls

12 calls:

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

rewrite69.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1516×	`pow1`
1390×	`add-exp-log`
1390×	`log1p-expm1-u`
1390×	`expm1-log1p-u`
1356×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	183	24
2	2044	24

Stop Event

1×	node limit

Counts

2 → 35

Calls

Call 1

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

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

simplify115.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

1236×	`exp-sum`
1178×	`distribute-rgt-in`
1162×	`distribute-lft-in`
1000×	`fma-def`
984×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	78	801
1	190	723
2	680	645
3	2236	645
4	6949	645

Stop Event

1×	node limit

Counts

47 → 42

Calls

Call 1

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

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

eval6.0ms (0.2%)

Compiler: Compiled 390 to 140 computations (64.1% saved)

prune8.0ms (0.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	41	1	42
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	41	4	45

Accuracy

100.0%

Counts

45 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	49.8%	(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
▶	54.0%	(pow.f64 (sqrt.f64 (.f64 x (.f64 y y))) 2)
✓	99.8%	(.f64 (.f64 x y) y)
✓	89.1%	(.f64 x (.f64 y y))
✓	49.8%	(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
▶	54.0%	(pow.f64 (sqrt.f64 (.f64 x (.f64 y y))) 2)
✓	99.8%	(.f64 (.f64 x y) y)
✓	89.1%	(.f64 x (.f64 y y))

Compiler

Compiled 64 to 42 computations (34.4% saved)

localize33.0ms (1.1%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	99.8%	(pow.f64 (sqrt.f64 (.f64 x (.f64 y y))) 2)
	94.1%	(.f64 x (.f64 y y))
✓	84.6%	(sqrt.f64 (.f64 x (.f64 y y)))

Compiler

Compiled 28 to 9 computations (67.9% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

12 calls:

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

rewrite63.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1554×	`pow1`
1426×	`add-exp-log`
1426×	`log1p-expm1-u`
1426×	`expm1-log1p-u`
1392×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	203	24
2	2077	24

Stop Event

1×	node limit

Counts

2 → 55

Calls

Call 1

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

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

simplify63.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1412×	`fma-def`
1040×	`distribute-rgt-in`
1004×	`distribute-lft-in`
928×	`log-prod`
864×	`associate-+r+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	120	1171
1	285	1171
2	1012	1171
3	3170	1171

Stop Event

1×	node limit

Counts

79 → 66

Calls

Call 1

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

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

eval13.0ms (0.4%)

Compiler: Compiled 786 to 320 computations (59.3% saved)

prune18.0ms (0.6%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	78	2	80
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	78	6	84

Accuracy

100.0%

Counts

84 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	49.8%	(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓	54.0%	(pow.f64 (sqrt.f64 (.f64 x (.f64 y y))) 2)
▶	99.6%	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶	74.8%	(.f64 (.f64 x (cbrt.f64 (pow.f64 y 4))) (pow.f64 (cbrt.f64 y) 2))
✓	99.8%	(.f64 (.f64 x y) y)
✓	89.1%	(.f64 x (.f64 y y))
✓	49.8%	(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓	54.0%	(pow.f64 (sqrt.f64 (.f64 x (.f64 y y))) 2)
▶	99.6%	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶	74.8%	(.f64 (.f64 x (cbrt.f64 (pow.f64 y 4))) (pow.f64 (cbrt.f64 y) 2))
✓	99.8%	(.f64 (.f64 x y) y)
✓	89.1%	(.f64 x (.f64 y y))

Compiler

Compiled 112 to 74 computations (33.9% saved)

localize74.0ms (2.5%)

Localize:

Found 6 expressions with local error:

New	Accuracy	Program
✓	99.8%	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.7%	(.f64 (.f64 x y) (sqrt.f64 y))
✓	99.1%	(pow.f64 (cbrt.f64 y) 2)
✓	99.0%	(cbrt.f64 y)
✓	90.6%	(*.f64 x (cbrt.f64 (pow.f64 y 4)))
✓	52.5%	(cbrt.f64 (pow.f64 y 4))

Compiler

Compiled 59 to 28 computations (52.5% saved)

series13.0ms (0.4%)

Counts

6 → 48

Calls

27 calls:

Time	Variable		Point	Expression
4.0ms	x	@	0	(*.f64 x (cbrt.f64 (pow.f64 y 4)))
1.0ms	y	@	-inf	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
1.0ms	x	@	0	(.f64 (.f64 x y) (sqrt.f64 y))
1.0ms	y	@	-inf	(cbrt.f64 y)
1.0ms	y	@	-inf	(.f64 (.f64 x y) (sqrt.f64 y))

rewrite95.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1406×	`log-prod`
1036×	`pow-prod-down`
748×	`pow-prod-up`
680×	`pow-exp`
636×	`pow-unpow`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	74
1	319	70
2	3585	70

Stop Event

1×	node limit

Counts

6 → 188

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 y 4))
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(cbrt.f64 y)
(pow.f64 (cbrt.f64 y) 2)
(.f64 (.f64 x y) (sqrt.f64 y))
(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))

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

simplify105.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1974×	`fma-def`
1472×	`log-prod`
1200×	`prod-exp`
526×	`sqr-pow`
442×	`log-pow`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	421	4294970920
1	892	3646
2	2512	3294
3	6727	3294

Stop Event

1×	node limit

Counts

236 → 225

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(+.f64 0 (*.f64 y (cbrt.f64 y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)) (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (cbrt.f64 y)))) 1)
(*.f64 y (cbrt.f64 y))
(.f64 (.f64 y (cbrt.f64 y)) 1)
(*.f64 (cbrt.f64 y) y)
(*.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 y) 2))
(.f64 1 (.f64 y (cbrt.f64 y)))
(.f64 (cbrt.f64 (.f64 y (cbrt.f64 y))) (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)) (cbrt.f64 (.f64 y (cbrt.f64 y))))
(.f64 (pow.f64 (.f64 y (cbrt.f64 y)) 5/6) (pow.f64 (pow.f64 y 4) 1/18))
(pow.f64 y 4/3)
(pow.f64 (pow.f64 y 4) 1/3)
(pow.f64 (*.f64 y (cbrt.f64 y)) 1)
(pow.f64 (cbrt.f64 y) 4)
(pow.f64 (pow.f64 (cbrt.f64 y) 2) 2)
(pow.f64 (sqrt.f64 y) 8/3)
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 6)
(pow.f64 (pow.f64 (cbrt.f64 y) 8) 1/2)
(pow.f64 (pow.f64 y 1/6) 8)
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 12)
(pow.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) 3)
(pow.f64 (pow.f64 y 8) 1/6)
(pow.f64 (pow.f64 y 12) 1/9)
(pow.f64 (*.f64 y y) 2/3)
(pow.f64 (pow.f64 y 3) 4/9)
(pow.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 (cbrt.f64 y))) 3)
(pow.f64 (*.f64 (pow.f64 y 3) y) 1/3)
(pow.f64 (*.f64 y (pow.f64 y 3)) 1/3)
(sqrt.f64 (pow.f64 (cbrt.f64 y) 8))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (cbrt.f64 y)))))
(expm1.f64 (log1p.f64 (*.f64 y (cbrt.f64 y))))
(exp.f64 (*.f64 4/3 (log.f64 y)))
(exp.f64 (.f64 (.f64 4 (log.f64 y)) 1/3))
(exp.f64 (.f64 (.f64 4/3 (log.f64 y)) 1))
(exp.f64 (*.f64 (log.f64 y) 4/3))
(exp.f64 (.f64 (.f64 (log.f64 y) 1) 4/3))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 y)) 1) 1/3))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 y)) 1/3) 1))
(exp.f64 (.f64 (.f64 (*.f64 4/3 (log.f64 y)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 y)) 4))
(exp.f64 (.f64 (.f64 (log.f64 y) 1/3) 4))
(exp.f64 (.f64 (.f64 (log.f64 (cbrt.f64 y)) 1) 4))
(exp.f64 (.f64 (.f64 2/3 (log.f64 y)) 2))
(exp.f64 (.f64 (.f64 (*.f64 2/3 (log.f64 y)) 1) 2))
(exp.f64 (.f64 (.f64 1/3 (*.f64 4/3 (log.f64 y))) 3))
(log1p.f64 (expm1.f64 (*.f64 y (cbrt.f64 y))))
(+.f64 0 (.f64 (.f64 y (cbrt.f64 y)) x))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 y (cbrt.f64 y)) x))) 1)
(pow.f64 (.f64 (.f64 y (cbrt.f64 y)) x) 1)
(pow.f64 (cbrt.f64 (.f64 (.f64 y (cbrt.f64 y)) x)) 3)
(pow.f64 (.f64 (pow.f64 (cbrt.f64 y) 8) (.f64 x x)) 1/2)
(pow.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)) 1/3)
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x)) 2)
(sqrt.f64 (.f64 (pow.f64 (cbrt.f64 y) 8) (.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 y (cbrt.f64 y)) x))))
(cbrt.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (.f64 (.f64 y (cbrt.f64 y)) x)))
(exp.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))))
(exp.f64 (.f64 (+.f64 (log.f64 x) (.f64 4/3 (log.f64 y))) 1))
(exp.f64 (.f64 (.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (*.f64 y (cbrt.f64 y)) x))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 y 4) (pow.f64 x 3))) 1/3))
(exp.f64 (.f64 (+.f64 (.f64 2/3 (log.f64 y)) (log.f64 (sqrt.f64 x))) 2))
(log1p.f64 (expm1.f64 (.f64 (.f64 y (cbrt.f64 y)) x)))
(+.f64 0 (cbrt.f64 y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y))) (cbrt.f64 (exp.f64 (cbrt.f64 y))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 y)))) (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 y)))))
(-.f64 (exp.f64 (log1p.f64 (cbrt.f64 y))) 1)
(*.f64 (cbrt.f64 y) 1)
(*.f64 1 (cbrt.f64 y))
(*.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (cbrt.f64 y)))
(*.f64 (pow.f64 y 1/6) (pow.f64 y 1/6))
(*.f64 (cbrt.f64 (cbrt.f64 y)) (pow.f64 (pow.f64 y 4) 1/18))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 y (cbrt.f64 y)))) (sqrt.f64 (pow.f64 (pow.f64 y 4) 1/18)))
(pow.f64 y 1/3)
(pow.f64 (pow.f64 y 4) 1/12)
(pow.f64 (*.f64 y (cbrt.f64 y)) 1/4)
(pow.f64 (cbrt.f64 y) 1)
(pow.f64 (pow.f64 (cbrt.f64 y) 2) 1/2)
(pow.f64 (sqrt.f64 y) 2/3)
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 3/2)
(pow.f64 (pow.f64 y 1/6) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 3)
(pow.f64 (*.f64 y y) 1/6)
(pow.f64 (pow.f64 y 3) 1/9)
(sqrt.f64 (pow.f64 (cbrt.f64 y) 2))
(fabs.f64 (cbrt.f64 y))
(log.f64 (exp.f64 (cbrt.f64 y)))
(log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 y))))
(expm1.f64 (log1p.f64 (cbrt.f64 y)))
(exp.f64 (log.f64 (cbrt.f64 y)))
(exp.f64 (*.f64 (log.f64 y) 1/3))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1))
(exp.f64 (.f64 (.f64 (log.f64 y) 1) 1/3))
(exp.f64 (.f64 (.f64 (log.f64 y) 1/3) 1))
(exp.f64 (.f64 (.f64 (log.f64 (cbrt.f64 y)) 1) 1))
(exp.f64 (.f64 (.f64 2/3 (log.f64 y)) 1/2))
(exp.f64 (.f64 (.f64 (*.f64 2/3 (log.f64 y)) 1) 1/2))
(exp.f64 (.f64 (.f64 1/6 (log.f64 y)) 2))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) 3))
(log1p.f64 (expm1.f64 (cbrt.f64 y)))
(+.f64 0 (pow.f64 (cbrt.f64 y) 2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))) (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 y) 2))) 1)
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
(*.f64 (pow.f64 (cbrt.f64 y) 2) 1)
(*.f64 (sqrt.f64 y) (pow.f64 y 1/6))
(*.f64 1 (pow.f64 (cbrt.f64 y) 2))
(.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (.f64 y (cbrt.f64 y))))
(*.f64 (pow.f64 y 1/6) (sqrt.f64 y))
(.f64 (cbrt.f64 (.f64 y (cbrt.f64 y))) (pow.f64 (pow.f64 y 4) 1/18))
(.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8))) (sqrt.f64 (cbrt.f64 (.f64 y (cbrt.f64 y)))))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 5) (cbrt.f64 (cbrt.f64 y)))
(sqrt.f64 (*.f64 y (cbrt.f64 y)))
(fabs.f64 (pow.f64 (cbrt.f64 y) 2))
(log.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 y) 2))))
(cbrt.f64 (*.f64 y y))
(expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 y) 2)))
(exp.f64 (*.f64 2/3 (log.f64 y)))
(exp.f64 (.f64 (.f64 2/3 (log.f64 y)) 1))
(exp.f64 (*.f64 (log.f64 y) 2/3))
(exp.f64 (.f64 (.f64 (log.f64 y) 1) 2/3))
(exp.f64 (.f64 (.f64 4 (log.f64 y)) 1/6))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 y)) 1) 1/6))
(exp.f64 (.f64 (.f64 4/3 (log.f64 y)) 1/2))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 y)) 1/3) 1/2))
(exp.f64 (.f64 (.f64 (*.f64 4/3 (log.f64 y)) 1) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 y) 1/3) 2))
(exp.f64 (.f64 (.f64 (log.f64 (cbrt.f64 y)) 1) 2))
(exp.f64 (.f64 (.f64 (*.f64 2/3 (log.f64 y)) 1) 1))
(exp.f64 (.f64 (.f64 1/3 (*.f64 2/3 (log.f64 y))) 3))
(exp.f64 (.f64 (.f64 2 (log.f64 y)) 1/3))
(exp.f64 (.f64 (.f64 (log.f64 y) 2) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 y) 2)))
(+.f64 0 (*.f64 x (pow.f64 y 3/2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))) (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 y 3/2)))) 1)
(pow.f64 (*.f64 x (pow.f64 y 3/2)) 1)
(pow.f64 (*.f64 (cbrt.f64 x) (sqrt.f64 y)) 3)
(pow.f64 (.f64 (.f64 x x) (pow.f64 y 3)) 1/2)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 y 3/2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (pow.f64 y 3/2))) 2)
(pow.f64 (*.f64 (sqrt.f64 y) (cbrt.f64 x)) 3)
(sqrt.f64 (.f64 (.f64 x x) (pow.f64 y 3)))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 y 3/2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 y 3/2)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 y 3/2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 y 3/2))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 (cbrt.f64 x) (sqrt.f64 y))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 x (pow.f64 y 3/2)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (pow.f64 y 3/2)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 y 3/2))))
(+.f64 0 (.f64 x (.f64 y y)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y y))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y y)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 y y)))) 1)
(pow.f64 (.f64 x (.f64 y y)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 6) 1/3)
(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
(pow.f64 (.f64 (cbrt.f64 y) (cbrt.f64 (.f64 y x))) 3)
(pow.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 y x) 3)) 1/3)
(pow.f64 (*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 y) 2)) 3)
(sqrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 y y)))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 6))
(expm1.f64 (log1p.f64 (.f64 x (.f64 y y))))
(exp.f64 (log.f64 (.f64 x (.f64 y y))))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 y y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 y y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 y y)))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 (sqrt.f64 x) y) 6)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 x) y)) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 y y))))

Outputs
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(+.f64 0 (*.f64 y (cbrt.f64 y)))
(*.f64 y (cbrt.f64 y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)) (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(*.f64 y (cbrt.f64 y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (cbrt.f64 y)))) 1)
(*.f64 y (cbrt.f64 y))
(*.f64 y (cbrt.f64 y))
(.f64 (.f64 y (cbrt.f64 y)) 1)
(*.f64 y (cbrt.f64 y))
(*.f64 (cbrt.f64 y) y)
(*.f64 y (cbrt.f64 y))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 y) 2))
(*.f64 y (cbrt.f64 y))
(.f64 1 (.f64 y (cbrt.f64 y)))
(*.f64 y (cbrt.f64 y))
(.f64 (cbrt.f64 (.f64 y (cbrt.f64 y))) (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 4) (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)) (cbrt.f64 (.f64 y (cbrt.f64 y))))
(.f64 (cbrt.f64 (.f64 y (cbrt.f64 y))) (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 4) (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)))
(.f64 (pow.f64 (.f64 y (cbrt.f64 y)) 5/6) (pow.f64 (pow.f64 y 4) 1/18))
(pow.f64 y 4/3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 y 4) 1/3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (*.f64 y (cbrt.f64 y)) 1)
(*.f64 y (cbrt.f64 y))
(pow.f64 (cbrt.f64 y) 4)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 (cbrt.f64 y) 2) 2)
(*.f64 y (cbrt.f64 y))
(pow.f64 (sqrt.f64 y) 8/3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 6)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 (cbrt.f64 y) 8) 1/2)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 y 1/6) 8)
(*.f64 y (cbrt.f64 y))
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 12)
(*.f64 y (cbrt.f64 y))
(pow.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) 3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 y 8) 1/6)
(pow.f64 (pow.f64 y 12) 1/9)
(*.f64 (pow.f64 (pow.f64 y 12) 1/18) (pow.f64 (pow.f64 y 12) 1/18))
(pow.f64 (*.f64 y y) 2/3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 y 3) 4/9)
(.f64 (.f64 (.f64 (pow.f64 (pow.f64 y 3) 1/18) (pow.f64 (pow.f64 y 3) 1/18)) (.f64 (pow.f64 (pow.f64 y 3) 1/18) (pow.f64 (pow.f64 y 3) 1/18))) (.f64 (.f64 (pow.f64 (pow.f64 y 3) 1/18) (pow.f64 (pow.f64 y 3) 1/18)) (*.f64 (pow.f64 (pow.f64 y 3) 1/18) (pow.f64 (pow.f64 y 3) 1/18))))
(pow.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 (cbrt.f64 y))) 3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (*.f64 (pow.f64 y 3) y) 1/3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (*.f64 y (pow.f64 y 3)) 1/3)
(*.f64 y (cbrt.f64 y))
(sqrt.f64 (pow.f64 (cbrt.f64 y) 8))
(*.f64 y (cbrt.f64 y))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))
(*.f64 y (cbrt.f64 y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (cbrt.f64 y)))))
(*.f64 y (cbrt.f64 y))
(expm1.f64 (log1p.f64 (*.f64 y (cbrt.f64 y))))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 4/3 (log.f64 y)))
(*.f64 y (cbrt.f64 y))
(exp.f64 (.f64 (.f64 4 (log.f64 y)) 1/3))
(*.f64 y (cbrt.f64 y))
(exp.f64 (.f64 (.f64 4/3 (log.f64 y)) 1))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (log.f64 y) 4/3))
(*.f64 y (cbrt.f64 y))
(exp.f64 (.f64 (.f64 (log.f64 y) 1) 4/3))
(*.f64 y (cbrt.f64 y))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 y)) 1) 1/3))
(*.f64 y (cbrt.f64 y))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 y)) 1/3) 1))
(*.f64 y (cbrt.f64 y))
(exp.f64 (.f64 (.f64 (*.f64 4/3 (log.f64 y)) 1) 1))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 y)) 4))
(*.f64 y (cbrt.f64 y))
(exp.f64 (.f64 (.f64 (log.f64 y) 1/3) 4))
(*.f64 y (cbrt.f64 y))
(exp.f64 (.f64 (.f64 (log.f64 (cbrt.f64 y)) 1) 4))
(*.f64 y (cbrt.f64 y))
(exp.f64 (.f64 (.f64 2/3 (log.f64 y)) 2))
(*.f64 y (cbrt.f64 y))
(exp.f64 (.f64 (.f64 (*.f64 2/3 (log.f64 y)) 1) 2))
(*.f64 y (cbrt.f64 y))
(exp.f64 (.f64 (.f64 1/3 (*.f64 4/3 (log.f64 y))) 3))
(*.f64 y (cbrt.f64 y))
(log1p.f64 (expm1.f64 (*.f64 y (cbrt.f64 y))))
(*.f64 y (cbrt.f64 y))
(+.f64 0 (.f64 (.f64 y (cbrt.f64 y)) x))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y)))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y))))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y (cbrt.f64 y))))))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 y (cbrt.f64 y)) x))) 1)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(pow.f64 (.f64 (.f64 y (cbrt.f64 y)) x) 1)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(pow.f64 (cbrt.f64 (.f64 (.f64 y (cbrt.f64 y)) x)) 3)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(pow.f64 (.f64 (pow.f64 (cbrt.f64 y) 8) (.f64 x x)) 1/2)
(sqrt.f64 (.f64 (pow.f64 (cbrt.f64 y) 8) (.f64 x x)))
(fabs.f64 (.f64 x (.f64 y (cbrt.f64 y))))
(pow.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)) 1/3)
(cbrt.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)))
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x)) 2)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(sqrt.f64 (.f64 (pow.f64 (cbrt.f64 y) 8) (.f64 x x)))
(fabs.f64 (.f64 x (.f64 y (cbrt.f64 y))))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 y (cbrt.f64 y)) x))))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(cbrt.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (.f64 (.f64 y (cbrt.f64 y)) x)))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(exp.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(exp.f64 (.f64 (+.f64 (log.f64 x) (.f64 4/3 (log.f64 y))) 1))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(exp.f64 (.f64 (.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))) 1) 1))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (*.f64 y (cbrt.f64 y)) x))) 3))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 y 4) (pow.f64 x 3))) 1/3))
(cbrt.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)))
(exp.f64 (.f64 (+.f64 (.f64 2/3 (log.f64 y)) (log.f64 (sqrt.f64 x))) 2))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(log1p.f64 (expm1.f64 (.f64 (.f64 y (cbrt.f64 y)) x)))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(.f64 x (.f64 y (cbrt.f64 y)))
(+.f64 0 (cbrt.f64 y))
(cbrt.f64 y)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y))) (cbrt.f64 (exp.f64 (cbrt.f64 y))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 y)))) (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 y)))))
(cbrt.f64 y)
(-.f64 (exp.f64 (log1p.f64 (cbrt.f64 y))) 1)
(cbrt.f64 y)
(*.f64 (cbrt.f64 y) 1)
(cbrt.f64 y)
(*.f64 1 (cbrt.f64 y))
(cbrt.f64 y)
(*.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (cbrt.f64 y)))
(*.f64 (pow.f64 y 1/6) (pow.f64 y 1/6))
(cbrt.f64 y)
(*.f64 (cbrt.f64 (cbrt.f64 y)) (pow.f64 (pow.f64 y 4) 1/18))
(*.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (cbrt.f64 y)))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 y (cbrt.f64 y)))) (sqrt.f64 (pow.f64 (pow.f64 y 4) 1/18)))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 4)) (pow.f64 (pow.f64 y 4) 1/36))
(pow.f64 y 1/3)
(cbrt.f64 y)
(pow.f64 (pow.f64 y 4) 1/12)
(pow.f64 (*.f64 y (cbrt.f64 y)) 1/4)
(pow.f64 (cbrt.f64 y) 1)
(cbrt.f64 y)
(pow.f64 (pow.f64 (cbrt.f64 y) 2) 1/2)
(cbrt.f64 y)
(pow.f64 (sqrt.f64 y) 2/3)
(cbrt.f64 y)
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 3/2)
(pow.f64 (pow.f64 y 1/6) 2)
(cbrt.f64 y)
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 3)
(cbrt.f64 y)
(pow.f64 (*.f64 y y) 1/6)
(cbrt.f64 y)
(pow.f64 (pow.f64 y 3) 1/9)
(*.f64 (pow.f64 (pow.f64 y 3) 1/18) (pow.f64 (pow.f64 y 3) 1/18))
(sqrt.f64 (pow.f64 (cbrt.f64 y) 2))
(cbrt.f64 y)
(fabs.f64 (cbrt.f64 y))
(cbrt.f64 y)
(log.f64 (exp.f64 (cbrt.f64 y)))
(cbrt.f64 y)
(log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 y))))
(cbrt.f64 y)
(expm1.f64 (log1p.f64 (cbrt.f64 y)))
(cbrt.f64 y)
(exp.f64 (log.f64 (cbrt.f64 y)))
(cbrt.f64 y)
(exp.f64 (*.f64 (log.f64 y) 1/3))
(cbrt.f64 y)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1))
(cbrt.f64 y)
(exp.f64 (.f64 (.f64 (log.f64 y) 1) 1/3))
(cbrt.f64 y)
(exp.f64 (.f64 (.f64 (log.f64 y) 1/3) 1))
(cbrt.f64 y)
(exp.f64 (.f64 (.f64 (log.f64 (cbrt.f64 y)) 1) 1))
(cbrt.f64 y)
(exp.f64 (.f64 (.f64 2/3 (log.f64 y)) 1/2))
(cbrt.f64 y)
(exp.f64 (.f64 (.f64 (*.f64 2/3 (log.f64 y)) 1) 1/2))
(cbrt.f64 y)
(exp.f64 (.f64 (.f64 1/6 (log.f64 y)) 2))
(cbrt.f64 y)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) 3))
(cbrt.f64 y)
(log1p.f64 (expm1.f64 (cbrt.f64 y)))
(cbrt.f64 y)
(+.f64 0 (pow.f64 (cbrt.f64 y) 2))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))) (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(.f64 3 (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (.f64 y y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 y) 2))) 1)
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(*.f64 (pow.f64 (cbrt.f64 y) 2) 1)
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(*.f64 (sqrt.f64 y) (pow.f64 y 1/6))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(*.f64 1 (pow.f64 (cbrt.f64 y) 2))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (.f64 y (cbrt.f64 y))))
(.f64 (cbrt.f64 (.f64 y (cbrt.f64 y))) (pow.f64 (pow.f64 y 4) 1/18))
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 3)
(*.f64 (pow.f64 y 1/6) (sqrt.f64 y))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(.f64 (cbrt.f64 (.f64 y (cbrt.f64 y))) (pow.f64 (pow.f64 y 4) 1/18))
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 3)
(.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8))) (sqrt.f64 (cbrt.f64 (.f64 y (cbrt.f64 y)))))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 y (cbrt.f64 y)))) (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8))))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 4)) (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8))))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 5) (cbrt.f64 (cbrt.f64 y)))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(sqrt.f64 (*.f64 y (cbrt.f64 y)))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(fabs.f64 (pow.f64 (cbrt.f64 y) 2))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(log.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 y) 2))))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(cbrt.f64 (*.f64 y y))
(pow.f64 (cbrt.f64 y) 2)
(expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 y) 2)))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (*.f64 2/3 (log.f64 y)))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 2/3 (log.f64 y)) 1))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (*.f64 (log.f64 y) 2/3))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 (log.f64 y) 1) 2/3))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 4 (log.f64 y)) 1/6))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 y)) 1) 1/6))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 4/3 (log.f64 y)) 1/2))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 y)) 1/3) 1/2))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 (*.f64 4/3 (log.f64 y)) 1) 1/2))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 (log.f64 y) 1/3) 2))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 (log.f64 (cbrt.f64 y)) 1) 2))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 (*.f64 2/3 (log.f64 y)) 1) 1))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 1/3 (*.f64 2/3 (log.f64 y))) 3))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 2 (log.f64 y)) 1/3))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(exp.f64 (.f64 (.f64 (log.f64 y) 2) 1/3))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 y) 2)))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(+.f64 0 (*.f64 x (pow.f64 y 3/2)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))) (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 y 3/2)))) 1)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(pow.f64 (*.f64 x (pow.f64 y 3/2)) 1)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(pow.f64 (*.f64 (cbrt.f64 x) (sqrt.f64 y)) 3)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(pow.f64 (.f64 (.f64 x x) (pow.f64 y 3)) 1/2)
(sqrt.f64 (.f64 x (.f64 x (pow.f64 y 3))))
(fabs.f64 (*.f64 x (pow.f64 y 3/2)))
(pow.f64 (pow.f64 (*.f64 x (pow.f64 y 3/2)) 3) 1/3)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(pow.f64 (sqrt.f64 (*.f64 x (pow.f64 y 3/2))) 2)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(pow.f64 (*.f64 (sqrt.f64 y) (cbrt.f64 x)) 3)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(sqrt.f64 (.f64 (.f64 x x) (pow.f64 y 3)))
(sqrt.f64 (.f64 x (.f64 x (pow.f64 y 3))))
(fabs.f64 (*.f64 x (pow.f64 y 3/2)))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 y 3/2)))))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 y 3/2)) 3))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 y 3/2))))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (.f64 (log.f64 (.f64 x (pow.f64 y 3/2))) 1))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))) 1) 1))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (.f64 (log.f64 (.f64 (cbrt.f64 x) (sqrt.f64 y))) 3))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 x (pow.f64 y 3/2)))) 1/3))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (pow.f64 y 3/2)))) 2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 y 3/2))))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(+.f64 0 (.f64 x (.f64 y y)))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y y))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y y)))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y y)))))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 y y)))) 1)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(pow.f64 (.f64 x (.f64 y y)) 1)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4) 1/2)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 6) 1/3)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(pow.f64 (.f64 (cbrt.f64 y) (cbrt.f64 (.f64 y x))) 3)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(pow.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 y x) 3)) 1/3)
(cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (.f64 y x) 3)))
(cbrt.f64 (*.f64 (pow.f64 y 6) (pow.f64 x 3)))
(pow.f64 (*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 y) 2)) 3)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(sqrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 y y)))))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 6))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(expm1.f64 (log1p.f64 (.f64 x (.f64 y y))))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(exp.f64 (log.f64 (.f64 x (.f64 y y))))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 y y))) 1))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 y y))) 1) 1))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 y y)))) 3))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 (sqrt.f64 x) y) 6)) 1/3))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 x) y)) 2))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(log1p.f64 (expm1.f64 (.f64 x (.f64 y y))))
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))

eval82.0ms (2.7%)

Compiler: Compiled 3175 to 1857 computations (41.5% saved)

prune34.0ms (1.1%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	223	2	225
Fresh	0	0	0
Picked	1	1	2
Done	0	4	4
Total	224	7	231

Accuracy

100.0%

Counts

231 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	49.8%	(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓	54.0%	(pow.f64 (sqrt.f64 (.f64 x (.f64 y y))) 2)
	99.0%	(.f64 (pow.f64 (.f64 (sqrt.f64 y) (cbrt.f64 x)) 3) (sqrt.f64 y))
✓	99.6%	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
	96.6%	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
✓	99.8%	(.f64 (.f64 x y) y)
✓	89.1%	(.f64 x (.f64 y y))

Compiler

Compiled 129 to 75 computations (41.9% saved)

regimes16.0ms (0.5%)

Counts

8 → 1

Calls

Call 1

Inputs
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
(pow.f64 (sqrt.f64 (.f64 x (.f64 y y))) 2)
(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
(.f64 (pow.f64 (.f64 (sqrt.f64 y) (cbrt.f64 x)) 3) (sqrt.f64 y))
(.f64 (.f64 x (cbrt.f64 (pow.f64 y 4))) (pow.f64 (cbrt.f64 y) 2))

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 77 to 41 computations (46.8% saved)

regimes8.0ms (0.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

2 calls:

5.0ms	y
3.0ms	x

Results

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	11	26

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 14 to 8 computations (42.9% saved)

soundness41.0ms (1.4%)

Rules

352×	`fma-def`
106×	`associate-r`
64×	`unsub-neg`
58×	`associate-l`
56×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	69
1	38	69
2	84	69
3	197	69
4	316	69
5	471	69
6	571	69
7	571	69

Stop Event

1×

saturated

Compiler

Compiled 12 to 6 computations (50% saved)

end0.0ms (0%)

preprocess25.0ms (0.8%)

Remove: (abs y)
Compiler: Compiled 52 to 28 computations (46.2% saved)

analyze1.0ms (0%)

sample1.8s (62.2%)

preprocess30.0ms (1%)

eval0.0ms (0%)

prune4.0ms (0.1%)

localize30.0ms (1%)

series3.0ms (0.1%)

rewrite59.0ms (2%)

simplify69.0ms (2.3%)

eval2.0ms (0.1%)

prune4.0ms (0.1%)

localize30.0ms (1%)

series6.0ms (0.2%)

rewrite69.0ms (2.3%)

simplify115.0ms (3.9%)

eval6.0ms (0.2%)

prune8.0ms (0.3%)

localize33.0ms (1.1%)

series2.0ms (0.1%)

rewrite63.0ms (2.1%)

simplify63.0ms (2.1%)

eval13.0ms (0.4%)

prune18.0ms (0.6%)

localize74.0ms (2.5%)

series13.0ms (0.4%)

rewrite95.0ms (3.2%)

simplify105.0ms (3.5%)

eval82.0ms (2.7%)

prune34.0ms (1.1%)

regimes16.0ms (0.5%)

regimes8.0ms (0.3%)

simplify4.0ms (0.1%)

soundness41.0ms (1.4%)

end0.0ms (0%)

preprocess25.0ms (0.8%)

Profiling