Metrics for Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisTick from plot-0.2.3.4, B

analyze140.0ms (2.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
50%	49.9%	49.9%	0.2%	0%	0%	0%	6
50%	49.9%	49.9%	0.2%	0%	0%	0%	7
50%	49.9%	49.9%	0.2%	0%	0%	0%	8
50%	49.9%	49.9%	0.2%	0%	0%	0%	9
50%	49.9%	49.9%	0.2%	0%	0%	0%	10
75%	74.8%	24.9%	0.2%	0%	0%	0%	11
75%	74.8%	24.9%	0.2%	0%	0%	0%	12

Compiler

Compiled 19 to 12 computations (36.8% saved)

Precisions

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

Operation ival-sub, time spent: 20.0ms, 41.0% of total-time

Operation ival-mult, time spent: 10.0ms, 21.0% of total-time

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

Operation ival-add, time spent: 8.0ms, 16.0% of total-time

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

sample2.2s (32.6%)

Results

1.4s	6348×	0	valid
210.0ms	661×	0	infinite
204.0ms	650×	1	valid
160.0ms	382×	2	valid
121.0ms	203×	3	valid
7.0ms	11×	4	valid
0.0ms	1×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 1.3s

Operation ival-sub, time spent: 600.0ms, 48.0% of total-time

Operation ival-mult, time spent: 342.0ms, 27.0% of total-time

Operation ival-add, time spent: 199.0ms, 16.0% of total-time

Operation ival-div, time spent: 95.0ms, 8.0% of total-time

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

Bogosity

preprocess236.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

2022×	`fma-def`
938×	`div-sub`
930×	`cancel-sign-sub-inv`
846×	`distribute-lft-in`
820×	`sub-neg`

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
41	0	-	-	`(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))`
29	1	(4.106664157013296e+87 -4.853721288897886e-272 -9.539938579735347e-106 1.854576889039082e-259 -2.0340640080055513e-54)	-	`(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))`
0	0	-	-	`x`
0	0	-	-	`(+.f64 x y)`
0	0	-	-	`(-.f64 a t)`
0	0	-	-	`(-.f64 z t)`
0	0	-	-	`y`
0	0	-	-	`(*.f64 (-.f64 z t) y)`
0	0	-	-	`z`
0	0	-	-	`t`
0	0	-	-	`a`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	94	1336
1	248	1304
2	837	1285
3	2918	1203

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(-.f64 (+.f64 (neg.f64 x) y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(-.f64 (+.f64 x (neg.f64 y)) (/.f64 (*.f64 (-.f64 z t) (neg.f64 y)) (-.f64 a t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 (neg.f64 z) t) y) (-.f64 a t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z (neg.f64 t)) y) (-.f64 a (neg.f64 t))))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 (neg.f64 a) t)))
(neg.f64 (-.f64 (+.f64 (neg.f64 x) y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))))
(neg.f64 (-.f64 (+.f64 x (neg.f64 y)) (/.f64 (*.f64 (-.f64 z t) (neg.f64 y)) (-.f64 a t))))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 (neg.f64 z) t) y) (-.f64 a t))))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z (neg.f64 t)) y) (-.f64 a (neg.f64 t)))))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 (neg.f64 a) t))))
(-.f64 (+.f64 y x) (/.f64 (*.f64 (-.f64 z t) x) (-.f64 a t)))
(-.f64 (+.f64 z y) (/.f64 (*.f64 (-.f64 x t) y) (-.f64 a t)))
(-.f64 (+.f64 t y) (/.f64 (*.f64 (-.f64 z x) y) (-.f64 a x)))
(-.f64 (+.f64 a y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 x t)))
(-.f64 (+.f64 x z) (/.f64 (*.f64 (-.f64 y t) z) (-.f64 a t)))
(-.f64 (+.f64 x t) (/.f64 (*.f64 (-.f64 z y) t) (-.f64 a y)))
(-.f64 (+.f64 x a) (/.f64 (*.f64 (-.f64 z t) a) (-.f64 y t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 t z) y) (-.f64 a z)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 a t) y) (-.f64 z t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z a) y) (-.f64 t a)))

Outputs
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t)))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(fma.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (neg.f64 y) (+.f64 x y))
(fma.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y (+.f64 x y))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t)))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(fma.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (neg.f64 y) (+.f64 x y))
(fma.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y (+.f64 x y))
(-.f64 (+.f64 (neg.f64 x) y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(+.f64 (neg.f64 x) (-.f64 y (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))))
(-.f64 (-.f64 y x) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(+.f64 (-.f64 y x) (*.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y))
(fma.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y (-.f64 y x))
(-.f64 (+.f64 x (neg.f64 y)) (/.f64 (*.f64 (-.f64 z t) (neg.f64 y)) (-.f64 a t)))
(-.f64 (-.f64 x y) (/.f64 (-.f64 z t) (/.f64 (-.f64 a t) (neg.f64 y))))
(+.f64 (-.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(+.f64 (-.f64 x y) (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
(fma.f64 (/.f64 y (-.f64 a t)) (-.f64 z t) (-.f64 x y))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 (neg.f64 z) t) y) (-.f64 a t)))
(+.f64 x (-.f64 y (/.f64 (*.f64 y (-.f64 (neg.f64 z) t)) (-.f64 a t))))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 (neg.f64 z) t) (-.f64 a t)) y))
(+.f64 (+.f64 x y) (/.f64 (+.f64 z t) (/.f64 (-.f64 a t) y)))
(+.f64 y (fma.f64 (/.f64 (+.f64 z t) (-.f64 a t)) y x))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z (neg.f64 t)) y) (-.f64 a (neg.f64 t))))
(-.f64 (+.f64 x y) (/.f64 (-.f64 z (neg.f64 t)) (/.f64 (-.f64 a (neg.f64 t)) y)))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (+.f64 z t) (+.f64 t a)) y))
(-.f64 y (-.f64 (*.f64 y (/.f64 (+.f64 z t) (+.f64 t a))) x))
(+.f64 x (fma.f64 (/.f64 (+.f64 z t) (+.f64 t a)) (neg.f64 y) y))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 (neg.f64 a) t)))
(+.f64 x (-.f64 y (/.f64 (-.f64 z t) (/.f64 (-.f64 (neg.f64 a) t) y))))
(+.f64 y (-.f64 x (/.f64 (-.f64 z t) (/.f64 (neg.f64 (+.f64 t a)) y))))
(+.f64 x (+.f64 y (*.f64 (/.f64 (-.f64 t z) (-.f64 (neg.f64 t) a)) y)))
(+.f64 x (+.f64 y (/.f64 (*.f64 y (-.f64 z t)) (+.f64 t a))))
(neg.f64 (-.f64 (+.f64 (neg.f64 x) y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))))
(-.f64 (-.f64 x y) (/.f64 (-.f64 z t) (/.f64 (-.f64 a t) (neg.f64 y))))
(+.f64 (-.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(+.f64 (-.f64 x y) (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
(fma.f64 (/.f64 y (-.f64 a t)) (-.f64 z t) (-.f64 x y))
(neg.f64 (-.f64 (+.f64 x (neg.f64 y)) (/.f64 (*.f64 (-.f64 z t) (neg.f64 y)) (-.f64 a t))))
(+.f64 (neg.f64 x) (-.f64 y (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))))
(-.f64 (-.f64 y x) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(+.f64 (-.f64 y x) (*.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y))
(fma.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y (-.f64 y x))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 (neg.f64 z) t) y) (-.f64 a t))))
(neg.f64 (+.f64 x (-.f64 y (/.f64 (*.f64 y (-.f64 (neg.f64 z) t)) (-.f64 a t)))))
(-.f64 (neg.f64 x) (-.f64 y (*.f64 (/.f64 (-.f64 (neg.f64 z) t) (-.f64 a t)) y)))
(-.f64 (neg.f64 x) (+.f64 y (/.f64 (+.f64 z t) (/.f64 (-.f64 a t) y))))
(-.f64 (neg.f64 x) (fma.f64 (/.f64 (+.f64 z t) (-.f64 a t)) y y))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z (neg.f64 t)) y) (-.f64 a (neg.f64 t)))))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (-.f64 z (neg.f64 t)) (/.f64 (-.f64 a (neg.f64 t)) y))))
(-.f64 (neg.f64 x) (-.f64 y (*.f64 (/.f64 (+.f64 z t) (+.f64 t a)) y)))
(-.f64 (*.f64 y (/.f64 (+.f64 z t) (+.f64 t a))) (+.f64 x y))
(-.f64 (*.f64 y (+.f64 -1 (/.f64 (+.f64 z t) (+.f64 t a)))) x)
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 (neg.f64 a) t))))
(neg.f64 (+.f64 x (-.f64 y (/.f64 (-.f64 z t) (/.f64 (-.f64 (neg.f64 a) t) y)))))
(-.f64 (neg.f64 x) (-.f64 y (/.f64 (-.f64 z t) (/.f64 (neg.f64 (+.f64 t a)) y))))
(-.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 (neg.f64 t) a))) (+.f64 x y))
(-.f64 (*.f64 y (+.f64 -1 (/.f64 (-.f64 z t) (-.f64 (neg.f64 t) a)))) x)
(-.f64 (+.f64 y x) (/.f64 (*.f64 (-.f64 z t) x) (-.f64 a t)))
(-.f64 (+.f64 x y) (/.f64 (-.f64 z t) (/.f64 (-.f64 a t) x)))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) x))
(+.f64 y (+.f64 x (*.f64 (/.f64 (-.f64 t z) (-.f64 a t)) x)))
(fma.f64 (/.f64 (-.f64 t z) (-.f64 a t)) x (+.f64 x y))
(-.f64 (+.f64 z y) (/.f64 (*.f64 (-.f64 x t) y) (-.f64 a t)))
(+.f64 z (-.f64 y (/.f64 (*.f64 y (-.f64 x t)) (-.f64 a t))))
(-.f64 (+.f64 y z) (/.f64 (*.f64 y (-.f64 x t)) (-.f64 a t)))
(+.f64 y (-.f64 z (*.f64 (/.f64 y (-.f64 a t)) (-.f64 x t))))
(+.f64 y (fma.f64 (/.f64 (-.f64 t x) (-.f64 a t)) y z))
(-.f64 (+.f64 t y) (/.f64 (*.f64 (-.f64 z x) y) (-.f64 a x)))
(-.f64 (+.f64 y t) (/.f64 (*.f64 y (-.f64 z x)) (-.f64 a x)))
(+.f64 y (-.f64 t (*.f64 (/.f64 (-.f64 z x) (-.f64 a x)) y)))
(+.f64 y (-.f64 t (*.f64 y (/.f64 (-.f64 z x) (-.f64 a x)))))
(+.f64 y (fma.f64 (/.f64 (-.f64 x z) (-.f64 a x)) y t))
(-.f64 (+.f64 a y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 x t)))
(-.f64 (+.f64 y a) (/.f64 (-.f64 z t) (/.f64 (-.f64 x t) y)))
(-.f64 (+.f64 y a) (*.f64 (/.f64 (-.f64 z t) (-.f64 x t)) y))
(+.f64 y (+.f64 a (/.f64 (*.f64 y (-.f64 t z)) (-.f64 x t))))
(+.f64 y (fma.f64 (/.f64 (-.f64 t z) (-.f64 x t)) y a))
(-.f64 (+.f64 x z) (/.f64 (*.f64 (-.f64 y t) z) (-.f64 a t)))
(+.f64 x (-.f64 z (/.f64 (-.f64 y t) (/.f64 (-.f64 a t) z))))
(+.f64 z (-.f64 x (/.f64 z (/.f64 (-.f64 a t) (-.f64 y t)))))
(+.f64 x (-.f64 z (/.f64 z (/.f64 (-.f64 a t) (-.f64 y t)))))
(fma.f64 (/.f64 (-.f64 t y) (-.f64 a t)) z (+.f64 x z))
(-.f64 (+.f64 x t) (/.f64 (*.f64 (-.f64 z y) t) (-.f64 a y)))
(-.f64 (+.f64 x t) (/.f64 (-.f64 z y) (/.f64 (-.f64 a y) t)))
(-.f64 (+.f64 x t) (/.f64 t (/.f64 (-.f64 a y) (-.f64 z y))))
(+.f64 x (*.f64 t (-.f64 1 (/.f64 (-.f64 z y) (-.f64 a y)))))
(fma.f64 t (+.f64 1 (/.f64 (-.f64 y z) (-.f64 a y))) x)
(-.f64 (+.f64 x a) (/.f64 (*.f64 (-.f64 z t) a) (-.f64 y t)))
(-.f64 (+.f64 x a) (/.f64 (-.f64 z t) (/.f64 (-.f64 y t) a)))
(-.f64 (+.f64 x a) (*.f64 (/.f64 (-.f64 z t) (-.f64 y t)) a))
(+.f64 x (+.f64 a (/.f64 (-.f64 t z) (/.f64 (-.f64 y t) a))))
(fma.f64 (/.f64 (-.f64 t z) (-.f64 y t)) a (+.f64 x a))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 t z) y) (-.f64 a z)))
(-.f64 (+.f64 x y) (/.f64 (-.f64 t z) (/.f64 (-.f64 a z) y)))
(-.f64 (+.f64 x y) (/.f64 y (/.f64 (-.f64 a z) (-.f64 t z))))
(+.f64 x (+.f64 y (/.f64 (-.f64 z t) (/.f64 (-.f64 a z) y))))
(fma.f64 (/.f64 (-.f64 z t) (-.f64 a z)) y (+.f64 x y))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 a t) y) (-.f64 z t)))
(-.f64 (+.f64 x y) (/.f64 (-.f64 a t) (/.f64 (-.f64 z t) y)))
(+.f64 y (-.f64 x (*.f64 (/.f64 (-.f64 a t) (-.f64 z t)) y)))
(+.f64 x (-.f64 y (/.f64 (*.f64 y (-.f64 a t)) (-.f64 z t))))
(+.f64 y (fma.f64 (/.f64 (-.f64 t a) (-.f64 z t)) y x))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z a) y) (-.f64 t a)))
(+.f64 x (-.f64 y (/.f64 (-.f64 z a) (/.f64 (-.f64 t a) y))))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z a) (-.f64 t a)) y))
(+.f64 y (+.f64 x (*.f64 (/.f64 (-.f64 a z) (-.f64 t a)) y)))
(+.f64 y (fma.f64 (/.f64 (-.f64 a z) (-.f64 t a)) y x))

