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

analyze9.0ms (0.3%)

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)

sample793.0ms (24.9%)

Results

782.0ms

8256×

body

256

valid

Bogosity

preprocess182.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

606×	`fma-def`
517×	`associate-+l-`
364×	`associate-+r-`
362×	`associate--r+`
355×	`div-sub`

Problems

256×

No Errors

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	22	152
1	51	144
2	105	144
3	256	144
4	638	140
5	1747	140
6	3979	140
7	5594	140
8	7365	140
9	7696	140
10	7917	140

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (-.f64 x y) (-.f64 1 y))
(/.f64 (-.f64 x y) (-.f64 1 y))
(/.f64 (-.f64 (neg.f64 x) y) (-.f64 1 y))
(/.f64 (-.f64 x (neg.f64 y)) (-.f64 1 (neg.f64 y)))
(/.f64 (-.f64 y x) (-.f64 1 x))

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

Compiler

Compiled 28 to 16 computations (42.9% saved)

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
▶	100.0%	(/.f64 (-.f64 y x) (+.f64 y -1))
▶	100.0%	(/.f64 (-.f64 y x) (+.f64 y -1))

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize26.0ms (0.8%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite197.0ms (6.2%)

Algorithm

1×	batch-egg-rewrite

Rules

736×	`associate-*l/`
724×	`associate-/r*`
657×	`associate-/l*`
391×	`*-commutative`
362×	`associate-/r/`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	28
1	137	28
2	2127	28

Stop Event

1×	node limit

Counts

1 → 80

Calls

Call 1

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

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

simplify107.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

717×	`associate-*r/`
642×	`associate-+r+`
516×	`associate-+l+`
447×	`+-commutative`
291×	`associate-+l-`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	293	5739
1	957	5490
2	3912	5370

Stop Event

1×	node limit

Counts

104 → 175

Calls

Call 1

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

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

eval56.0ms (1.8%)

Compiler: Compiled 3367 to 2083 computations (38.1% saved)

prune41.0ms (1.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	170	5	175
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	170	6	176

Accuracy

100.0%

Counts

176 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (-.f64 y x) (+.f64 y -1))
▶	52.7%	(/.f64 (neg.f64 x) (+.f64 -1 y))
▶	49.8%	(/.f64 y (-.f64 y 1))
▶	52.9%	(+.f64 1 (/.f64 (-.f64 1 x) y))
	39.8%	x
	40.4%	1
✓	100.0%	(/.f64 (-.f64 y x) (+.f64 y -1))
▶	52.7%	(/.f64 (neg.f64 x) (+.f64 -1 y))
▶	49.8%	(/.f64 y (-.f64 y 1))
▶	52.9%	(+.f64 1 (/.f64 (-.f64 1 x) y))
	39.8%	x
	40.4%	1

Compiler

Compiled 78 to 58 computations (25.6% saved)

localize51.0ms (1.6%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(/.f64 (-.f64 1 x) y)

Compiler

Compiled 45 to 27 computations (40% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

6 calls:

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

rewrite71.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

570×	`associate-*r/`
492×	`associate-/r*`
416×	`associate-*l/`
411×	`associate-/l*`
263×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	110	19
2	1487	19

Stop Event

1×	node limit

Counts

1 → 63

Calls

Call 1

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

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

simplify82.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

361×	`associate-*r/`
341×	`associate-+l-`
337×	`distribute-lft-in`
331×	`associate-+r-`
305×	`distribute-rgt-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	171	2374
1	440	2238
2	1462	2235
3	6288	2235

Stop Event

1×	node limit

Counts

75 → 83

Calls

Call 1

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

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

eval26.0ms (0.8%)

Compiler: Compiled 1300 to 929 computations (28.5% saved)

prune16.0ms (0.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	0	2	2
Picked	1	2	3
Done	0	1	1
Total	83	6	89

Accuracy

100.0%

Counts

89 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (-.f64 y x) (+.f64 y -1))
✓	52.7%	(/.f64 (neg.f64 x) (+.f64 -1 y))
✓	49.8%	(/.f64 y (-.f64 y 1))
▶	52.9%	(+.f64 1 (/.f64 (neg.f64 x) y))
	39.8%	x
	40.4%	1
✓	100.0%	(/.f64 (-.f64 y x) (+.f64 y -1))
✓	52.7%	(/.f64 (neg.f64 x) (+.f64 -1 y))
✓	49.8%	(/.f64 y (-.f64 y 1))
▶	52.9%	(+.f64 1 (/.f64 (neg.f64 x) y))
	39.8%	x
	40.4%	1

Compiler

Compiled 76 to 56 computations (26.3% saved)

localize26.0ms (0.8%)

Compiler: Compiled 18 to 8 computations (55.6% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune4.0ms (0.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	1	1
Done	3	3
Total	6	6

Accuracy

100.0%

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (-.f64 y x) (+.f64 y -1))
✓	52.7%	(/.f64 (neg.f64 x) (+.f64 -1 y))
✓	49.8%	(/.f64 y (-.f64 y 1))
✓	52.9%	(+.f64 1 (/.f64 (neg.f64 x) y))
	39.8%	x
	40.4%	1
✓	100.0%	(/.f64 (-.f64 y x) (+.f64 y -1))
✓	52.7%	(/.f64 (neg.f64 x) (+.f64 -1 y))
✓	49.8%	(/.f64 y (-.f64 y 1))
✓	52.9%	(+.f64 1 (/.f64 (neg.f64 x) y))
	39.8%	x
	40.4%	1

Compiler

Compiled 76 to 56 computations (26.3% saved)

localize0.0ms (0%)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune4.0ms (0.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	4	4
Total	6	6

Accuracy

100.0%

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (-.f64 y x) (+.f64 y -1))
✓	52.7%	(/.f64 (neg.f64 x) (+.f64 -1 y))
✓	49.8%	(/.f64 y (-.f64 y 1))
✓	52.9%	(+.f64 1 (/.f64 (neg.f64 x) y))
	39.8%	x
	40.4%	1

Compiler

Compiled 80 to 54 computations (32.5% saved)

regimes16.0ms (0.5%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

3 calls:

5.0ms	y
5.0ms	x
4.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

Results

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

Compiler

Compiled 57 to 36 computations (36.8% saved)

regimes255.0ms (8%)

Counts

6 → 5

Calls

Call 1

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

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

Calls

2 calls:

183.0ms	y
70.0ms	x

Results

Accuracy	Segments	Branch
84.1%	9	`x`
92.2%	5	`y`

Compiler

Compiled 34 to 22 computations (35.3% saved)

regimes21.0ms (0.7%)

Counts

5 → 5

Calls

Call 1

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

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

Calls

1 calls:

20.0ms

Results

Accuracy	Segments	Branch
91.9%	5	`y`

Compiler

Compiled 24 to 15 computations (37.5% saved)

regimes19.0ms (0.6%)

Counts

4 → 5

Calls

Call 1

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

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

Calls

1 calls:

18.0ms

Results

Accuracy	Segments	Branch
92.7%	5	`y`

Compiler

Compiled 18 to 12 computations (33.3% saved)

regimes15.0ms (0.5%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

1 calls:

14.0ms

Results

Accuracy	Segments	Branch
80.5%	3	`y`

Compiler

Compiled 12 to 8 computations (33.3% saved)

regimes9.0ms (0.3%)

Counts

2 → 3

Calls

Call 1

Inputs
1
x

Outputs
1
x
1

Calls

1 calls:

8.0ms

Results

Accuracy	Segments	Branch
76.7%	3	`y`

Compiler

Compiled 7 to 5 computations (28.6% saved)

regimes98.0ms (3.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
1

Outputs
1

Calls

2 calls:

95.0ms	y
3.0ms	x

Results

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

bsearch167.0ms (5.2%)

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	42.89851771755667	13397818222076.883
126.0ms	2.889931260952891e-11	1.4119648456088542e-8
12.0ms	7.225310744596361e-102	1.7464015719783666e-98
12.0ms	-995.534437408123	-2.4532722911729405

Results

160.0ms

544×

body

256

valid

Compiler

Compiled 628 to 488 computations (22.3% saved)

bsearch56.0ms (1.8%)

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
17.0ms	42.89851771755667	13397818222076.883
12.0ms	2.889931260952891e-11	1.4119648456088542e-8
14.0ms	7.225310744596361e-102	1.7464015719783666e-98
13.0ms	-995.534437408123	-2.4532722911729405

Results

50.0ms

544×

body

256

valid

Compiler

Compiled 610 to 470 computations (23% saved)

bsearch53.0ms (1.7%)

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
14.0ms	26191848947716.85	23529992537515504.0
13.0ms	7.225310744596361e-102	1.7464015719783666e-98
11.0ms	-1.9520383250304652e-67	-2.911643212627627e-69
15.0ms	-278744053118914.38	-790214021.0369979

Results

47.0ms

512×

body

256

valid

Compiler

Compiled 483 to 366 computations (24.2% saved)

bsearch24.0ms (0.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	7.225310744596361e-102	1.7464015719783666e-98
11.0ms	-1.9520383250304652e-67	-2.911643212627627e-69

Results

21.0ms

240×

body

256

valid

Compiler

Compiled 194 to 145 computations (25.3% saved)

bsearch26.0ms (0.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
14.0ms	1.4119648456088542e-8	42.89851771755667
12.0ms	-995.534437408123	-2.4532722911729405

Results

23.0ms

272×

body

256

valid

Compiler

Compiled 150 to 129 computations (14% saved)

simplify17.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

11×	`+-commutative`
9×	`sub-neg`
5×	`neg-mul-1`
5×	`*-commutative`
5×	`neg-sub0`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	67	571
1	95	555
2	110	555
3	120	555
4	123	555

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 x y) (-.f64 1 y))
(if (<=.f64 y -700) (+.f64 1 (/.f64 (-.f64 1 x) y)) (if (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136) (/.f64 (neg.f64 x) (+.f64 -1 y)) (if (<=.f64 y 2949778999859695/9671406556917033397649408) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 920) (/.f64 (neg.f64 x) (+.f64 -1 y)) (+.f64 1 (/.f64 (-.f64 1 x) y))))))
(if (<=.f64 y -980) (+.f64 1 (/.f64 (neg.f64 x) y)) (if (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136) (/.f64 (neg.f64 x) (+.f64 -1 y)) (if (<=.f64 y 8317409638948649/4835703278458516698824704) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 32000000) (/.f64 (neg.f64 x) (+.f64 -1 y)) (+.f64 1 (/.f64 (neg.f64 x) y))))))
(if (<=.f64 y -840000000) (+.f64 1 (/.f64 (neg.f64 x) y)) (if (<=.f64 y -5767298273795133/30354201441027016733116592294117482916287606860189680019559568902170379456331382784) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 8003532508642629/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088) x (if (<=.f64 y 26500000000000) (/.f64 y (-.f64 y 1)) (+.f64 1 (/.f64 (neg.f64 x) y))))))
(if (<=.f64 y -5767298273795133/30354201441027016733116592294117482916287606860189680019559568902170379456331382784) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136) x (/.f64 y (-.f64 y 1))))
(if (<=.f64 y -7) 1 (if (<=.f64 y 1) x 1))
1

Outputs
(/.f64 (-.f64 x y) (-.f64 1 y))
(if (<=.f64 y -700) (+.f64 1 (/.f64 (-.f64 1 x) y)) (if (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136) (/.f64 (neg.f64 x) (+.f64 -1 y)) (if (<=.f64 y 2949778999859695/9671406556917033397649408) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 920) (/.f64 (neg.f64 x) (+.f64 -1 y)) (+.f64 1 (/.f64 (-.f64 1 x) y))))))
(if (<=.f64 y -700) (+.f64 1 (/.f64 (-.f64 1 x) y)) (if (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136) (/.f64 (neg.f64 x) (+.f64 y -1)) (if (<=.f64 y 2949778999859695/9671406556917033397649408) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 920) (/.f64 (neg.f64 x) (+.f64 y -1)) (+.f64 1 (/.f64 (-.f64 1 x) y))))))
(if (<=.f64 y -700) (+.f64 1 (/.f64 (-.f64 1 x) y)) (if (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136) (/.f64 (neg.f64 x) (+.f64 y -1)) (if (<=.f64 y 2949778999859695/9671406556917033397649408) (/.f64 y (+.f64 y -1)) (if (<=.f64 y 920) (/.f64 (neg.f64 x) (+.f64 y -1)) (+.f64 1 (/.f64 (-.f64 1 x) y))))))
(if (<=.f64 y -980) (+.f64 1 (/.f64 (neg.f64 x) y)) (if (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136) (/.f64 (neg.f64 x) (+.f64 -1 y)) (if (<=.f64 y 8317409638948649/4835703278458516698824704) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 32000000) (/.f64 (neg.f64 x) (+.f64 -1 y)) (+.f64 1 (/.f64 (neg.f64 x) y))))))
(if (<=.f64 y -980) (+.f64 1 (/.f64 (neg.f64 x) y)) (if (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136) (/.f64 (neg.f64 x) (+.f64 y -1)) (if (<=.f64 y 8317409638948649/4835703278458516698824704) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 32000000) (/.f64 (neg.f64 x) (+.f64 y -1)) (+.f64 1 (/.f64 (neg.f64 x) y))))))
(if (<=.f64 y -980) (-.f64 1 (/.f64 x y)) (if (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136) (/.f64 (neg.f64 x) (+.f64 y -1)) (if (<=.f64 y 8317409638948649/4835703278458516698824704) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 32000000) (/.f64 (neg.f64 x) (+.f64 y -1)) (-.f64 1 (/.f64 x y))))))
(if (<=.f64 y -980) (-.f64 1 (/.f64 x y)) (if (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136) (/.f64 (neg.f64 x) (+.f64 y -1)) (if (<=.f64 y 8317409638948649/4835703278458516698824704) (/.f64 y (+.f64 y -1)) (if (<=.f64 y 32000000) (/.f64 (neg.f64 x) (+.f64 y -1)) (-.f64 1 (/.f64 x y))))))
(if (<=.f64 y -840000000) (+.f64 1 (/.f64 (neg.f64 x) y)) (if (<=.f64 y -5767298273795133/30354201441027016733116592294117482916287606860189680019559568902170379456331382784) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 8003532508642629/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088) x (if (<=.f64 y 26500000000000) (/.f64 y (-.f64 y 1)) (+.f64 1 (/.f64 (neg.f64 x) y))))))
(if (<=.f64 y -840000000) (-.f64 1 (/.f64 x y)) (if (<=.f64 y -5767298273795133/30354201441027016733116592294117482916287606860189680019559568902170379456331382784) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 8003532508642629/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088) x (if (<=.f64 y 26500000000000) (/.f64 y (-.f64 y 1)) (-.f64 1 (/.f64 x y))))))
(if (<=.f64 y -840000000) (-.f64 1 (/.f64 x y)) (if (<=.f64 y -5767298273795133/30354201441027016733116592294117482916287606860189680019559568902170379456331382784) (/.f64 y (+.f64 y -1)) (if (<=.f64 y 8003532508642629/1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697088) x (if (<=.f64 y 26500000000000) (/.f64 y (+.f64 y -1)) (-.f64 1 (/.f64 x y))))))
(if (<=.f64 y -5767298273795133/30354201441027016733116592294117482916287606860189680019559568902170379456331382784) (/.f64 y (-.f64 y 1)) (if (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136) x (/.f64 y (-.f64 y 1))))
(if (or (<=.f64 y -5767298273795133/30354201441027016733116592294117482916287606860189680019559568902170379456331382784) (not (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136))) (/.f64 y (-.f64 y 1)) x)
(if (or (<=.f64 y -5767298273795133/30354201441027016733116592294117482916287606860189680019559568902170379456331382784) (not (<=.f64 y 2616539473979321/153914086704665934422965000391185991426092731525255651046673021110334850669910978950836977558144201721900890587136))) (/.f64 y (+.f64 y -1)) x)
(if (<=.f64 y -7) 1 (if (<=.f64 y 1) x 1))
1

Compiler

Compiled 175 to 119 computations (32% saved)

soundness624.0ms (19.6%)

Rules

717×	`associate-*r/`
717×	`associate-*r/`
642×	`associate-+r+`
642×	`associate-+r+`
606×	`fma-def`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	22	152
1	51	144
2	105	144
3	256	144
4	638	140
5	1747	140
6	3979	140
7	5594	140
8	7365	140
9	7696	140
10	7917	140
0	293	5739
1	957	5490
2	3912	5370
0	171	2374
1	440	2238
2	1462	2235
3	6288	2235
0	293	5739
1	957	5490
2	3912	5370

Stop Event

1×	node limit
1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 407 to 267 computations (34.4% saved)

end0.0ms (0%)

preprocess85.0ms (2.7%)

Compiler: Compiled 344 to 222 computations (35.5% saved)

analyze9.0ms (0.3%)

sample793.0ms (24.9%)

preprocess182.0ms (5.7%)

eval0.0ms (0%)

prune1.0ms (0%)

localize26.0ms (0.8%)

series3.0ms (0.1%)

rewrite197.0ms (6.2%)

simplify107.0ms (3.4%)

eval56.0ms (1.8%)

prune41.0ms (1.3%)

localize51.0ms (1.6%)

series2.0ms (0.1%)

rewrite71.0ms (2.2%)

simplify82.0ms (2.6%)

eval26.0ms (0.8%)

prune16.0ms (0.5%)

localize26.0ms (0.8%)

eval0.0ms (0%)

prune4.0ms (0.1%)

localize0.0ms (0%)

eval0.0ms (0%)

prune4.0ms (0.1%)

regimes16.0ms (0.5%)

regimes255.0ms (8%)

regimes21.0ms (0.7%)

regimes19.0ms (0.6%)

regimes15.0ms (0.5%)

regimes9.0ms (0.3%)

regimes98.0ms (3.1%)

bsearch167.0ms (5.2%)

bsearch56.0ms (1.8%)

bsearch53.0ms (1.7%)

bsearch24.0ms (0.8%)

bsearch26.0ms (0.8%)

simplify17.0ms (0.5%)

soundness624.0ms (19.6%)

end0.0ms (0%)

preprocess85.0ms (2.7%)

Profiling