Details

analyze424.0ms (21.8%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
0%	0%	99.7%	0.3%	0%	0%	0%	7
0%	0%	99.7%	0.3%	0%	0%	0%	8
0%	0%	99.7%	0.3%	0%	0%	0%	9
0%	0%	99.7%	0.3%	0%	0%	0%	10
1.6%	1.6%	98.1%	0.3%	0%	0%	0%	11
2.3%	2.3%	97.4%	0.3%	0%	0%	0%	12

Compiler

Compiled 24 to 16 computations (33.3% saved)

sample1.3s (69.3%)

Results

1.3s	8256×	body	256	valid
83.0ms	289×	body	256	infinite

Bogosity

preprocess31.0ms (1.6%)

Algorithm

2×	egg-herbie

Rules

416×	`fma-def`
180×	`+-commutative`
100×	`*-commutative`
76×	`associate-/l*`
76×	`associate-/r/`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	98	784
1	215	784
2	340	656
3	467	656
4	587	656
5	623	656
0	6	6

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2
3
4
5

Outputs
0
1
2
3
4
5

Call 2

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

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

Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify13.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

32×	`fma-def`
16×	`+-commutative`
12×	`*-commutative`
8×	`associate-/l*`
8×	`associate-/r/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	49
1	31	49
2	43	41
3	56	41
4	66	41
5	70	41

Stop Event

1×

saturated

Counts

1 → 6

Calls

Call 1

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

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

eval1.0ms (0.1%)

Compiler: Compiled 102 to 48 computations (52.9% saved)

prune5.0ms (0.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	1	5	6
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	6	7

Error

77.6%

Counts

7 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	70.5%	(/.f64 (fma.f64 (/.f64 z t) y x) (+.f64 a (fma.f64 (/.f64 b t) y 1)))
▶	74.3%	(/.f64 (fma.f64 (/.f64 y t) z x) (+.f64 1 (fma.f64 (/.f64 y t) b a)))
▶	72.9%	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
▶	70.6%	(/.f64 (+.f64 x (/.f64 y (/.f64 t z))) (+.f64 a (+.f64 1 (/.f64 y (/.f64 t b)))))
▶	70.1%	(/.f64 (+.f64 x (/.f64 y (/.f64 t z))) (+.f64 a (+.f64 1 (/.f64 b (/.f64 t y)))))

Compiler

Compiled 222 to 140 computations (36.9% saved)

localize14.0ms (0.7%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	95.5%	(fma.f64 (/.f64 y t) z x)
✓	94.5%	(fma.f64 (/.f64 y t) b a)
✓	78.2%	(/.f64 (fma.f64 (/.f64 y t) z x) (+.f64 1 (fma.f64 (/.f64 y t) b a)))

Compiler

Compiled 51 to 15 computations (70.6% saved)

series22.0ms (1.1%)

Counts

3 → 168

Calls

42 calls:

Time	Variable		Point	Expression
3.0ms	y	@	0	(/.f64 (fma.f64 (/.f64 y t) z x) (+.f64 1 (fma.f64 (/.f64 y t) b a)))
2.0ms	a	@	0	(/.f64 (fma.f64 (/.f64 y t) z x) (+.f64 1 (fma.f64 (/.f64 y t) b a)))
1.0ms	z	@	0	(/.f64 (fma.f64 (/.f64 y t) z x) (+.f64 1 (fma.f64 (/.f64 y t) b a)))
1.0ms	b	@	inf	(/.f64 (fma.f64 (/.f64 y t) z x) (+.f64 1 (fma.f64 (/.f64 y t) b a)))
1.0ms	y	@	inf	(/.f64 (fma.f64 (/.f64 y t) z x) (+.f64 1 (fma.f64 (/.f64 y t) b a)))

rewrite85.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1738×	`associate-*r/`
1618×	`associate-*l/`
1478×	`associate-/r*`
324×	`add-sqr-sqrt`
320×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	71
1	310	71
2	4062	71

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (fma.f64 (/.f64 y t) z x) (+.f64 1 (fma.f64 (/.f64 y t) b a)))
(fma.f64 (/.f64 y t) b a)
(fma.f64 (/.f64 y t) z x)

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

Outputs

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

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

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

Details

analyze424.0ms (21.8%)

sample1.3s (69.3%)

preprocess31.0ms (1.6%)

simplify13.0ms (0.7%)

eval1.0ms (0.1%)

prune5.0ms (0.3%)

localize14.0ms (0.7%)

series22.0ms (1.1%)

rewrite85.0ms (4.4%)

end0.0ms (0%)

Profiling