Compiler

Compiled 112 to 35 computations (68.8% saved)

Precisions

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

Operation ival-sub, time spent: 35.0ms, 56.0% of total-time

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

Operation ival-div, time spent: 7.0ms, 11.0% of total-time

Operation ival-mult, time spent: 6.0ms, 10.0% of total-time

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

eval1.0ms (0%)

Compiler: Compiled 56 to 19 computations (66.1% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	83.4%	(fma.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y (+.f64 x y))
▶	79.7%	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
▶	83.4%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))

Compiler

Compiled 53 to 32 computations (39.6% saved)

localize503.0ms (7.4%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(/.f64 (-.f64 t z) (-.f64 a t))
✓	100.0%	(/.f64 (-.f64 z t) (-.f64 a t))

Compiler

Compiled 123 to 18 computations (85.4% saved)

Precisions

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

Operation ival-sub, time spent: 125.0ms, 52.0% of total-time

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

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

Operation ival-add, time spent: 26.0ms, 11.0% of total-time

Operation ival-fma, time spent: 17.0ms, 7.0% of total-time

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

series11.0ms (0.2%)

Counts

2 → 72

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	t	@	-inf	(/.f64 (-.f64 z t) (-.f64 a t))
1.0ms	t	@	inf	(/.f64 (-.f64 z t) (-.f64 a t))
1.0ms	t	@	0	(/.f64 (-.f64 z t) (-.f64 a t))
1.0ms	z	@	-inf	(/.f64 (-.f64 z t) (-.f64 a t))
1.0ms	t	@	-inf	(/.f64 (-.f64 t z) (-.f64 a t))

rewrite225.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1220×	`fma-def`
898×	`log1p-expm1-u`
898×	`expm1-log1p-u`
392×	`expm1-udef`
392×	`log1p-udef`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	62
1	209	62
2	3460	62

Stop Event

1×	node limit

Counts

2 → 102

Calls

Call 1

Inputs
(/.f64 (-.f64 z t) (-.f64 a t))
(/.f64 (-.f64 t z) (-.f64 a t))

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

simplify130.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

912×	`unswap-sqr`
462×	`div-sub`
444×	`cancel-sign-sub-inv`
384×	`log-prod`
318×	`associate-/l*`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	405	9641
1	1080	9229
2	3787	8911

Stop Event

1×	node limit

Counts

174 → 266

Calls

Call 1

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

Outputs
(*.f64 -1 (/.f64 t (-.f64 a t)))
(/.f64 (neg.f64 t) (-.f64 a t))
(/.f64 -1 (-.f64 (/.f64 a t) 1))
(+.f64 (*.f64 -1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(/.f64 z (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(/.f64 z (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(/.f64 z a)
(+.f64 (.f64 -1 (.f64 t (+.f64 (*.f64 -1 (/.f64 z (pow.f64 a 2))) (/.f64 1 a)))) (/.f64 z a))
(fma.f64 -1 (*.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))) (/.f64 z a))
(-.f64 (/.f64 z a) (*.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))))
(+.f64 (.f64 -1 (.f64 t (+.f64 (.f64 -1 (/.f64 z (pow.f64 a 2))) (/.f64 1 a)))) (+.f64 (.f64 -1 (.f64 (pow.f64 t 2) (+.f64 (.f64 -1 (/.f64 z (pow.f64 a 3))) (/.f64 1 (pow.f64 a 2))))) (/.f64 z a)))
(fma.f64 -1 (.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))) (fma.f64 -1 (.f64 (pow.f64 t 2) (fma.f64 -1 (/.f64 z (pow.f64 a 3)) (/.f64 1 (pow.f64 a 2)))) (/.f64 z a)))
(-.f64 (-.f64 (/.f64 z a) (.f64 (pow.f64 t 2) (-.f64 (/.f64 1 (pow.f64 a 2)) (/.f64 z (pow.f64 a 3))))) (.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))))
(-.f64 (/.f64 z a) (.f64 t (+.f64 (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2))) (.f64 t (-.f64 (/.f64 1 (pow.f64 a 2)) (/.f64 z (pow.f64 a 3)))))))
(+.f64 (.f64 -1 (.f64 t (+.f64 (.f64 -1 (/.f64 z (pow.f64 a 2))) (/.f64 1 a)))) (+.f64 (.f64 -1 (.f64 (pow.f64 t 2) (+.f64 (.f64 -1 (/.f64 z (pow.f64 a 3))) (/.f64 1 (pow.f64 a 2))))) (+.f64 (.f64 -1 (.f64 (pow.f64 t 3) (+.f64 (*.f64 -1 (/.f64 z (pow.f64 a 4))) (/.f64 1 (pow.f64 a 3))))) (/.f64 z a))))
(fma.f64 -1 (.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))) (fma.f64 -1 (.f64 (pow.f64 t 2) (fma.f64 -1 (/.f64 z (pow.f64 a 3)) (/.f64 1 (pow.f64 a 2)))) (fma.f64 -1 (*.f64 (pow.f64 t 3) (fma.f64 -1 (/.f64 z (pow.f64 a 4)) (/.f64 1 (pow.f64 a 3)))) (/.f64 z a))))
(-.f64 (-.f64 (-.f64 (/.f64 z a) (.f64 (pow.f64 t 3) (-.f64 (/.f64 1 (pow.f64 a 3)) (/.f64 z (pow.f64 a 4))))) (.f64 (pow.f64 t 2) (-.f64 (/.f64 1 (pow.f64 a 2)) (/.f64 z (pow.f64 a 3))))) (*.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))))
(-.f64 (-.f64 (/.f64 z a) (.f64 (pow.f64 t 3) (-.f64 (/.f64 1 (pow.f64 a 3)) (/.f64 z (pow.f64 a 4))))) (.f64 t (+.f64 (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2))) (*.f64 t (-.f64 (/.f64 1 (pow.f64 a 2)) (/.f64 z (pow.f64 a 3)))))))
1
(-.f64 (+.f64 1 (.f64 -1 (/.f64 z t))) (.f64 -1 (/.f64 a t)))
(+.f64 1 (-.f64 (/.f64 (neg.f64 z) t) (/.f64 (neg.f64 a) t)))
(-.f64 1 (/.f64 (-.f64 z a) t))
(+.f64 1 (/.f64 (-.f64 a z) t))
(-.f64 (+.f64 1 (+.f64 (.f64 -1 (/.f64 z t)) (/.f64 (.f64 a (-.f64 (.f64 -1 z) (.f64 -1 a))) (pow.f64 t 2)))) (*.f64 -1 (/.f64 a t)))
(+.f64 1 (-.f64 (fma.f64 -1 (/.f64 z t) (/.f64 a (/.f64 (pow.f64 t 2) (*.f64 -1 (-.f64 z a))))) (/.f64 (neg.f64 a) t)))
(-.f64 (-.f64 1 (*.f64 (/.f64 a (pow.f64 t 2)) (-.f64 z a))) (/.f64 (-.f64 z a) t))
(+.f64 1 (fma.f64 (/.f64 a (pow.f64 t 2)) (-.f64 a z) (/.f64 (-.f64 a z) t)))
(-.f64 (+.f64 1 (+.f64 (.f64 -1 (/.f64 z t)) (+.f64 (/.f64 (.f64 a (-.f64 (.f64 -1 z) (.f64 -1 a))) (pow.f64 t 2)) (/.f64 (.f64 (pow.f64 a 2) (-.f64 (.f64 -1 z) (.f64 -1 a))) (pow.f64 t 3))))) (.f64 -1 (/.f64 a t)))
(+.f64 1 (-.f64 (+.f64 (fma.f64 -1 (/.f64 z t) (/.f64 a (/.f64 (pow.f64 t 2) (.f64 -1 (-.f64 z a))))) (/.f64 (pow.f64 a 2) (/.f64 (pow.f64 t 3) (.f64 -1 (-.f64 z a))))) (/.f64 (neg.f64 a) t)))
(+.f64 1 (-.f64 (-.f64 (/.f64 (fma.f64 -1 z a) t) (.f64 (/.f64 (pow.f64 a 2) (pow.f64 t 3)) (-.f64 z a))) (.f64 (/.f64 a (pow.f64 t 2)) (-.f64 z a))))
(+.f64 1 (+.f64 (*.f64 (/.f64 (-.f64 a z) t) (+.f64 (/.f64 a t) (/.f64 (pow.f64 a 2) (pow.f64 t 2)))) (/.f64 (-.f64 a z) t)))
1
(+.f64 1 (*.f64 -1 (/.f64 (-.f64 z a) t)))
(+.f64 1 (-.f64 (/.f64 (neg.f64 z) t) (/.f64 (neg.f64 a) t)))
(-.f64 1 (/.f64 (-.f64 z a) t))
(+.f64 1 (/.f64 (-.f64 a z) t))
(+.f64 1 (+.f64 (.f64 -1 (/.f64 (.f64 a (-.f64 z a)) (pow.f64 t 2))) (*.f64 -1 (/.f64 (-.f64 z a) t))))
(+.f64 1 (-.f64 (fma.f64 -1 (/.f64 z t) (/.f64 a (/.f64 (pow.f64 t 2) (*.f64 -1 (-.f64 z a))))) (/.f64 (neg.f64 a) t)))
(-.f64 (-.f64 1 (*.f64 (/.f64 a (pow.f64 t 2)) (-.f64 z a))) (/.f64 (-.f64 z a) t))
(+.f64 1 (fma.f64 (/.f64 a (pow.f64 t 2)) (-.f64 a z) (/.f64 (-.f64 a z) t)))
(+.f64 1 (+.f64 (.f64 -1 (/.f64 (.f64 a (-.f64 z a)) (pow.f64 t 2))) (+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 a 2) (-.f64 z a)) (pow.f64 t 3))) (*.f64 -1 (/.f64 (-.f64 z a) t)))))
(+.f64 1 (-.f64 (+.f64 (fma.f64 -1 (/.f64 z t) (/.f64 a (/.f64 (pow.f64 t 2) (.f64 -1 (-.f64 z a))))) (/.f64 (pow.f64 a 2) (/.f64 (pow.f64 t 3) (.f64 -1 (-.f64 z a))))) (/.f64 (neg.f64 a) t)))
(+.f64 1 (-.f64 (-.f64 (/.f64 (fma.f64 -1 z a) t) (.f64 (/.f64 (pow.f64 a 2) (pow.f64 t 3)) (-.f64 z a))) (.f64 (/.f64 a (pow.f64 t 2)) (-.f64 z a))))
(+.f64 1 (+.f64 (*.f64 (/.f64 (-.f64 a z) t) (+.f64 (/.f64 a t) (/.f64 (pow.f64 a 2) (pow.f64 t 2)))) (/.f64 (-.f64 a z) t)))
(*.f64 -1 (/.f64 (-.f64 z t) t))
(/.f64 (neg.f64 (-.f64 z t)) t)
(-.f64 1 (/.f64 z t))
(+.f64 (.f64 -1 (/.f64 (-.f64 z t) t)) (.f64 a (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))))
(fma.f64 -1 (/.f64 (-.f64 z t) t) (*.f64 a (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))))
(fma.f64 a (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2))) (-.f64 1 (/.f64 z t)))
(+.f64 (.f64 -1 (/.f64 (-.f64 z t) t)) (+.f64 (.f64 a (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))) (/.f64 (*.f64 (pow.f64 a 2) (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))) t)))
(fma.f64 -1 (/.f64 (-.f64 z t) t) (fma.f64 a (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2))) (/.f64 (pow.f64 a 2) (/.f64 t (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))))))
(+.f64 (fma.f64 a (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2))) (*.f64 (/.f64 (pow.f64 a 2) t) (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2))))) (-.f64 1 (/.f64 z t)))
(+.f64 (fma.f64 a (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2))) (-.f64 1 (/.f64 z t))) (*.f64 (/.f64 (pow.f64 a 2) t) (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))))
(+.f64 (.f64 -1 (/.f64 (-.f64 z t) t)) (+.f64 (.f64 a (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))) t) (/.f64 (.f64 (pow.f64 a 3) (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))) (pow.f64 t 2)))))
(fma.f64 -1 (/.f64 (-.f64 z t) t) (+.f64 (fma.f64 a (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2))) (/.f64 (pow.f64 a 2) (/.f64 t (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))))) (/.f64 (pow.f64 a 3) (/.f64 (pow.f64 t 2) (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))))))
(+.f64 (+.f64 (fma.f64 a (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2))) (.f64 (/.f64 (pow.f64 a 2) t) (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2))))) (-.f64 1 (/.f64 z t))) (.f64 (/.f64 (pow.f64 a 3) (pow.f64 t 2)) (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))))
(+.f64 (fma.f64 a (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2))) (-.f64 1 (/.f64 z t))) (+.f64 (.f64 (/.f64 (pow.f64 a 2) t) (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2)))) (.f64 (/.f64 (pow.f64 a 3) (pow.f64 t 2)) (-.f64 (/.f64 1 t) (/.f64 z (pow.f64 t 2))))))
(/.f64 (-.f64 z t) a)
(-.f64 (+.f64 (/.f64 z a) (/.f64 (*.f64 t (-.f64 z t)) (pow.f64 a 2))) (/.f64 t a))
(-.f64 (+.f64 (/.f64 z a) (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 z t)))) (/.f64 t a))
(+.f64 (/.f64 (-.f64 z t) (/.f64 (pow.f64 a 2) t)) (/.f64 (-.f64 z t) a))
(-.f64 (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 t (-.f64 z t)) (pow.f64 a 2)) (/.f64 (.f64 (pow.f64 t 2) (-.f64 z t)) (pow.f64 a 3)))) (/.f64 t a))
(+.f64 (/.f64 z a) (-.f64 (+.f64 (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 z t))) (/.f64 (pow.f64 t 2) (/.f64 (pow.f64 a 3) (-.f64 z t)))) (/.f64 t a)))
(+.f64 (+.f64 (/.f64 (-.f64 z t) (/.f64 (pow.f64 a 2) t)) (*.f64 (/.f64 (pow.f64 t 2) (pow.f64 a 3)) (-.f64 z t))) (/.f64 (-.f64 z t) a))
(+.f64 (*.f64 (/.f64 (-.f64 z t) a) (+.f64 (/.f64 t a) (/.f64 (pow.f64 t 2) (pow.f64 a 2)))) (/.f64 (-.f64 z t) a))
(-.f64 (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 t (-.f64 z t)) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 (pow.f64 t 2) (-.f64 z t)) (pow.f64 a 3)) (/.f64 (*.f64 (pow.f64 t 3) (-.f64 z t)) (pow.f64 a 4))))) (/.f64 t a))
(-.f64 (+.f64 (+.f64 (/.f64 z a) (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 z t)))) (+.f64 (/.f64 (pow.f64 t 2) (/.f64 (pow.f64 a 3) (-.f64 z t))) (/.f64 (pow.f64 t 3) (/.f64 (pow.f64 a 4) (-.f64 z t))))) (/.f64 t a))
(+.f64 (+.f64 (.f64 (/.f64 (pow.f64 t 2) (pow.f64 a 3)) (-.f64 z t)) (+.f64 (/.f64 (.f64 (pow.f64 t 3) (-.f64 z t)) (pow.f64 a 4)) (/.f64 (-.f64 z t) (/.f64 (pow.f64 a 2) t)))) (/.f64 (-.f64 z t) a))
(+.f64 (+.f64 (.f64 (/.f64 (-.f64 z t) a) (+.f64 (/.f64 t a) (/.f64 (pow.f64 t 2) (pow.f64 a 2)))) (.f64 (/.f64 (pow.f64 t 3) (pow.f64 a 4)) (-.f64 z t))) (/.f64 (-.f64 z t) a))
(/.f64 (-.f64 z t) a)
(-.f64 (+.f64 (/.f64 z a) (/.f64 (*.f64 t (-.f64 z t)) (pow.f64 a 2))) (/.f64 t a))
(-.f64 (+.f64 (/.f64 z a) (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 z t)))) (/.f64 t a))
(+.f64 (/.f64 (-.f64 z t) (/.f64 (pow.f64 a 2) t)) (/.f64 (-.f64 z t) a))
(-.f64 (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 t (-.f64 z t)) (pow.f64 a 2)) (/.f64 (.f64 (pow.f64 t 2) (-.f64 z t)) (pow.f64 a 3)))) (/.f64 t a))
(+.f64 (/.f64 z a) (-.f64 (+.f64 (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 z t))) (/.f64 (pow.f64 t 2) (/.f64 (pow.f64 a 3) (-.f64 z t)))) (/.f64 t a)))
(+.f64 (+.f64 (/.f64 (-.f64 z t) (/.f64 (pow.f64 a 2) t)) (*.f64 (/.f64 (pow.f64 t 2) (pow.f64 a 3)) (-.f64 z t))) (/.f64 (-.f64 z t) a))
(+.f64 (*.f64 (/.f64 (-.f64 z t) a) (+.f64 (/.f64 t a) (/.f64 (pow.f64 t 2) (pow.f64 a 2)))) (/.f64 (-.f64 z t) a))
(-.f64 (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 t (-.f64 z t)) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 (pow.f64 t 2) (-.f64 z t)) (pow.f64 a 3)) (/.f64 (*.f64 (pow.f64 t 3) (-.f64 z t)) (pow.f64 a 4))))) (/.f64 t a))
(-.f64 (+.f64 (+.f64 (/.f64 z a) (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 z t)))) (+.f64 (/.f64 (pow.f64 t 2) (/.f64 (pow.f64 a 3) (-.f64 z t))) (/.f64 (pow.f64 t 3) (/.f64 (pow.f64 a 4) (-.f64 z t))))) (/.f64 t a))
(+.f64 (+.f64 (.f64 (/.f64 (pow.f64 t 2) (pow.f64 a 3)) (-.f64 z t)) (+.f64 (/.f64 (.f64 (pow.f64 t 3) (-.f64 z t)) (pow.f64 a 4)) (/.f64 (-.f64 z t) (/.f64 (pow.f64 a 2) t)))) (/.f64 (-.f64 z t) a))
(+.f64 (+.f64 (.f64 (/.f64 (-.f64 z t) a) (+.f64 (/.f64 t a) (/.f64 (pow.f64 t 2) (pow.f64 a 2)))) (.f64 (/.f64 (pow.f64 t 3) (pow.f64 a 4)) (-.f64 z t))) (/.f64 (-.f64 z t) a))
(*.f64 -1 (/.f64 z a))
(/.f64 (neg.f64 z) a)
(+.f64 (.f64 -1 (/.f64 z a)) (.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))))
(fma.f64 -1 (/.f64 z a) (*.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))))
(-.f64 (*.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))) (/.f64 z a))
(+.f64 (*.f64 t (/.f64 (neg.f64 z) (pow.f64 a 2))) (/.f64 (-.f64 t z) a))
(+.f64 (.f64 -1 (/.f64 z a)) (+.f64 (.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))) (/.f64 (*.f64 (pow.f64 t 2) (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))) a)))
(fma.f64 -1 (/.f64 z a) (fma.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2))) (/.f64 (pow.f64 t 2) (/.f64 a (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))))))
(-.f64 (fma.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2))) (*.f64 (/.f64 (pow.f64 t 2) a) (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2))))) (/.f64 z a))
(+.f64 (.f64 -1 (/.f64 z a)) (+.f64 (.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 (pow.f64 t 2) (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))) a) (/.f64 (.f64 (pow.f64 t 3) (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))) (pow.f64 a 2)))))
(fma.f64 -1 (/.f64 z a) (+.f64 (fma.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2))) (/.f64 (pow.f64 t 2) (/.f64 a (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))))) (/.f64 (pow.f64 t 3) (/.f64 (pow.f64 a 2) (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))))))
(+.f64 (-.f64 (fma.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2))) (.f64 (/.f64 (pow.f64 t 2) a) (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2))))) (/.f64 z a)) (.f64 (/.f64 (pow.f64 t 3) (pow.f64 a 2)) (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))))
(+.f64 (fma.f64 t (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2))) (.f64 (/.f64 (pow.f64 t 2) a) (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2))))) (-.f64 (.f64 (/.f64 (pow.f64 t 3) (pow.f64 a 2)) (-.f64 (/.f64 1 a) (/.f64 z (pow.f64 a 2)))) (/.f64 z a)))
-1
(-.f64 (/.f64 z t) (+.f64 1 (/.f64 a t)))
(-.f64 (/.f64 (-.f64 z a) t) 1)
(+.f64 (/.f64 (-.f64 z a) t) -1)
(-.f64 (+.f64 (/.f64 z t) (/.f64 (*.f64 a (-.f64 z a)) (pow.f64 t 2))) (+.f64 1 (/.f64 a t)))
(+.f64 (/.f64 z t) (-.f64 (/.f64 a (/.f64 (pow.f64 t 2) (-.f64 z a))) (+.f64 1 (/.f64 a t))))
(+.f64 (*.f64 (/.f64 a (pow.f64 t 2)) (-.f64 z a)) (-.f64 (/.f64 (-.f64 z a) t) 1))
(+.f64 (*.f64 (/.f64 a (pow.f64 t 2)) (-.f64 z a)) (+.f64 (/.f64 (-.f64 z a) t) -1))
(-.f64 (+.f64 (/.f64 z t) (+.f64 (/.f64 (.f64 a (-.f64 z a)) (pow.f64 t 2)) (/.f64 (.f64 (pow.f64 a 2) (-.f64 z a)) (pow.f64 t 3)))) (+.f64 1 (/.f64 a t)))
(+.f64 (/.f64 z t) (-.f64 (+.f64 (/.f64 a (/.f64 (pow.f64 t 2) (-.f64 z a))) (/.f64 (pow.f64 a 2) (/.f64 (pow.f64 t 3) (-.f64 z a)))) (+.f64 1 (/.f64 a t))))
(+.f64 (+.f64 (.f64 (/.f64 a (pow.f64 t 2)) (-.f64 z a)) (.f64 (/.f64 (pow.f64 a 2) (pow.f64 t 3)) (-.f64 z a))) (-.f64 (/.f64 (-.f64 z a) t) 1))
(+.f64 (*.f64 (/.f64 (-.f64 z a) t) (+.f64 (/.f64 a t) (/.f64 (pow.f64 a 2) (pow.f64 t 2)))) (+.f64 (/.f64 (-.f64 z a) t) -1))
-1
(-.f64 (/.f64 z t) (+.f64 1 (/.f64 a t)))
(-.f64 (/.f64 (-.f64 z a) t) 1)
(+.f64 (/.f64 (-.f64 z a) t) -1)
(-.f64 (+.f64 (/.f64 z t) (/.f64 (*.f64 a (-.f64 z a)) (pow.f64 t 2))) (+.f64 1 (/.f64 a t)))
(+.f64 (/.f64 z t) (-.f64 (/.f64 a (/.f64 (pow.f64 t 2) (-.f64 z a))) (+.f64 1 (/.f64 a t))))
(+.f64 (*.f64 (/.f64 a (pow.f64 t 2)) (-.f64 z a)) (-.f64 (/.f64 (-.f64 z a) t) 1))
(+.f64 (*.f64 (/.f64 a (pow.f64 t 2)) (-.f64 z a)) (+.f64 (/.f64 (-.f64 z a) t) -1))
(-.f64 (+.f64 (/.f64 z t) (+.f64 (/.f64 (.f64 a (-.f64 z a)) (pow.f64 t 2)) (/.f64 (.f64 (pow.f64 a 2) (-.f64 z a)) (pow.f64 t 3)))) (+.f64 1 (/.f64 a t)))
(+.f64 (/.f64 z t) (-.f64 (+.f64 (/.f64 a (/.f64 (pow.f64 t 2) (-.f64 z a))) (/.f64 (pow.f64 a 2) (/.f64 (pow.f64 t 3) (-.f64 z a)))) (+.f64 1 (/.f64 a t))))
(+.f64 (+.f64 (.f64 (/.f64 a (pow.f64 t 2)) (-.f64 z a)) (.f64 (/.f64 (pow.f64 a 2) (pow.f64 t 3)) (-.f64 z a))) (-.f64 (/.f64 (-.f64 z a) t) 1))
(+.f64 (*.f64 (/.f64 (-.f64 z a) t) (+.f64 (/.f64 a t) (/.f64 (pow.f64 a 2) (pow.f64 t 2)))) (+.f64 (/.f64 (-.f64 z a) t) -1))
(/.f64 t (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 z (-.f64 a t))) (/.f64 t (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 z (-.f64 a t))) (/.f64 t (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 z (-.f64 a t))) (/.f64 t (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 -1 (/.f64 z (-.f64 a t)))
(/.f64 (neg.f64 z) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 z (-.f64 a t))) (/.f64 t (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 z (-.f64 a t))) (/.f64 t (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 z (-.f64 a t))) (/.f64 t (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 -1 (/.f64 z (-.f64 a t)))
(/.f64 (neg.f64 z) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 z (-.f64 a t))) (/.f64 t (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 z (-.f64 a t))) (/.f64 t (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(+.f64 (*.f64 -1 (/.f64 z (-.f64 a t))) (/.f64 t (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 -1 (/.f64 (-.f64 t z) t))
(/.f64 (neg.f64 (-.f64 t z)) t)
(+.f64 (/.f64 z t) -1)
(+.f64 (.f64 -1 (/.f64 (-.f64 t z) t)) (.f64 a (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t))))
(fma.f64 -1 (/.f64 (-.f64 t z) t) (*.f64 a (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t))))
(fma.f64 a (+.f64 (/.f64 z (pow.f64 t 2)) (/.f64 -1 t)) (+.f64 (/.f64 z t) -1))
(+.f64 (.f64 -1 (/.f64 (-.f64 t z) t)) (+.f64 (.f64 a (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t))) (/.f64 (*.f64 (pow.f64 a 2) (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t))) t)))
(fma.f64 -1 (/.f64 (-.f64 t z) t) (fma.f64 a (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t)) (/.f64 (pow.f64 a 2) (/.f64 t (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t))))))
(+.f64 (+.f64 (/.f64 z t) -1) (fma.f64 a (+.f64 (/.f64 z (pow.f64 t 2)) (/.f64 -1 t)) (*.f64 (/.f64 (pow.f64 a 2) t) (+.f64 (/.f64 z (pow.f64 t 2)) (/.f64 -1 t)))))
(+.f64 (.f64 -1 (/.f64 (-.f64 t z) t)) (+.f64 (.f64 a (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t))) t) (/.f64 (.f64 (pow.f64 a 3) (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t))) (pow.f64 t 2)))))
(fma.f64 -1 (/.f64 (-.f64 t z) t) (+.f64 (fma.f64 a (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t)) (/.f64 (pow.f64 a 2) (/.f64 t (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t))))) (/.f64 (pow.f64 a 3) (/.f64 (pow.f64 t 2) (-.f64 (/.f64 z (pow.f64 t 2)) (/.f64 1 t))))))
(+.f64 (+.f64 (/.f64 z t) -1) (+.f64 (fma.f64 a (+.f64 (/.f64 z (pow.f64 t 2)) (/.f64 -1 t)) (.f64 (/.f64 (pow.f64 a 2) t) (+.f64 (/.f64 z (pow.f64 t 2)) (/.f64 -1 t)))) (.f64 (/.f64 (pow.f64 a 3) (pow.f64 t 2)) (+.f64 (/.f64 z (pow.f64 t 2)) (/.f64 -1 t)))))
(+.f64 (+.f64 (/.f64 z t) -1) (+.f64 (fma.f64 a (+.f64 (/.f64 z (pow.f64 t 2)) (/.f64 -1 t)) (*.f64 (/.f64 (pow.f64 a 2) t) (+.f64 (/.f64 z (pow.f64 t 2)) (/.f64 -1 t)))) (/.f64 (pow.f64 a 3) (/.f64 (pow.f64 t 2) (+.f64 (/.f64 z (pow.f64 t 2)) (/.f64 -1 t))))))
(/.f64 (-.f64 t z) a)
(-.f64 (+.f64 (/.f64 t a) (/.f64 (*.f64 t (-.f64 t z)) (pow.f64 a 2))) (/.f64 z a))
(+.f64 (/.f64 t a) (-.f64 (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 t z))) (/.f64 z a)))
(+.f64 (*.f64 (/.f64 t (pow.f64 a 2)) (-.f64 t z)) (/.f64 (-.f64 t z) a))
(-.f64 (+.f64 (/.f64 t a) (+.f64 (/.f64 (.f64 t (-.f64 t z)) (pow.f64 a 2)) (/.f64 (.f64 (pow.f64 t 2) (-.f64 t z)) (pow.f64 a 3)))) (/.f64 z a))
(+.f64 (/.f64 t a) (-.f64 (+.f64 (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 t z))) (/.f64 (pow.f64 t 2) (/.f64 (pow.f64 a 3) (-.f64 t z)))) (/.f64 z a)))
(+.f64 (+.f64 (.f64 (/.f64 t (pow.f64 a 2)) (-.f64 t z)) (.f64 (/.f64 (pow.f64 t 2) (pow.f64 a 3)) (-.f64 t z))) (/.f64 (-.f64 t z) a))
(+.f64 (*.f64 (/.f64 (-.f64 t z) a) (+.f64 (/.f64 t a) (/.f64 (pow.f64 t 2) (pow.f64 a 2)))) (/.f64 (-.f64 t z) a))
(-.f64 (+.f64 (/.f64 t a) (+.f64 (/.f64 (.f64 t (-.f64 t z)) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 (pow.f64 t 2) (-.f64 t z)) (pow.f64 a 3)) (/.f64 (*.f64 (pow.f64 t 3) (-.f64 t z)) (pow.f64 a 4))))) (/.f64 z a))
(-.f64 (+.f64 (+.f64 (/.f64 t a) (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 t z)))) (+.f64 (/.f64 (pow.f64 t 2) (/.f64 (pow.f64 a 3) (-.f64 t z))) (/.f64 (pow.f64 t 3) (/.f64 (pow.f64 a 4) (-.f64 t z))))) (/.f64 z a))
(+.f64 (+.f64 (.f64 (/.f64 (pow.f64 t 2) (pow.f64 a 3)) (-.f64 t z)) (+.f64 (/.f64 (pow.f64 t 3) (/.f64 (pow.f64 a 4) (-.f64 t z))) (.f64 (/.f64 t (pow.f64 a 2)) (-.f64 t z)))) (/.f64 (-.f64 t z) a))
(+.f64 (+.f64 (.f64 (/.f64 (-.f64 t z) a) (+.f64 (/.f64 t a) (/.f64 (pow.f64 t 2) (pow.f64 a 2)))) (.f64 (/.f64 (pow.f64 t 3) (pow.f64 a 4)) (-.f64 t z))) (/.f64 (-.f64 t z) a))
(/.f64 (-.f64 t z) a)
(-.f64 (+.f64 (/.f64 t a) (/.f64 (*.f64 t (-.f64 t z)) (pow.f64 a 2))) (/.f64 z a))
(+.f64 (/.f64 t a) (-.f64 (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 t z))) (/.f64 z a)))
(+.f64 (*.f64 (/.f64 t (pow.f64 a 2)) (-.f64 t z)) (/.f64 (-.f64 t z) a))
(-.f64 (+.f64 (/.f64 t a) (+.f64 (/.f64 (.f64 t (-.f64 t z)) (pow.f64 a 2)) (/.f64 (.f64 (pow.f64 t 2) (-.f64 t z)) (pow.f64 a 3)))) (/.f64 z a))
(+.f64 (/.f64 t a) (-.f64 (+.f64 (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 t z))) (/.f64 (pow.f64 t 2) (/.f64 (pow.f64 a 3) (-.f64 t z)))) (/.f64 z a)))
(+.f64 (+.f64 (.f64 (/.f64 t (pow.f64 a 2)) (-.f64 t z)) (.f64 (/.f64 (pow.f64 t 2) (pow.f64 a 3)) (-.f64 t z))) (/.f64 (-.f64 t z) a))
(+.f64 (*.f64 (/.f64 (-.f64 t z) a) (+.f64 (/.f64 t a) (/.f64 (pow.f64 t 2) (pow.f64 a 2)))) (/.f64 (-.f64 t z) a))
(-.f64 (+.f64 (/.f64 t a) (+.f64 (/.f64 (.f64 t (-.f64 t z)) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 (pow.f64 t 2) (-.f64 t z)) (pow.f64 a 3)) (/.f64 (*.f64 (pow.f64 t 3) (-.f64 t z)) (pow.f64 a 4))))) (/.f64 z a))
(-.f64 (+.f64 (+.f64 (/.f64 t a) (/.f64 t (/.f64 (pow.f64 a 2) (-.f64 t z)))) (+.f64 (/.f64 (pow.f64 t 2) (/.f64 (pow.f64 a 3) (-.f64 t z))) (/.f64 (pow.f64 t 3) (/.f64 (pow.f64 a 4) (-.f64 t z))))) (/.f64 z a))
(+.f64 (+.f64 (.f64 (/.f64 (pow.f64 t 2) (pow.f64 a 3)) (-.f64 t z)) (+.f64 (/.f64 (pow.f64 t 3) (/.f64 (pow.f64 a 4) (-.f64 t z))) (.f64 (/.f64 t (pow.f64 a 2)) (-.f64 t z)))) (/.f64 (-.f64 t z) a))
(+.f64 (+.f64 (.f64 (/.f64 (-.f64 t z) a) (+.f64 (/.f64 t a) (/.f64 (pow.f64 t 2) (pow.f64 a 2)))) (.f64 (/.f64 (pow.f64 t 3) (pow.f64 a 4)) (-.f64 t z))) (/.f64 (-.f64 t z) a))
(+.f64 (/.f64 z (-.f64 a t)) (neg.f64 (/.f64 t (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 z t) (-.f64 a t)))) 1)
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (-.f64 z t) (/.f64 1 (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) 1)
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 1 (/.f64 (-.f64 z t) (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 2))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 2) (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(.f64 (pow.f64 (cbrt.f64 (-.f64 z t)) 2) (.f64 (cbrt.f64 (-.f64 z t)) (/.f64 1 (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(.f64 (sqrt.f64 (-.f64 z t)) (.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (neg.f64 (-.f64 z t)) (/.f64 1 (neg.f64 (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (/.f64 1 (-.f64 a t)) (-.f64 z t))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))))
(/.f64 (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2))
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t))))
(/.f64 (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 z t)) 2) 1) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 z t)) 2) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))))
(*.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 z t)) 2) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 z t)) 2) (sqrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 a t))))
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t))))
(/.f64 (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t)))
(*.f64 (/.f64 (sqrt.f64 (-.f64 z t)) 1) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (/.f64 (sqrt.f64 (-.f64 z t)) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (sqrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))))
(/.f64 (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2))
(*.f64 (/.f64 (-.f64 z t) (-.f64 (pow.f64 a 3) (pow.f64 t 3))) (fma.f64 t (+.f64 t a) (pow.f64 a 2)))
(/.f64 (-.f64 z t) (/.f64 (-.f64 (pow.f64 a 3) (pow.f64 t 3)) (fma.f64 t (+.f64 t a) (pow.f64 a 2))))
(*.f64 (/.f64 (-.f64 z t) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a))
(*.f64 (+.f64 t a) (/.f64 (-.f64 z t) (-.f64 (pow.f64 a 2) (pow.f64 t 2))))
(pow.f64 (/.f64 (-.f64 z t) (-.f64 a t)) 1)
(/.f64 (-.f64 z t) (-.f64 a t))
(pow.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 3)
(/.f64 (-.f64 z t) (-.f64 a t))
(pow.f64 (pow.f64 (/.f64 (-.f64 z t) (-.f64 a t)) 3) 1/3)
(/.f64 (-.f64 z t) (-.f64 a t))
(pow.f64 (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 2)
(/.f64 (-.f64 z t) (-.f64 a t))
(pow.f64 (/.f64 (-.f64 a t) (-.f64 z t)) -1)
(/.f64 (-.f64 z t) (-.f64 a t))
(neg.f64 (/.f64 (-.f64 z t) (neg.f64 (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(sqrt.f64 (pow.f64 (/.f64 (-.f64 z t) (-.f64 a t)) 2))
(/.f64 (-.f64 z t) (-.f64 a t))
(log.f64 (exp.f64 (/.f64 (-.f64 z t) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 z t) (-.f64 a t)))))
(/.f64 (-.f64 z t) (-.f64 a t))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 z t) (-.f64 a t)) 3))
(/.f64 (-.f64 z t) (-.f64 a t))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 z t) 3) (pow.f64 (-.f64 a t) 3)))
(/.f64 (-.f64 z t) (-.f64 a t))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 z t) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(exp.f64 (log.f64 (/.f64 (-.f64 z t) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 1))
(/.f64 (-.f64 z t) (-.f64 a t))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 z t) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 z (/.f64 1 (-.f64 a t)) (neg.f64 (/.f64 t (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 1 (/.f64 z (-.f64 a t)) (neg.f64 (/.f64 t (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 (*.f64 (cbrt.f64 (/.f64 z (-.f64 a t))) (cbrt.f64 (/.f64 z (-.f64 a t)))) (cbrt.f64 (/.f64 z (-.f64 a t))) (neg.f64 (/.f64 t (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 (sqrt.f64 (/.f64 z (-.f64 a t))) (sqrt.f64 (/.f64 z (-.f64 a t))) (neg.f64 (/.f64 t (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 z (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 t (-.f64 a t))))
(fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 z (cbrt.f64 (-.f64 a t))) (/.f64 (neg.f64 t) (-.f64 a t)))
(-.f64 (/.f64 (/.f64 z (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 t (-.f64 a t)))
(fma.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 z (sqrt.f64 (-.f64 a t))) (neg.f64 (/.f64 t (-.f64 a t))))
(fma.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 z (sqrt.f64 (-.f64 a t))) (/.f64 (neg.f64 t) (-.f64 a t)))
(-.f64 (*.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 z (sqrt.f64 (-.f64 a t)))) (/.f64 t (-.f64 a t)))
(-.f64 (/.f64 (/.f64 z (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) (/.f64 t (-.f64 a t)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) 1) (/.f64 (cbrt.f64 z) (-.f64 a t)) (neg.f64 (/.f64 t (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (cbrt.f64 z) (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 t (-.f64 a t))))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (cbrt.f64 z) (cbrt.f64 (-.f64 a t))) (/.f64 (neg.f64 t) (-.f64 a t)))
(-.f64 (pow.f64 (/.f64 (cbrt.f64 z) (cbrt.f64 (-.f64 a t))) 3) (/.f64 t (-.f64 a t)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (sqrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 z) (sqrt.f64 (-.f64 a t))) (neg.f64 (/.f64 t (-.f64 a t))))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (sqrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 z) (sqrt.f64 (-.f64 a t))) (/.f64 (neg.f64 t) (-.f64 a t)))
(-.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (sqrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 z) (sqrt.f64 (-.f64 a t)))) (/.f64 t (-.f64 a t)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 z) 2) (sqrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 z) (sqrt.f64 (-.f64 a t))) (/.f64 -1 (-.f64 (/.f64 a t) 1)))
(fma.f64 (/.f64 (sqrt.f64 z) 1) (/.f64 (sqrt.f64 z) (-.f64 a t)) (neg.f64 (/.f64 t (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 (/.f64 (sqrt.f64 z) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (sqrt.f64 z) (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 t (-.f64 a t))))
(fma.f64 (/.f64 (sqrt.f64 z) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (sqrt.f64 z) (cbrt.f64 (-.f64 a t))) (/.f64 (neg.f64 t) (-.f64 a t)))
(-.f64 (/.f64 (*.f64 (sqrt.f64 z) (/.f64 (sqrt.f64 z) (cbrt.f64 (-.f64 a t)))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 t (-.f64 a t)))
(fma.f64 (/.f64 (sqrt.f64 z) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (sqrt.f64 z) (cbrt.f64 (-.f64 a t))) (/.f64 -1 (-.f64 (/.f64 a t) 1)))
(fma.f64 (/.f64 (sqrt.f64 z) (sqrt.f64 (-.f64 a t))) (/.f64 (sqrt.f64 z) (sqrt.f64 (-.f64 a t))) (neg.f64 (/.f64 t (-.f64 a t))))
(fma.f64 (/.f64 (sqrt.f64 z) (sqrt.f64 (-.f64 a t))) (/.f64 (sqrt.f64 z) (sqrt.f64 (-.f64 a t))) (/.f64 (neg.f64 t) (-.f64 a t)))
(fma.f64 (/.f64 (sqrt.f64 z) (sqrt.f64 (-.f64 a t))) (/.f64 (sqrt.f64 z) (sqrt.f64 (-.f64 a t))) (/.f64 -1 (-.f64 (/.f64 a t) 1)))
(fma.f64 (/.f64 z (-.f64 (pow.f64 a 3) (pow.f64 t 3))) (fma.f64 t (+.f64 t a) (pow.f64 a 2)) (neg.f64 (/.f64 t (-.f64 a t))))
(fma.f64 (/.f64 z (-.f64 (pow.f64 a 3) (pow.f64 t 3))) (fma.f64 t (+.f64 t a) (pow.f64 a 2)) (/.f64 (neg.f64 t) (-.f64 a t)))
(fma.f64 (fma.f64 t (+.f64 t a) (pow.f64 a 2)) (/.f64 z (-.f64 (pow.f64 a 3) (pow.f64 t 3))) (/.f64 -1 (-.f64 (/.f64 a t) 1)))
(fma.f64 (/.f64 z (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a) (neg.f64 (/.f64 t (-.f64 a t))))
(fma.f64 (/.f64 z (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a) (/.f64 (neg.f64 t) (-.f64 a t)))
(-.f64 (*.f64 (+.f64 t a) (/.f64 z (-.f64 (pow.f64 a 2) (pow.f64 t 2)))) (/.f64 t (-.f64 a t)))
(fma.f64 (+.f64 t a) (/.f64 z (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (/.f64 -1 (-.f64 (/.f64 a t) 1)))
(+.f64 (/.f64 t (-.f64 a t)) (neg.f64 (/.f64 z (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(-.f64 (/.f64 t (-.f64 a t)) (/.f64 z (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 t z) (-.f64 a t)))) 1)
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (-.f64 t z) (/.f64 1 (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (/.f64 (-.f64 t z) (-.f64 a t)) 1)
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 1 (/.f64 (-.f64 t z) (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (cbrt.f64 (/.f64 (-.f64 t z) (-.f64 a t))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 t z) (-.f64 a t))) 2))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 t z) (-.f64 a t))) 2) (cbrt.f64 (/.f64 (-.f64 t z) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(.f64 (pow.f64 (cbrt.f64 (-.f64 t z)) 2) (.f64 (cbrt.f64 (-.f64 t z)) (/.f64 1 (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (sqrt.f64 (/.f64 (-.f64 t z) (-.f64 a t))) (sqrt.f64 (/.f64 (-.f64 t z) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(.f64 (sqrt.f64 (-.f64 t z)) (.f64 (sqrt.f64 (-.f64 t z)) (/.f64 1 (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (neg.f64 (-.f64 t z)) (/.f64 1 (neg.f64 (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (/.f64 1 (-.f64 a t)) (-.f64 t z))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (-.f64 t z) (cbrt.f64 (-.f64 a t))))
(/.f64 (/.f64 (-.f64 t z) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2))
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 (-.f64 t z) (sqrt.f64 (-.f64 a t))))
(/.f64 (/.f64 (-.f64 t z) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 t z)) 2) 1) (/.f64 (cbrt.f64 (-.f64 t z)) (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 t z)) 2) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (cbrt.f64 (/.f64 (-.f64 t z) (-.f64 a t))))
(*.f64 (cbrt.f64 (/.f64 (-.f64 t z) (-.f64 a t))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 t z)) 2) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)))
(/.f64 (pow.f64 (cbrt.f64 (-.f64 t z)) 2) (/.f64 (pow.f64 (cbrt.f64 (-.f64 a t)) 2) (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t)))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 t z)) 2) (sqrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 t z)) (sqrt.f64 (-.f64 a t))))
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 (-.f64 t z) (sqrt.f64 (-.f64 a t))))
(/.f64 (/.f64 (-.f64 t z) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t)))
(*.f64 (/.f64 (sqrt.f64 (-.f64 t z)) 1) (/.f64 (sqrt.f64 (-.f64 t z)) (-.f64 a t)))
(/.f64 (-.f64 z t) (-.f64 a t))
(*.f64 (/.f64 (sqrt.f64 (-.f64 t z)) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (sqrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 a t))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (-.f64 t z) (cbrt.f64 (-.f64 a t))))
(/.f64 (/.f64 (-.f64 t z) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2))
(*.f64 (/.f64 (-.f64 t z) (-.f64 (pow.f64 a 3) (pow.f64 t 3))) (fma.f64 t (+.f64 t a) (pow.f64 a 2)))
(*.f64 (fma.f64 t (+.f64 t a) (pow.f64 a 2)) (/.f64 (-.f64 t z) (-.f64 (pow.f64 a 3) (pow.f64 t 3))))
(/.f64 (-.f64 t z) (/.f64 (-.f64 (pow.f64 a 3) (pow.f64 t 3)) (fma.f64 t (+.f64 t a) (pow.f64 a 2))))
(*.f64 (/.f64 (-.f64 t z) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a))
(*.f64 (+.f64 t a) (/.f64 (-.f64 t z) (-.f64 (pow.f64 a 2) (pow.f64 t 2))))
(pow.f64 (/.f64 (-.f64 t z) (-.f64 a t)) 1)
(/.f64 (-.f64 z t) (-.f64 a t))
(pow.f64 (cbrt.f64 (/.f64 (-.f64 t z) (-.f64 a t))) 3)
(/.f64 (-.f64 z t) (-.f64 a t))
(pow.f64 (pow.f64 (/.f64 (-.f64 t z) (-.f64 a t)) 3) 1/3)
(/.f64 (-.f64 z t) (-.f64 a t))
(pow.f64 (sqrt.f64 (/.f64 (-.f64 t z) (-.f64 a t))) 2)
(/.f64 (-.f64 z t) (-.f64 a t))
(pow.f64 (/.f64 (-.f64 a t) (-.f64 t z)) -1)
(/.f64 (-.f64 z t) (-.f64 a t))
(neg.f64 (/.f64 (-.f64 t z) (neg.f64 (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(sqrt.f64 (pow.f64 (/.f64 (-.f64 t z) (-.f64 a t)) 2))
(/.f64 (-.f64 z t) (-.f64 a t))
(log.f64 (exp.f64 (/.f64 (-.f64 t z) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 t z) (-.f64 a t)))))
(/.f64 (-.f64 z t) (-.f64 a t))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 t z) (-.f64 a t)) 3))
(/.f64 (-.f64 z t) (-.f64 a t))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 t z) 3) (pow.f64 (-.f64 a t) 3)))
(/.f64 (-.f64 z t) (-.f64 a t))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 t z) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(exp.f64 (log.f64 (/.f64 (-.f64 t z) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 t z) (-.f64 a t))) 1))
(/.f64 (-.f64 z t) (-.f64 a t))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 t z) (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 t (/.f64 1 (-.f64 a t)) (neg.f64 (/.f64 z (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 1 (/.f64 t (-.f64 a t)) (neg.f64 (/.f64 z (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 (*.f64 (cbrt.f64 (/.f64 t (-.f64 a t))) (cbrt.f64 (/.f64 t (-.f64 a t)))) (cbrt.f64 (/.f64 t (-.f64 a t))) (neg.f64 (/.f64 z (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 (sqrt.f64 (/.f64 t (-.f64 a t))) (sqrt.f64 (/.f64 t (-.f64 a t))) (neg.f64 (/.f64 z (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 t (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 z (-.f64 a t))))
(fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 t (cbrt.f64 (-.f64 a t))) (/.f64 (neg.f64 z) (-.f64 a t)))
(-.f64 (/.f64 (/.f64 t (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 z (-.f64 a t)))
(fma.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 t (sqrt.f64 (-.f64 a t))) (neg.f64 (/.f64 z (-.f64 a t))))
(fma.f64 (/.f64 1 (sqrt.f64 (-.f64 a t))) (/.f64 t (sqrt.f64 (-.f64 a t))) (/.f64 (neg.f64 z) (-.f64 a t)))
(-.f64 (/.f64 (/.f64 t (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) (/.f64 z (-.f64 a t)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) 1) (/.f64 (cbrt.f64 t) (-.f64 a t)) (neg.f64 (/.f64 z (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (cbrt.f64 t) (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 z (-.f64 a t))))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (cbrt.f64 t) (cbrt.f64 (-.f64 a t))) (/.f64 (neg.f64 z) (-.f64 a t)))
(-.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 t) 2) (/.f64 (cbrt.f64 t) (cbrt.f64 (-.f64 a t)))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 z (-.f64 a t)))
(-.f64 (pow.f64 (/.f64 (cbrt.f64 t) (cbrt.f64 (-.f64 a t))) 3) (/.f64 z (-.f64 a t)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) (sqrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 t) (sqrt.f64 (-.f64 a t))) (neg.f64 (/.f64 z (-.f64 a t))))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) (sqrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 t) (sqrt.f64 (-.f64 a t))) (/.f64 (neg.f64 z) (-.f64 a t)))
(-.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) (sqrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 t) (sqrt.f64 (-.f64 a t)))) (/.f64 z (-.f64 a t)))
(fma.f64 (/.f64 (sqrt.f64 t) 1) (/.f64 (sqrt.f64 t) (-.f64 a t)) (neg.f64 (/.f64 z (-.f64 a t))))
(/.f64 (-.f64 z t) (-.f64 a t))
(fma.f64 (/.f64 (sqrt.f64 t) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (sqrt.f64 t) (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 z (-.f64 a t))))
(fma.f64 (/.f64 (sqrt.f64 t) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (sqrt.f64 t) (cbrt.f64 (-.f64 a t))) (/.f64 (neg.f64 z) (-.f64 a t)))
(-.f64 (*.f64 (/.f64 (sqrt.f64 t) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) (/.f64 (sqrt.f64 t) (cbrt.f64 (-.f64 a t)))) (/.f64 z (-.f64 a t)))
(fma.f64 (/.f64 (sqrt.f64 t) (sqrt.f64 (-.f64 a t))) (/.f64 (sqrt.f64 t) (sqrt.f64 (-.f64 a t))) (neg.f64 (/.f64 z (-.f64 a t))))
(fma.f64 (/.f64 (sqrt.f64 t) (sqrt.f64 (-.f64 a t))) (/.f64 (sqrt.f64 t) (sqrt.f64 (-.f64 a t))) (/.f64 (neg.f64 z) (-.f64 a t)))
(-.f64 (*.f64 (/.f64 (sqrt.f64 t) (sqrt.f64 (-.f64 a t))) (/.f64 (sqrt.f64 t) (sqrt.f64 (-.f64 a t)))) (/.f64 z (-.f64 a t)))
(fma.f64 (/.f64 t (-.f64 (pow.f64 a 3) (pow.f64 t 3))) (fma.f64 t (+.f64 t a) (pow.f64 a 2)) (neg.f64 (/.f64 z (-.f64 a t))))
(fma.f64 (/.f64 t (-.f64 (pow.f64 a 3) (pow.f64 t 3))) (fma.f64 t (+.f64 t a) (pow.f64 a 2)) (/.f64 (neg.f64 z) (-.f64 a t)))
(-.f64 (*.f64 (fma.f64 t (+.f64 t a) (pow.f64 a 2)) (/.f64 t (-.f64 (pow.f64 a 3) (pow.f64 t 3)))) (/.f64 z (-.f64 a t)))
(fma.f64 (/.f64 t (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a) (neg.f64 (/.f64 z (-.f64 a t))))
(fma.f64 (/.f64 t (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a) (/.f64 (neg.f64 z) (-.f64 a t)))
(-.f64 (/.f64 (*.f64 t (+.f64 t a)) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (/.f64 z (-.f64 a t)))
(-.f64 (*.f64 (+.f64 t a) (/.f64 t (-.f64 (pow.f64 a 2) (pow.f64 t 2)))) (/.f64 z (-.f64 a t)))

eval80.0ms (1.2%)

Compiler: Compiled 6788 to 2618 computations (61.4% saved)

prune73.0ms (1.1%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	242	24	266
Fresh	0	0	0
Picked	2	1	3
Done	0	0	0
Total	244	25	269

Accuracy

85.5%

Counts

269 → 25

Alt Table

Click to see full alt table

Status	Accuracy	Program
	41.2%	(fma.f64 (/.f64 (/.f64 (-.f64 t z) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) y (+.f64 x y))
	83.2%	(fma.f64 (/.f64 (/.f64 (-.f64 t z) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) y (+.f64 x y))
	52.1%	(fma.f64 (+.f64 (/.f64 z t) -1) y (+.f64 x y))
	83.3%	(fma.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 t z)) 2) 1) (/.f64 (cbrt.f64 (-.f64 t z)) (-.f64 a t))) y (+.f64 x y))
▶	69.2%	(fma.f64 (*.f64 (/.f64 (-.f64 t z) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a)) y (+.f64 x y))
	38.6%	(fma.f64 (*.f64 (/.f64 (sqrt.f64 (-.f64 t z)) 1) (/.f64 (sqrt.f64 (-.f64 t z)) (-.f64 a t))) y (+.f64 x y))
▶	83.4%	(fma.f64 (*.f64 (/.f64 1 (-.f64 a t)) (-.f64 t z)) y (+.f64 x y))
✓	79.7%	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
	83.3%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (/.f64 (-.f64 a t) (-.f64 z t)) -1) y))
	52.5%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 2) y))
	83.1%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 3) y))
