Metrics for Diagrams.Trail:splitAtParam from diagrams-lib-1.3.0.3, B

analyze17.0ms (0.5%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
50%	50%	50%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
75%	74.9%	25%	0.1%	0%	0%	0%	6
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	7
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	8
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	9
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	10
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	11
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	12

Compiler

Compiled 10 to 7 computations (30% saved)

Precisions

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

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

Operation ival-div, time spent: 1.0ms, 21.0% of total-time

Operation ival-add, time spent: 1.0ms, 21.0% of total-time

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

sample984.0ms (27.4%)

Results

887.0ms	8255×	256	valid
0.0ms	1×	256	valid

Precisions

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

Operation ival-div, time spent: 78.0ms, 34.0% of total-time

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

Operation ival-add, time spent: 58.0ms, 25.0% of total-time

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

Bogosity

preprocess189.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

2732×	`fma-define`
486×	`times-frac`
328×	`fma-neg`
304×	`unsub-neg`
238×	`distribute-lft-in`

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
31	-	-	`(/.f64 (*.f64 x y) (+.f64 y 1))`
0	-	-	`(*.f64 x y)`
0	-	-	`x`
0	-	-	`y`
0	-	-	`(+.f64 y 1)`
0	-	-	`1`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	24	220
1	61	204
2	156	196
3	454	196
4	1263	196
5	2094	196
6	3074	196
7	3432	196
8	3492	196
9	3504	196

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (*.f64 x y) (+.f64 y 1))
(/.f64 (*.f64 x y) (+.f64 y 1))
(/.f64 (*.f64 (neg.f64 x) y) (+.f64 y 1))
(/.f64 (*.f64 x (neg.f64 y)) (+.f64 (neg.f64 y) 1))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) y) (+.f64 y 1)))
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) (+.f64 (neg.f64 y) 1)))
(/.f64 (*.f64 y x) (+.f64 x 1))

Outputs
(/.f64 (*.f64 x y) (+.f64 y 1))
(*.f64 x (/.f64 y (+.f64 y 1)))
(/.f64 (*.f64 x y) (+.f64 y 1))
(*.f64 x (/.f64 y (+.f64 y 1)))
(/.f64 (*.f64 (neg.f64 x) y) (+.f64 y 1))
(/.f64 (*.f64 x (neg.f64 y)) (+.f64 y 1))
(*.f64 x (/.f64 (neg.f64 y) (+.f64 y 1)))
(*.f64 x (/.f64 y (-.f64 -1 y)))
(/.f64 (*.f64 x y) (-.f64 -1 y))
(/.f64 (*.f64 x (neg.f64 y)) (+.f64 (neg.f64 y) 1))
(/.f64 (*.f64 x (neg.f64 y)) (+.f64 1 (neg.f64 y)))
(/.f64 (*.f64 x (neg.f64 y)) (-.f64 1 y))
(*.f64 x (/.f64 y (+.f64 y -1)))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) y) (+.f64 y 1)))
(*.f64 x (/.f64 y (+.f64 y 1)))
(/.f64 (*.f64 x y) (+.f64 y 1))
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) (+.f64 (neg.f64 y) 1)))
(/.f64 (*.f64 x (neg.f64 y)) (neg.f64 (+.f64 1 (neg.f64 y))))
(/.f64 (*.f64 x y) (-.f64 1 y))
(*.f64 y (/.f64 x (-.f64 1 y)))
(/.f64 (*.f64 y x) (+.f64 x 1))
(*.f64 y (/.f64 x (+.f64 x 1)))
(/.f64 (*.f64 x y) (+.f64 x 1))

Compiler

Compiled 47 to 26 computations (44.7% saved)

Precisions

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

Operation ival-add, time spent: 7.0ms, 40.0% of total-time

Operation ival-div, time spent: 4.0ms, 23.0% of total-time

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

