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

analyze15.0ms (0.4%)

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, 20.0% of total-time

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

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

sample1.2s (34.4%)

Results

1.2s	8255×	256	valid
0.0ms	1×	256	valid

Precisions

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

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

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

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

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

Bogosity

preprocess268.0ms (7.4%)

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
27	-	-	`(/.f64 (*.f64 x y) (+.f64 y 1))`
0	-	-	`1`
0	-	-	`(+.f64 y 1)`
0	-	-	`y`
0	-	-	`(*.f64 x y)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (*.f64 x y) (+.f64 y 1))`	o/n	27	0
↳	`(*.f64 x y)`	overflow	27

Confusion

	Predicted +	Predicted -
+	27	0
-	0	229

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	27	0	0
-	0	0	229

Precision?

1.0

Recall?

1.0

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 56 to 32 computations (42.9% 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-mult, time spent: 4.0ms, 23.0% of total-time

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

Operation const, time spent: 1.0ms, 6.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
▶	90.0%	(/.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)

localize59.0ms (1.6%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	90.0%	(/.f64 (*.f64 x y) (+.f64 y 1))
✓	100.0%	(/.f64 y (+.f64 y 1))
✓	100.0%	(*.f64 x (/.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-div, time spent: 8.0ms, 38.0% of total-time

Operation ival-add, time spent: 8.0ms, 38.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

series12.0ms (0.3%)

Counts

3 → 60

Calls

Call 1

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

Outputs
#<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 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)))>

Calls

15 calls:

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

rewrite221.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 x (/.f64 y (+.f64 y 1)))
(/.f64 y (+.f64 y 1))
(/.f64 (*.f64 x y) (+.f64 y 1))

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

simplify151.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

904×	`associate-/r*`
648×	`distribute-lft-in`
560×	`distribute-rgt-in`
460×	`exp-prod`
380×	`cube-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	356	6379
1	842	6249
2	2524	6181
3	7738	6181

Stop Event

1×	node limit

Counts

215 → 201

Calls

Call 1

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

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

eval62.0ms (1.7%)

Compiler: Compiled 2499 to 1538 computations (38.5% saved)

prune29.0ms (0.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	197	4	201
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	197	6	203

Accuracy

100.0%

Counts

203 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	90.0%	(/.f64 (*.f64 x y) (+.f64 y 1))
▶	99.3%	(/.f64 1 (/.f64 (/.f64 (+.f64 y 1) y) x))
▶	47.6%	(-.f64 x (/.f64 x y))
✓	100.0%	(*.f64 x (/.f64 y (+.f64 y 1)))
▶	54.4%	(*.f64 x y)
▶	48.0%	x

Compiler

Compiled 44 to 29 computations (34.1% saved)

localize69.0ms (1.9%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 y 1) y)
✓	99.8%	(/.f64 (/.f64 (+.f64 y 1) y) x)
✓	99.3%	(/.f64 1 (/.f64 (/.f64 (+.f64 y 1) y) x))

Compiler

Compiled 46 to 22 computations (52.2% saved)

Precisions

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

Operation ival-div, time spent: 13.0ms, 57.0% of total-time

Operation ival-add, time spent: 5.0ms, 22.0% of total-time

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

Operation ival-sub, time spent: 1.0ms, 4.0% of total-time

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

series7.0ms (0.2%)

Counts

3 → 60

Calls

Call 1

Inputs
#<alt (/.f64 1 (/.f64 (/.f64 (+.f64 y 1) y) x))>
#<alt (/.f64 (/.f64 (+.f64 y 1) y) x)>
#<alt (/.f64 (+.f64 y 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 1 (*.f64 x y))>
#<alt (/.f64 (+.f64 (/.f64 1 x) (/.f64 y x)) y)>
#<alt (/.f64 (+.f64 (/.f64 1 x) (/.f64 y x)) y)>
#<alt (/.f64 (+.f64 (/.f64 1 x) (/.f64 y x)) y)>
#<alt (/.f64 1 x)>
#<alt (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x y)))>
#<alt (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x y)))>
#<alt (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x y)))>
#<alt (/.f64 1 x)>
#<alt (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x y)))>
#<alt (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x y)))>
#<alt (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x y)))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 (+.f64 1 y) (*.f64 x y))>
#<alt (/.f64 1 y)>
#<alt (/.f64 (+.f64 1 y) y)>
#<alt (/.f64 (+.f64 1 y) y)>
#<alt (/.f64 (+.f64 1 y) y)>
#<alt 1>
#<alt (+.f64 1 (/.f64 1 y))>
#<alt (+.f64 1 (/.f64 1 y))>
#<alt (+.f64 1 (/.f64 1 y))>
#<alt 1>
#<alt (+.f64 1 (/.f64 1 y))>
#<alt (+.f64 1 (/.f64 1 y))>
#<alt (+.f64 1 (/.f64 1 y))>

Calls

15 calls:

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

rewrite111.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

906×	`log-prod`
871×	`log1p-expm1-u`
871×	`expm1-log1p-u`
382×	`log-div`
280×	`pow-to-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	81
1	164	75
2	2459	75

Stop Event

1×	node limit

Counts

3 → 161

Calls

Call 1

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

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

simplify98.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1156×	`distribute-lft-in`
1046×	`distribute-rgt-in`
598×	`exp-prod`
470×	`cube-prod`
436×	`distribute-lft-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	420	6943
1	930	5816
2	3029	5798

Stop Event

1×	node limit

Counts

221 → 238

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

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

eval72.0ms (2%)

Compiler: Compiled 3332 to 2214 computations (33.6% saved)

prune108.0ms (3%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	238	0	238
Fresh	0	0	0
Picked	0	4	4
Done	0	2	2
Total	238	6	244

Accuracy

100.0%

Counts

244 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	90.0%	(/.f64 (*.f64 x y) (+.f64 y 1))
✓	99.3%	(/.f64 1 (/.f64 (/.f64 (+.f64 y 1) y) x))
✓	47.6%	(-.f64 x (/.f64 x y))
✓	100.0%	(*.f64 x (/.f64 y (+.f64 y 1)))
✓	54.4%	(*.f64 x y)
✓	48.0%	x

Compiler

Compiled 78 to 47 computations (39.7% saved)

regimes15.0ms (0.4%)

Counts

6 → 1

Calls

Call 1

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

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)

regimes95.0ms (2.6%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

2 calls:

68.0ms	y
26.0ms	x

Results

Accuracy	Segments	Branch
67.9%	8	`x`
99.2%	3	`y`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes9.0ms (0.2%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 x y)

Outputs
x
(*.f64 x y)
x

Calls

1 calls:

8.0ms

Results

Accuracy	Segments	Branch
98.3%	3	`y`

Compiler

Compiled 3 to 2 computations (33.3% saved)

regimes63.0ms (1.7%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
x

Outputs
x

Calls

2 calls:

60.0ms	y
3.0ms	x

Results

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch38.0ms (1.1%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
20.0ms	1.2372898683114765e-12	325957.34230773
18.0ms	-1.537968648460233	-1.8605958196780135e-9

Results

33.0ms	303×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 280 to 181 computations (35.4% saved)

Precisions

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

Operation ival-div, time spent: 3.0ms, 40.0% of total-time

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

Operation ival-add, time spent: 2.0ms, 27.0% of total-time

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

bsearch39.0ms (1.1%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
21.0ms	1.2372898683114765e-12	325957.34230773
18.0ms	-1.537968648460233	-1.8605958196780135e-9

Results

34.0ms	303×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 204 to 143 computations (29.9% saved)

Precisions

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

Operation ival-div, time spent: 3.0ms, 40.0% of total-time

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

Operation ival-add, time spent: 2.0ms, 27.0% of total-time

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

simplify9.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 3039929748475085/2251799813685248) (*.f64 x y) (-.f64 x (/.f64 x y))))
(if (<=.f64 y -1) x (if (<=.f64 y 1) (*.f64 x y) x))
x

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

Compiler

Compiled 46 to 29 computations (37% saved)

soundness691.0ms (19.2%)

Rules

2732×	`fma-define`
904×	`associate-/r*`
648×	`distribute-lft-in`
560×	`distribute-rgt-in`
486×	`times-frac`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	356	6379
1	842	6249
2	2524	6181
3	7738	6181
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 36 to 19 computations (47.2% saved)

end0.0ms (0%)

preprocess118.0ms (3.3%)

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

analyze15.0ms (0.4%)

sample1.2s (34.4%)

preprocess268.0ms (7.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize59.0ms (1.6%)

series12.0ms (0.3%)

rewrite221.0ms (6.1%)

simplify151.0ms (4.2%)

eval62.0ms (1.7%)

prune29.0ms (0.8%)

localize69.0ms (1.9%)

series7.0ms (0.2%)

rewrite111.0ms (3.1%)

simplify98.0ms (2.7%)

eval72.0ms (2%)

prune108.0ms (3%)

regimes15.0ms (0.4%)

regimes95.0ms (2.6%)

regimes9.0ms (0.2%)

regimes63.0ms (1.7%)

bsearch38.0ms (1.1%)

bsearch39.0ms (1.1%)

simplify9.0ms (0.2%)

soundness691.0ms (19.2%)

end0.0ms (0%)

preprocess118.0ms (3.3%)

Profiling