▶	41.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) y))
	83.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) y))
	63.4%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) a) y))
	62.6%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (neg.f64 t) (-.f64 a t)) y))
	81.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 z (-.f64 a t)) y))
	70.0%	(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))
▶	62.7%	(-.f64 (+.f64 x y) (*.f64 (/.f64 -1 (-.f64 (/.f64 a t) 1)) y))
	52.1%	(-.f64 (+.f64 x y) (*.f64 (-.f64 1 (/.f64 z t)) y))
	83.3%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 z t)) 2) 1) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) y))
	69.2%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (-.f64 z t) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a)) y))
	44.7%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 z t)) 1) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 a t))) y))
	83.3%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 1 (-.f64 a t)) (-.f64 z t)) y))
	44.7%	(-.f64 (+.f64 x y) (.f64 (.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 (-.f64 a t)))) y))
▶	46.8%	(-.f64 (+.f64 x y) (*.f64 1 y))

Compiler

Compiled 1030 to 637 computations (38.2% saved)

localize978.0ms (14.4%)

Compiler: Compiled 258 to 83 computations (67.8% saved)
Precisions: Click to see histograms. Total time spent on operations: 665.0ms
Operation ival-sub, time spent: 213.0ms, 32.0% of total-time
Operation ival-pow, time spent: 129.0ms, 19.0% of total-time
Operation ival-div, time spent: 97.0ms, 15.0% of total-time
Operation ival-sqrt, time spent: 91.0ms, 14.0% of total-time
Operation ival-mult, time spent: 64.0ms, 10.0% of total-time
Operation ival-add, time spent: 29.0ms, 4.0% of total-time
Operation ival-fma, time spent: 24.0ms, 4.0% of total-time
Operation const, time spent: 18.0ms, 3.0% of total-time