Operation const, time spent: 2.0ms, 11.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	88.7%	(/.f64 (*.f64 x y) (+.f64 y 1))
▶	100.0%	(*.f64 x (/.f64 y (+.f64 y 1)))

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize63.0ms (1.8%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	88.7%	(/.f64 (*.f64 x y) (+.f64 y 1))
✓	100.0%	(*.f64 x (/.f64 y (+.f64 y 1)))
✓	100.0%	(/.f64 y (+.f64 y 1))

Compiler

Compiled 37 to 20 computations (45.9% saved)

Precisions

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

Operation ival-add, time spent: 10.0ms, 47.0% of total-time

Operation ival-div, time spent: 6.0ms, 28.0% of total-time

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

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

series7.0ms (0.2%)

Counts

3 → 60

Calls

Call 1

Inputs
#<alt (/.f64 y (+.f64 y 1))>
#<alt (*.f64 x (/.f64 y (+.f64 y 1)))>
#<alt (/.f64 (*.f64 x y) (+.f64 y 1))>

Outputs
#<alt y>
#<alt (.f64 y (+.f64 1 (.f64 -1 y)))>
#<alt (.f64 y (+.f64 1 (.f64 y (-.f64 y 1))))>
#<alt (.f64 y (+.f64 1 (.f64 y (-.f64 (.f64 y (+.f64 1 (.f64 -1 y))) 1))))>
#<alt 1>
#<alt (-.f64 1 (/.f64 1 y))>
#<alt (-.f64 (+.f64 1 (/.f64 1 (pow.f64 y 2))) (/.f64 1 y))>
#<alt (-.f64 (+.f64 1 (/.f64 1 (pow.f64 y 2))) (+.f64 (/.f64 1 y) (/.f64 1 (pow.f64 y 3))))>
#<alt 1>
#<alt (-.f64 1 (/.f64 1 y))>
#<alt (+.f64 1 (*.f64 -1 (/.f64 (-.f64 1 (/.f64 1 y)) y)))>
#<alt (+.f64 1 (.f64 -1 (/.f64 (+.f64 1 (.f64 -1 (/.f64 (-.f64 1 (/.f64 1 y)) y))) y)))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (*.f64 x y)>
#<alt (.f64 y (+.f64 x (.f64 -1 (*.f64 x y))))>
#<alt (.f64 y (+.f64 x (.f64 y (-.f64 (*.f64 x y) x))))>
#<alt (.f64 y (+.f64 x (.f64 y (-.f64 (.f64 y (-.f64 (.f64 -1 (.f64 x y)) (.f64 -1 x))) x))))>
#<alt x>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt (-.f64 (+.f64 x (/.f64 x (pow.f64 y 2))) (/.f64 x y))>
#<alt (-.f64 (+.f64 x (.f64 -1 (/.f64 x (pow.f64 y 3)))) (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (/.f64 x y)))>
#<alt x>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt (+.f64 x (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (/.f64 x y))) y)))>
#<alt (+.f64 x (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (/.f64 (+.f64 x (*.f64 -1 (/.f64 x y))) y))) y)))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (*.f64 x y)>
#<alt (.f64 y (+.f64 x (.f64 -1 (*.f64 x y))))>
#<alt (.f64 y (+.f64 x (.f64 y (-.f64 (*.f64 x y) x))))>
#<alt (.f64 y (+.f64 x (.f64 y (-.f64 (.f64 y (-.f64 (.f64 -1 (.f64 x y)) (.f64 -1 x))) x))))>
#<alt x>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt (-.f64 (+.f64 x (/.f64 x (pow.f64 y 2))) (/.f64 x y))>
#<alt (-.f64 (+.f64 x (.f64 -1 (/.f64 x (pow.f64 y 3)))) (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (/.f64 x y)))>
#<alt x>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt (+.f64 x (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (/.f64 x y))) y)))>
#<alt (+.f64 x (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (/.f64 (+.f64 x (*.f64 -1 (/.f64 x y))) y))) y)))>

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(* x (/ y (+ y 1)))
1.0ms	x	@	0	(* x (/ y (+ y 1)))
0.0ms	x	@	-inf	(* x (/ y (+ y 1)))
0.0ms	y	@	0	(* x (/ y (+ y 1)))
0.0ms	y	@	0	(/ y (+ y 1))

rewrite219.0ms (6.1%)

Algorithm

1×	batch-egg-rewrite

Rules

902×	`log-prod`
801×	`log1p-expm1-u`
801×	`expm1-log1p-u`
376×	`pow2`
368×	`pow-unpow`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	75
1	174	75
2	2193	75

Stop Event

1×	node limit

Counts

3 → 155

Calls

Call 1

Inputs
(/.f64 y (+.f64 y 1))
(*.f64 x (/.f64 y (+.f64 y 1)))
(/.f64 (*.f64 x y) (+.f64 y 1))

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

simplify97.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

986×	`associate-/r*`
710×	`distribute-lft-in`
612×	`distribute-rgt-in`
466×	`exp-prod`
388×	`cube-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	358	6295
1	858	6177
2	2618	6097

Stop Event

1×	node limit

Counts

215 → 203

Calls

Call 1

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

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

eval62.0ms (1.7%)

Compiler: Compiled 2512 to 1532 computations (39% saved)

prune32.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	198	5	203
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	199	6	205

Accuracy

100.0%

Counts

205 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	88.7%	(/.f64 (*.f64 x y) (+.f64 y 1))
▶	46.2%	(-.f64 x (/.f64 x y))
▶	89.0%	(*.f64 y (/.f64 x (+.f64 y 1)))
▶	54.6%	(*.f64 y x)
▶	54.3%	(.f64 x (.f64 y (+.f64 1 (.f64 y (-.f64 (.f64 y (+.f64 1 (*.f64 -1 y))) 1)))))
▶	46.9%	x

Compiler

Compiled 95 to 64 computations (32.6% saved)

localize201.0ms (5.6%)

Localize:

Found 7 expressions with local error:

New	Accuracy	Program
✓	100.0%	(.f64 y (+.f64 1 (.f64 -1 y)))
✓	99.9%	(.f64 y (-.f64 (.f64 y (+.f64 1 (*.f64 -1 y))) 1))
✓	99.9%	(.f64 y (+.f64 1 (.f64 y (-.f64 (.f64 y (+.f64 1 (.f64 -1 y))) 1))))
✓	97.0%	(.f64 x (.f64 y (+.f64 1 (.f64 y (-.f64 (.f64 y (+.f64 1 (*.f64 -1 y))) 1)))))
✓	100.0%	(-.f64 x (/.f64 x y))
✓	100.0%	(/.f64 x (+.f64 y 1))
✓	89.0%	(*.f64 y (/.f64 x (+.f64 y 1)))

Compiler

Compiled 121 to 77 computations (36.4% saved)

Precisions

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

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

Operation ival-add, time spent: 19.0ms, 17.0% of total-time

Operation ival-div, time spent: 10.0ms, 9.0% of total-time

Operation ival-sub, time spent: 8.0ms, 7.0% of total-time

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

series20.0ms (0.6%)

Counts

7 → 114

Calls

Call 1

Inputs
#<alt (*.f64 y (/.f64 x (+.f64 y 1)))>
#<alt (/.f64 x (+.f64 y 1))>
#<alt (-.f64 x (/.f64 x y))>
#<alt (.f64 x (.f64 y (+.f64 1 (.f64 y (-.f64 (.f64 y (+.f64 1 (*.f64 -1 y))) 1)))))>
#<alt (.f64 y (+.f64 1 (.f64 y (-.f64 (.f64 y (+.f64 1 (.f64 -1 y))) 1))))>
#<alt (.f64 y (-.f64 (.f64 y (+.f64 1 (*.f64 -1 y))) 1))>
#<alt (.f64 y (+.f64 1 (.f64 -1 y)))>

Outputs
#<alt (*.f64 x y)>
#<alt (.f64 y (+.f64 x (.f64 -1 (*.f64 x y))))>
#<alt (.f64 y (+.f64 x (.f64 y (-.f64 (*.f64 x y) x))))>
#<alt (.f64 y (+.f64 x (.f64 y (-.f64 (.f64 y (-.f64 (.f64 -1 (.f64 x y)) (.f64 -1 x))) x))))>
#<alt x>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt (-.f64 (+.f64 x (/.f64 x (pow.f64 y 2))) (/.f64 x y))>
#<alt (-.f64 (+.f64 x (.f64 -1 (/.f64 x (pow.f64 y 3)))) (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (/.f64 x y)))>
#<alt x>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt (+.f64 x (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (/.f64 x y))) y)))>
#<alt (+.f64 x (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (/.f64 (+.f64 x (*.f64 -1 (/.f64 x y))) y))) y)))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 (*.f64 x y) (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt (/.f64 x (+.f64 1 y))>
#<alt x>
#<alt (+.f64 x (.f64 -1 (.f64 x y)))>
#<alt (+.f64 x (.f64 y (-.f64 (.f64 x y) x)))>
#<alt (+.f64 x (.f64 y (-.f64 (.f64 y (-.f64 (.f64 -1 (.f64 x y)) (*.f64 -1 x))) x)))>
#<alt (/.f64 x y)>
#<alt (/.f64 (+.f64 x (*.f64 -1 (/.f64 x y))) y)>
#<alt (/.f64 (-.f64 (+.f64 x (/.f64 x (pow.f64 y 2))) (/.f64 x y)) y)>
#<alt (/.f64 (-.f64 (+.f64 x (.f64 -1 (/.f64 x (pow.f64 y 3)))) (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (/.f64 x y))) y)>
#<alt (/.f64 x y)>
#<alt (.f64 -1 (/.f64 (+.f64 (.f64 -1 x) (/.f64 x y)) y))>
#<alt (.f64 -1 (/.f64 (+.f64 (.f64 -1 x) (*.f64 -1 (/.f64 (-.f64 (/.f64 x y) x) y))) y))>
#<alt (.f64 -1 (/.f64 (+.f64 (.f64 -1 x) (.f64 -1 (/.f64 (-.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 x y) x) y)) x) y))) y))>
#<alt (*.f64 x (-.f64 1 (/.f64 1 y)))>
#<alt (*.f64 x (-.f64 1 (/.f64 1 y)))>
#<alt (*.f64 x (-.f64 1 (/.f64 1 y)))>
#<alt (*.f64 x (-.f64 1 (/.f64 1 y)))>
#<alt (*.f64 x (-.f64 1 (/.f64 1 y)))>
#<alt (*.f64 x (-.f64 1 (/.f64 1 y)))>
#<alt (*.f64 x (-.f64 1 (/.f64 1 y)))>
#<alt (*.f64 x (-.f64 1 (/.f64 1 y)))>
#<alt (.f64 -1 (.f64 x (-.f64 (/.f64 1 y) 1)))>
#<alt (.f64 -1 (.f64 x (-.f64 (/.f64 1 y) 1)))>
#<alt (.f64 -1 (.f64 x (-.f64 (/.f64 1 y) 1)))>
#<alt (.f64 -1 (.f64 x (-.f64 (/.f64 1 y) 1)))>
#<alt (*.f64 -1 (/.f64 x y))>
#<alt (/.f64 (-.f64 (*.f64 x y) x) y)>
#<alt (/.f64 (-.f64 (*.f64 x y) x) y)>
#<alt (/.f64 (-.f64 (*.f64 x y) x) y)>
#<alt x>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt x>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt (+.f64 x (*.f64 -1 (/.f64 x y)))>
#<alt (*.f64 x y)>
#<alt (.f64 y (+.f64 x (.f64 -1 (*.f64 x y))))>
#<alt (.f64 y (+.f64 x (.f64 y (+.f64 (.f64 -1 x) (.f64 x y)))))>
#<alt (.f64 y (+.f64 x (.f64 y (+.f64 (.f64 -1 x) (.f64 y (+.f64 x (.f64 -1 (.f64 x y))))))))>
#<alt (.f64 -1 (.f64 x (pow.f64 y 4)))>
#<alt (.f64 (pow.f64 y 4) (+.f64 (.f64 -1 x) (/.f64 x y)))>
#<alt (.f64 (pow.f64 y 4) (+.f64 (.f64 -1 x) (+.f64 (*.f64 -1 (/.f64 x (pow.f64 y 2))) (/.f64 x y))))>
#<alt (.f64 (pow.f64 y 4) (+.f64 (.f64 -1 x) (+.f64 (*.f64 -1 (/.f64 x (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 x (pow.f64 y 3))))))>
#<alt (.f64 -1 (.f64 x (pow.f64 y 4)))>
#<alt (.f64 (pow.f64 y 4) (+.f64 (.f64 -1 x) (/.f64 x y)))>
#<alt (.f64 (pow.f64 y 4) (+.f64 (.f64 -1 x) (.f64 -1 (/.f64 (+.f64 (.f64 -1 x) (/.f64 x y)) y))))>
#<alt (.f64 (pow.f64 y 4) (+.f64 (.f64 -1 x) (.f64 -1 (/.f64 (+.f64 (.f64 -1 x) (.f64 -1 (/.f64 (+.f64 (.f64 -1 x) (/.f64 x y)) y))) y))))>
#<alt y>
#<alt (.f64 y (+.f64 1 (.f64 -1 y)))>
#<alt (.f64 y (+.f64 1 (.f64 y (-.f64 y 1))))>
#<alt (*.f64 -1 (pow.f64 y 4))>
#<alt (*.f64 (pow.f64 y 4) (-.f64 (/.f64 1 y) 1))>
#<alt (*.f64 (pow.f64 y 4) (-.f64 (/.f64 1 y) (+.f64 1 (/.f64 1 (pow.f64 y 2)))))>
#<alt (*.f64 (pow.f64 y 4) (-.f64 (+.f64 (/.f64 1 y) (/.f64 1 (pow.f64 y 3))) (+.f64 1 (/.f64 1 (pow.f64 y 2)))))>
#<alt (*.f64 -1 (pow.f64 y 4))>
#<alt (*.f64 (pow.f64 y 4) (-.f64 (/.f64 1 y) 1))>
#<alt (.f64 (pow.f64 y 4) (-.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 y) 1) y)) 1))>
#<alt (.f64 (pow.f64 y 4) (-.f64 (.f64 -1 (/.f64 (-.f64 (*.f64 -1 (/.f64 (-.f64 (/.f64 1 y) 1) y)) 1) y)) 1))>
#<alt (*.f64 -1 y)>
#<alt (*.f64 y (-.f64 y 1))>
#<alt (*.f64 -1 (pow.f64 y 3))>
#<alt (*.f64 (pow.f64 y 3) (-.f64 (/.f64 1 y) 1))>
#<alt (*.f64 (pow.f64 y 3) (-.f64 (/.f64 1 y) (+.f64 1 (/.f64 1 (pow.f64 y 2)))))>
#<alt (*.f64 (pow.f64 y 3) (-.f64 (/.f64 1 y) (+.f64 1 (/.f64 1 (pow.f64 y 2)))))>
#<alt (*.f64 -1 (pow.f64 y 3))>
#<alt (.f64 -1 (.f64 (pow.f64 y 3) (-.f64 1 (/.f64 1 y))))>
#<alt (.f64 -1 (.f64 (pow.f64 y 3) (+.f64 1 (*.f64 -1 (/.f64 (-.f64 1 (/.f64 1 y)) y)))))>
#<alt (.f64 -1 (.f64 (pow.f64 y 3) (+.f64 1 (*.f64 -1 (/.f64 (-.f64 1 (/.f64 1 y)) y)))))>
#<alt y>
#<alt (*.f64 -1 (pow.f64 y 2))>
#<alt (*.f64 (pow.f64 y 2) (-.f64 (/.f64 1 y) 1))>
#<alt (*.f64 (pow.f64 y 2) (-.f64 (/.f64 1 y) 1))>
#<alt (*.f64 (pow.f64 y 2) (-.f64 (/.f64 1 y) 1))>
#<alt (*.f64 -1 (pow.f64 y 2))>
#<alt (*.f64 (pow.f64 y 2) (-.f64 (/.f64 1 y) 1))>
#<alt (*.f64 (pow.f64 y 2) (-.f64 (/.f64 1 y) 1))>
#<alt (*.f64 (pow.f64 y 2) (-.f64 (/.f64 1 y) 1))>

Calls

33 calls:

Time	Variable		Point	Expression
3.0ms	x	@	inf	(- x (/ x y))
2.0ms	y	@	inf	(* x (* y (+ 1 (* y (- (* y (+ 1 (* -1 y))) 1)))))
2.0ms	x	@	0	(* x (* y (+ 1 (* y (- (* y (+ 1 (* -1 y))) 1)))))
1.0ms	y	@	0	(/ x (+ y 1))
1.0ms	x	@	inf	(* x (* y (+ 1 (* y (- (* y (+ 1 (* -1 y))) 1)))))

rewrite212.0ms (5.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1063×	`log1p-expm1-u`
342×	`associate-r`
240×	`associate-l`
182×	`expm1-log1p-u`
180×	`add-cube-cbrt`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	233
1	388	208
2	6326	208

Stop Event

1×	node limit

Counts

7 → 202

Calls

Call 1

Inputs
(*.f64 y (/.f64 x (+.f64 y 1)))
(/.f64 x (+.f64 y 1))
(-.f64 x (/.f64 x y))
(.f64 x (.f64 y (+.f64 1 (.f64 y (-.f64 (.f64 y (+.f64 1 (*.f64 -1 y))) 1)))))
(.f64 y (+.f64 1 (.f64 y (-.f64 (.f64 y (+.f64 1 (.f64 -1 y))) 1))))
(.f64 y (-.f64 (.f64 y (+.f64 1 (*.f64 -1 y))) 1))
(.f64 y (+.f64 1 (.f64 -1 y)))

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

simplify664.0ms (18.5%)

Algorithm

1×	egg-herbie

Rules

1498×	`distribute-lft-in`
642×	`fma-neg`
584×	`fma-define`
584×	`cancel-sign-sub-inv`
476×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	570	11467
1	1435	10969
2	4426	10833

Stop Event

1×	node limit

Counts

316 → 390

Calls

Call 1

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

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

eval187.0ms (5.2%)

Compiler: Compiled 6225 to 3730 computations (40.1% saved)

prune122.0ms (3.4%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	390	0	390
Fresh	0	0	0
Picked	0	5	5
Done	0	1	1
Total	390	6	396

Accuracy

100.0%

Counts

396 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	88.7%	(/.f64 (*.f64 x y) (+.f64 y 1))
✓	46.2%	(-.f64 x (/.f64 x y))
✓	89.0%	(*.f64 y (/.f64 x (+.f64 y 1)))
✓	54.6%	(*.f64 y x)
✓	54.3%	(.f64 x (.f64 y (+.f64 1 (.f64 y (-.f64 (.f64 y (+.f64 1 (*.f64 -1 y))) 1)))))
✓	46.9%	x

Compiler

Compiled 101 to 64 computations (36.6% saved)

regimes16.0ms (0.5%)

Counts

7 → 1

Calls

Call 1

Inputs
x
(*.f64 y x)
(-.f64 x (/.f64 x y))
(*.f64 x (/.f64 y (+.f64 y 1)))
(*.f64 y (/.f64 x (+.f64 y 1)))
(/.f64 (*.f64 x y) (+.f64 y 1))
(.f64 x (.f64 y (+.f64 1 (.f64 y (-.f64 (.f64 y (+.f64 1 (*.f64 -1 y))) 1)))))

Outputs
(*.f64 x (/.f64 y (+.f64 y 1)))

Calls

3 calls:

5.0ms	y
5.0ms	x
4.0ms	(/.f64 (*.f64 x y) (+.f64 y 1))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(/.f64 (*.f64 x y) (+.f64 y 1))`

Compiler

Compiled 15 to 10 computations (33.3% saved)

regimes36.0ms (1%)

Counts

3 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)
(-.f64 x (/.f64 x y))