eval0.0ms (0%)

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

prune22.0ms (0.3%)

Pruning

25 alts after pruning (19 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	19	19
Picked	5	5
Done	1	1
Total	25	25

Accuracy

85.5%

Counts

25 → 25

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	41.2%	(fma.f64 (/.f64 (/.f64 (-.f64 t z) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) y (+.f64 x y))
	83.2%	(fma.f64 (/.f64 (/.f64 (-.f64 t z) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) y (+.f64 x y))
	52.1%	(fma.f64 (+.f64 (/.f64 z t) -1) y (+.f64 x y))
	83.3%	(fma.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 t z)) 2) 1) (/.f64 (cbrt.f64 (-.f64 t z)) (-.f64 a t))) y (+.f64 x y))
✓	69.2%	(fma.f64 (*.f64 (/.f64 (-.f64 t z) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a)) y (+.f64 x y))
	38.6%	(fma.f64 (*.f64 (/.f64 (sqrt.f64 (-.f64 t z)) 1) (/.f64 (sqrt.f64 (-.f64 t z)) (-.f64 a t))) y (+.f64 x y))
✓	83.4%	(fma.f64 (*.f64 (/.f64 1 (-.f64 a t)) (-.f64 t z)) y (+.f64 x y))
✓	79.7%	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
	83.3%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (/.f64 (-.f64 a t) (-.f64 z t)) -1) y))
▶	52.5%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 2) y))
	83.1%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 3) y))
✓	41.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) y))
	83.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) y))
	63.4%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) a) y))
▶	62.6%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (neg.f64 t) (-.f64 a t)) y))
	81.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 z (-.f64 a t)) y))
▶	70.0%	(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))
✓	62.7%	(-.f64 (+.f64 x y) (*.f64 (/.f64 -1 (-.f64 (/.f64 a t) 1)) y))
	52.1%	(-.f64 (+.f64 x y) (*.f64 (-.f64 1 (/.f64 z t)) y))
	83.3%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 z t)) 2) 1) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) y))
	69.2%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (-.f64 z t) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a)) y))
	44.7%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 z t)) 1) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 a t))) y))
▶	83.3%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 1 (-.f64 a t)) (-.f64 z t)) y))
	44.7%	(-.f64 (+.f64 x y) (.f64 (.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 (-.f64 a t)))) y))
✓	46.8%	(-.f64 (+.f64 x y) (*.f64 1 y))

Compiler

Compiled 932 to 574 computations (38.4% saved)

localize590.0ms (8.7%)

Compiler: Compiled 248 to 48 computations (80.6% saved)
Precisions: Click to see histograms. Total time spent on operations: 315.0ms
Operation ival-sub, time spent: 129.0ms, 41.0% of total-time
Operation ival-div, time spent: 53.0ms, 17.0% of total-time
Operation ival-mult, time spent: 47.0ms, 15.0% of total-time
Operation ival-pow, time spent: 35.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 20.0ms, 6.0% of total-time
Operation ival-add, time spent: 13.0ms, 4.0% of total-time
Operation ival-fma, time spent: 8.0ms, 3.0% of total-time
Operation const, time spent: 6.0ms, 2.0% of total-time
Operation ival-neg, time spent: 4.0ms, 1.0% of total-time