Outputs
(-.f64 x (/.f64 x y))
(*.f64 y x)
(-.f64 x (/.f64 x y))

Calls

2 calls:

25.0ms	x
10.0ms	y

Results

Accuracy	Segments	Branch
67.3%	8	`x`
97.9%	3	`y`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes9.0ms (0.2%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)

Outputs
x
(*.f64 y x)
x

Calls

1 calls:

8.0ms

Results

Accuracy	Segments	Branch
97.3%	3	`y`

Compiler

Compiled 3 to 2 computations (33.3% saved)

regimes6.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
x

Outputs
x

Calls

2 calls:

3.0ms	y
3.0ms	x

Results

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch34.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
17.0ms	0.00010776139385965579	11.105227974114241
16.0ms	-2.798281230221878	-0.0028262006212392047

Results

29.0ms	271×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 252 to 163 computations (35.3% saved)

Precisions

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

Operation ival-div, time spent: 2.0ms, 30.0% of total-time

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

Operation ival-add, time spent: 1.0ms, 15.0% of total-time

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

bsearch34.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
18.0ms	0.00010776139385965579	11.105227974114241
16.0ms	-2.798281230221878	-0.0028262006212392047

Results

29.0ms	270×	256	valid
0.0ms	1×	256	valid
0.0ms	1×	256	infinite