eval1.0ms (0%)

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

prune18.0ms (0.3%)

Pruning

25 alts after pruning (14 fresh and 11 done)

	Kept	Total
New	0	0
Fresh	14	14
Picked	5	5
Done	6	6
Total	25	25

Accuracy

85.5%

Counts

25 → 25

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	41.2%	(fma.f64 (/.f64 (/.f64 (-.f64 t z) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) y (+.f64 x y))
	83.2%	(fma.f64 (/.f64 (/.f64 (-.f64 t z) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) y (+.f64 x y))
▶	52.1%	(fma.f64 (+.f64 (/.f64 z t) -1) y (+.f64 x y))
	83.3%	(fma.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 t z)) 2) 1) (/.f64 (cbrt.f64 (-.f64 t z)) (-.f64 a t))) y (+.f64 x y))
✓	69.2%	(fma.f64 (*.f64 (/.f64 (-.f64 t z) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a)) y (+.f64 x y))
	38.6%	(fma.f64 (*.f64 (/.f64 (sqrt.f64 (-.f64 t z)) 1) (/.f64 (sqrt.f64 (-.f64 t z)) (-.f64 a t))) y (+.f64 x y))
✓	83.4%	(fma.f64 (*.f64 (/.f64 1 (-.f64 a t)) (-.f64 t z)) y (+.f64 x y))
✓	79.7%	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
▶	83.3%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (/.f64 (-.f64 a t) (-.f64 z t)) -1) y))
✓	52.5%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 2) y))
	83.1%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 3) y))
✓	41.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) y))
▶	83.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) y))
	63.4%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) a) y))
✓	62.6%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (neg.f64 t) (-.f64 a t)) y))
	81.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 z (-.f64 a t)) y))
✓	70.0%	(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))
✓	62.7%	(-.f64 (+.f64 x y) (*.f64 (/.f64 -1 (-.f64 (/.f64 a t) 1)) y))
▶	52.1%	(-.f64 (+.f64 x y) (*.f64 (-.f64 1 (/.f64 z t)) y))
	83.3%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 z t)) 2) 1) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) y))
	69.2%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (-.f64 z t) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a)) y))
▶	44.7%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 z t)) 1) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 a t))) y))
✓	83.3%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 1 (-.f64 a t)) (-.f64 z t)) y))
	44.7%	(-.f64 (+.f64 x y) (.f64 (.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 (-.f64 a t)))) y))
✓	46.8%	(-.f64 (+.f64 x y) (*.f64 1 y))

Compiler

Compiled 837 to 515 computations (38.5% saved)

localize791.0ms (11.7%)

Compiler: Compiled 295 to 71 computations (75.9% saved)
Precisions: Click to see histograms. Total time spent on operations: 512.0ms
Operation ival-sub, time spent: 136.0ms, 27.0% of total-time
Operation ival-pow, time spent: 99.0ms, 19.0% of total-time
Operation ival-div, time spent: 82.0ms, 16.0% of total-time
Operation ival-mult, time spent: 81.0ms, 16.0% of total-time
Operation ival-add, time spent: 56.0ms, 11.0% of total-time
Operation const, time spent: 16.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 16.0ms, 3.0% of total-time
Operation ival-cbrt, time spent: 15.0ms, 3.0% of total-time
Operation ival-fma, time spent: 12.0ms, 2.0% of total-time

eval0.0ms (0%)

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

prune21.0ms (0.3%)

Pruning

25 alts after pruning (9 fresh and 16 done)

	Kept	Total
New	0	0
Fresh	9	9
Picked	5	5
Done	11	11
Total	25	25

Accuracy

85.5%

Counts

25 → 25

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	41.2%	(fma.f64 (/.f64 (/.f64 (-.f64 t z) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) y (+.f64 x y))
	83.2%	(fma.f64 (/.f64 (/.f64 (-.f64 t z) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) y (+.f64 x y))
✓	52.1%	(fma.f64 (+.f64 (/.f64 z t) -1) y (+.f64 x y))
	83.3%	(fma.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 t z)) 2) 1) (/.f64 (cbrt.f64 (-.f64 t z)) (-.f64 a t))) y (+.f64 x y))
✓	69.2%	(fma.f64 (*.f64 (/.f64 (-.f64 t z) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a)) y (+.f64 x y))
	38.6%	(fma.f64 (*.f64 (/.f64 (sqrt.f64 (-.f64 t z)) 1) (/.f64 (sqrt.f64 (-.f64 t z)) (-.f64 a t))) y (+.f64 x y))
✓	83.4%	(fma.f64 (*.f64 (/.f64 1 (-.f64 a t)) (-.f64 t z)) y (+.f64 x y))
✓	79.7%	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
✓	83.3%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (/.f64 (-.f64 a t) (-.f64 z t)) -1) y))
✓	52.5%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 2) y))
	83.1%	(-.f64 (+.f64 x y) (*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 3) y))
✓	41.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) y))
✓	83.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) y))
	63.4%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) a) y))
✓	62.6%	(-.f64 (+.f64 x y) (*.f64 (/.f64 (neg.f64 t) (-.f64 a t)) y))
	81.2%	(-.f64 (+.f64 x y) (*.f64 (/.f64 z (-.f64 a t)) y))
✓	70.0%	(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))
✓	62.7%	(-.f64 (+.f64 x y) (*.f64 (/.f64 -1 (-.f64 (/.f64 a t) 1)) y))
✓	52.1%	(-.f64 (+.f64 x y) (*.f64 (-.f64 1 (/.f64 z t)) y))
	83.3%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 z t)) 2) 1) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) y))
	69.2%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (-.f64 z t) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a)) y))
✓	44.7%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 z t)) 1) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 a t))) y))
✓	83.3%	(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 1 (-.f64 a t)) (-.f64 z t)) y))
	44.7%	(-.f64 (+.f64 x y) (.f64 (.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 (-.f64 a t)))) y))
✓	46.8%	(-.f64 (+.f64 x y) (*.f64 1 y))

Compiler

Compiled 953 to 470 computations (50.7% saved)

regimes78.0ms (1.2%)

Counts

27 → 1

Calls

Call 1