Compiler

Compiled 184 to 129 computations (29.9% saved)

Precisions

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

Operation ival-div, time spent: 2.0ms, 31.0% of total-time

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

Operation ival-add, time spent: 1.0ms, 15.0% of total-time

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

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative`
10×	`+-commutative`
8×	`sub-neg`
6×	`neg-sub0`
6×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	143
1	45	143
2	52	143
3	58	143
4	63	143
5	65	143

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 x (/.f64 y (+.f64 y 1)))
(if (<=.f64 y -1) (-.f64 x (/.f64 x y)) (if (<=.f64 y 5944751508129055/4503599627370496) (*.f64 y x) (-.f64 x (/.f64 x y))))
(if (<=.f64 y -1) x (if (<=.f64 y 1) (*.f64 y x) x))
x

Outputs
(*.f64 x (/.f64 y (+.f64 y 1)))
(if (<=.f64 y -1) (-.f64 x (/.f64 x y)) (if (<=.f64 y 5944751508129055/4503599627370496) (*.f64 y x) (-.f64 x (/.f64 x y))))
(if (or (<=.f64 y -1) (not (<=.f64 y 5944751508129055/4503599627370496))) (-.f64 x (/.f64 x y)) (*.f64 x y))
(if (<=.f64 y -1) x (if (<=.f64 y 1) (*.f64 y x) x))
(if (<=.f64 y -1) x (if (<=.f64 y 1) (*.f64 x y) x))
x

Compiler

Compiled 46 to 29 computations (37% saved)

soundness324.0ms (9%)

Rules

2732×	`fma-define`
986×	`associate-/r*`
710×	`distribute-lft-in`
612×	`distribute-rgt-in`
486×	`times-frac`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	358	6295
1	858	6177
2	2618	6097
0	24	220
1	61	204
2	156	196
3	454	196
4	1263	196
5	2094	196
6	3074	196
7	3432	196
8	3492	196
9	3504	196

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 44 to 23 computations (47.7% saved)

end0.0ms (0%)

preprocess53.0ms (1.5%)

Compiler: Compiled 176 to 90 computations (48.9% saved)

analyze17.0ms (0.5%)

sample984.0ms (27.4%)

preprocess189.0ms (5.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize63.0ms (1.8%)

series7.0ms (0.2%)

rewrite219.0ms (6.1%)

simplify97.0ms (2.7%)

eval62.0ms (1.7%)

prune32.0ms (0.9%)

localize201.0ms (5.6%)

series20.0ms (0.6%)

rewrite212.0ms (5.9%)

simplify664.0ms (18.5%)

eval187.0ms (5.2%)

prune122.0ms (3.4%)

regimes16.0ms (0.5%)

regimes36.0ms (1%)

regimes9.0ms (0.2%)

regimes6.0ms (0.2%)

bsearch34.0ms (0.9%)

bsearch34.0ms (0.9%)

simplify6.0ms (0.2%)

soundness324.0ms (9%)

end0.0ms (0%)

preprocess53.0ms (1.5%)

Profiling