Inputs
(-.f64 (+.f64 x y) (*.f64 1 y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))
(-.f64 (+.f64 x y) (*.f64 (-.f64 1 (/.f64 z t)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 z (-.f64 a t)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) a) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (neg.f64 t) (-.f64 a t)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 -1 (-.f64 (/.f64 a t) 1)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 1 (-.f64 a t)) (-.f64 z t)) y))
(fma.f64 (+.f64 (/.f64 z t) -1) y (+.f64 x y))
(fma.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y (+.f64 x y))
(fma.f64 (*.f64 (/.f64 1 (-.f64 a t)) (-.f64 t z)) y (+.f64 x y))
(-.f64 (+.f64 x y) (*.f64 (pow.f64 (/.f64 (-.f64 a t) (-.f64 z t)) -1) y))
(-.f64 (+.f64 x y) (*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 3) y))
(-.f64 (+.f64 x y) (*.f64 (pow.f64 (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 a t))) 2) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) y))
(-.f64 (+.f64 x y) (.f64 (.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 (-.f64 a t)))) y))
(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 z t)) 1) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 a t))) y))
(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (-.f64 z t) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a)) y))
(fma.f64 (/.f64 (/.f64 (-.f64 t z) (sqrt.f64 (-.f64 a t))) (sqrt.f64 (-.f64 a t))) y (+.f64 x y))
(fma.f64 (*.f64 (/.f64 (sqrt.f64 (-.f64 t z)) 1) (/.f64 (sqrt.f64 (-.f64 t z)) (-.f64 a t))) y (+.f64 x y))
(fma.f64 (*.f64 (/.f64 (-.f64 t z) (-.f64 (pow.f64 a 2) (pow.f64 t 2))) (+.f64 t a)) y (+.f64 x y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) y))
(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 z t)) 2) 1) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) y))
(fma.f64 (/.f64 (/.f64 (-.f64 t z) (cbrt.f64 (-.f64 a t))) (pow.f64 (cbrt.f64 (-.f64 a t)) 2)) y (+.f64 x y))
(fma.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 t z)) 2) 1) (/.f64 (cbrt.f64 (-.f64 t z)) (-.f64 a t))) y (+.f64 x y))

Outputs
(fma.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y (+.f64 x y))

Calls

6 calls:

14.0ms	a
13.0ms	x
13.0ms	z
13.0ms	y
13.0ms	t

Results

Accuracy	Segments	Branch
83.4%	1	`x`
83.4%	1	`y`
83.4%	1	`z`
83.4%	1	`t`
83.4%	1	`a`
83.4%	1	`(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))`

Compiler

Compiled 48 to 36 computations (25% saved)

regimes45.0ms (0.7%)

Counts

11 → 1

Calls

Call 1

Inputs
(-.f64 (+.f64 x y) (*.f64 1 y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))
(-.f64 (+.f64 x y) (*.f64 (-.f64 1 (/.f64 z t)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 z (-.f64 a t)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) a) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (neg.f64 t) (-.f64 a t)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 -1 (-.f64 (/.f64 a t) 1)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(-.f64 (+.f64 x y) (.f64 (.f64 (/.f64 1 (-.f64 a t)) (-.f64 z t)) y))
(fma.f64 (+.f64 (/.f64 z t) -1) y (+.f64 x y))

Outputs
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))

Calls

6 calls:

12.0ms	z
7.0ms	x
7.0ms	a
7.0ms	t
6.0ms	y

Results

Accuracy	Segments	Branch
83.4%	1	`t`
83.4%	1	`y`
83.4%	1	`a`
83.4%	1	`z`
83.4%	1	`(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))`
83.4%	1	`x`

Compiler

Compiled 48 to 36 computations (25% saved)

regimes26.0ms (0.4%)

Counts

7 → 1

Calls

Call 1

Inputs
(-.f64 (+.f64 x y) (*.f64 1 y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))
(-.f64 (+.f64 x y) (*.f64 (-.f64 1 (/.f64 z t)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 z (-.f64 a t)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) a) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (neg.f64 t) (-.f64 a t)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 -1 (-.f64 (/.f64 a t) 1)) y))

Outputs
(-.f64 (+.f64 x y) (*.f64 (/.f64 z (-.f64 a t)) y))

Calls

5 calls:

5.0ms	a
5.0ms	x
5.0ms	t
5.0ms	z
5.0ms	y

Results

Accuracy	Segments	Branch
81.2%	1	`t`
81.2%	1	`y`
81.2%	1	`a`
81.2%	1	`z`
81.2%	1	`x`

Compiler

Compiled 30 to 25 computations (16.7% saved)

regimes34.0ms (0.5%)

Counts

3 → 3

Calls

Call 1

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

Outputs
(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))
(-.f64 (+.f64 x y) (*.f64 (-.f64 1 (/.f64 z t)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))

Calls

5 calls:

10.0ms	a
10.0ms	x
6.0ms	t
4.0ms	y
3.0ms	z

Results

Accuracy	Segments	Branch
70.0%	1	`z`
70.0%	1	`y`
71.7%	2	`t`
77.4%	3	`a`
72.3%	3	`x`

Compiler

Compiled 30 to 25 computations (16.7% saved)

regimes10.0ms (0.2%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))

Calls

3 calls:

4.0ms	z
3.0ms	t
3.0ms	a

Results

Accuracy	Segments	Branch
70.0%	1	`z`
70.0%	1	`t`
70.0%	1	`a`

Compiler

Compiled 18 to 15 computations (16.7% saved)

regimes14.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

5 calls:

3.0ms	t
3.0ms	z
3.0ms	y
3.0ms	a
3.0ms	x

Results

Accuracy	Segments	Branch
46.8%	1	`x`
46.8%	1	`y`
46.8%	1	`t`
46.8%	1	`a`
46.8%	1	`z`

Compiler

Compiled 30 to 25 computations (16.7% saved)

bsearch55.0ms (0.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
27.0ms	3.626728963712255e-107	7.656927813147341e-106
28.0ms	-7.836863324607389e-78	-3.2140935345469357e-80

Results

28.0ms	160×	0	valid
8.0ms	24×	1	valid
3.0ms	17×	0	infinite
7.0ms	16×	2	valid
3.0ms	6×	3	valid
0.0ms	1×	0	valid

Compiler

Compiled 474 to 326 computations (31.2% saved)

Precisions

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

Operation ival-sub, time spent: 14.0ms, 53.0% of total-time

Operation ival-add, time spent: 6.0ms, 23.0% of total-time

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

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

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

simplify28.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

200×	`unsub-neg`
126×	`neg-mul-1`
100×	`distribute-lft-neg-in`
60×	`distribute-neg-in`
60×	`distribute-rgt-neg-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	340
1	96	340
2	159	340
3	201	340
4	286	340
5	385	340
6	430	340
7	507	340
8	551	340
9	557	340
10	571	340
11	574	340

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(fma.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y (+.f64 x y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(-.f64 (+.f64 x y) (*.f64 (/.f64 z (-.f64 a t)) y))
(if (<=.f64 a -8343699359066055/8343699359066055009355553539724812947666814540455674882605631280555545803830627148527195652096) (-.f64 (+.f64 x y) (.f64 (/.f64 z a) y)) (if (<=.f64 a 6858455676198829/82631996098781074868989413504096379978550585370535152410581099409300723904538918228148651304964410605948901503127919788032) (-.f64 (+.f64 x y) (.f64 (-.f64 1 (/.f64 z t)) y)) (-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))))
(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))
(-.f64 (+.f64 x y) (*.f64 1 y))

Outputs
(fma.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y (+.f64 x y))
(fma.f64 (/.f64 (-.f64 t z) (-.f64 a t)) y (+.f64 y x))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(-.f64 (+.f64 y x) (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
(-.f64 (+.f64 x y) (*.f64 (/.f64 z (-.f64 a t)) y))
(-.f64 (+.f64 y x) (*.f64 y (/.f64 z (-.f64 a t))))
(if (<=.f64 a -8343699359066055/8343699359066055009355553539724812947666814540455674882605631280555545803830627148527195652096) (-.f64 (+.f64 x y) (.f64 (/.f64 z a) y)) (if (<=.f64 a 6858455676198829/82631996098781074868989413504096379978550585370535152410581099409300723904538918228148651304964410605948901503127919788032) (-.f64 (+.f64 x y) (.f64 (-.f64 1 (/.f64 z t)) y)) (-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))))
(if (or (<=.f64 a -8343699359066055/8343699359066055009355553539724812947666814540455674882605631280555545803830627148527195652096) (not (<=.f64 a 6858455676198829/82631996098781074868989413504096379978550585370535152410581099409300723904538918228148651304964410605948901503127919788032))) (-.f64 (+.f64 y x) (.f64 y (/.f64 z a))) (-.f64 (+.f64 y x) (.f64 y (-.f64 1 (/.f64 z t)))))
(-.f64 (+.f64 x y) (*.f64 (/.f64 z a) y))
(-.f64 (+.f64 y x) (*.f64 y (/.f64 z a)))
(-.f64 (+.f64 x y) (*.f64 1 y))
(-.f64 (+.f64 y x) y)

Compiler

Compiled 109 to 68 computations (37.6% saved)

soundness341.0ms (5%)

Rules

2022×	`fma-def`
2022×	`fma-def`
938×	`div-sub`
938×	`div-sub`
930×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	94	1336
1	248	1304
2	837	1285
3	2918	1203
0	94	1336
1	248	1304
2	837	1285
3	2918	1203
0	405	9641
1	1080	9229
2	3787	8911

Stop Event

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

Compiler

Compiled 401 to 138 computations (65.6% saved)

end0.0ms (0%)

preprocess112.0ms (1.7%)

Compiler: Compiled 364 to 154 computations (57.7% saved)

Iter	Nodes	Cost
0	45	340
1	96	340
2	159	340
3	201	340
4	286	340
5	385	340
6	430	340
7	507	340
8	551	340
9	557	340
10	571	340
11	574	340

Iter	Nodes	Cost
0	45	340
1	96	340
2	159	340
3	201	340
4	286	340
5	385	340
6	430	340
7	507	340
8	551	340
9	557	340
10	571	340
11	574	340

analyze140.0ms (2.1%)

sample2.2s (32.6%)

preprocess236.0ms (3.5%)

eval1.0ms (0%)

prune2.0ms (0%)

localize503.0ms (7.4%)

series11.0ms (0.2%)

rewrite225.0ms (3.3%)

simplify130.0ms (1.9%)

eval80.0ms (1.2%)

prune73.0ms (1.1%)

localize978.0ms (14.4%)

eval0.0ms (0%)

prune22.0ms (0.3%)

localize590.0ms (8.7%)

eval1.0ms (0%)

prune18.0ms (0.3%)

localize791.0ms (11.7%)

eval0.0ms (0%)

prune21.0ms (0.3%)

regimes78.0ms (1.2%)

regimes45.0ms (0.7%)

regimes26.0ms (0.4%)

regimes34.0ms (0.5%)

regimes10.0ms (0.2%)

regimes14.0ms (0.2%)

bsearch55.0ms (0.8%)

simplify28.0ms (0.4%)

soundness341.0ms (5%)

end0.0ms (0%)

preprocess112.0ms (1.7%)

Profiling

Iter	Nodes	Cost
0	45	340
1	96	340
2	159	340
3	201	340
4	286	340
5	385	340
6	430	340
7	507	340
8	551	340
9	557	340
10	571	340
11	574	340