Details

analyze2.1s (30%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	99.7%	0.3%	13
0%	99.7%	0.3%	14

Compiler

Compiled 27 to 19 computations (29.6% saved)

sample2.3s (32.4%)

Results

1.4s	8256×	body	128	valid
844.0ms	5020×	body	128	invalid

preprocess48.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

1024×	`fma-neg_binary64`
531×	`fma-def_binary64`
420×	`cancel-sign-sub-inv_binary64`
298×	`associate-r_binary64`
288×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	141	616
1	485	616
2	1566	528
3	4974	528
0	7	7
1	7	7

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3
4
5
6

Outputs
0
1
0
2
3
4
3
5
6

Call 2

Inputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 y 9) x) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 z 9) y) (.f64 (.f64 (.f64 x 4) t) a)) b) (.f64 x c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 t 9) y) (.f64 (.f64 (.f64 z 4) x) a)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 a 9) y) (.f64 (.f64 (.f64 z 4) t) x)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 b 9) y) (.f64 (.f64 (.f64 z 4) t) a)) x) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 c 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z x))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) z) (.f64 (.f64 (.f64 y 4) t) a)) b) (.f64 y c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) t) (.f64 (.f64 (.f64 z 4) y) a)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) a) (.f64 (.f64 (.f64 z 4) t) y)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) b) (.f64 (.f64 (.f64 z 4) t) a)) y) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) c) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z y))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 t 4) z) a)) b) (.f64 t c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 a 4) t) z)) b) (.f64 a c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 b 4) t) a)) z) (.f64 b c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 c 4) t) a)) b) (.f64 c z))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) a) t)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) b) a)) t) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) c) a)) b) (.f64 z t))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) b)) a) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) c)) b) (.f64 z a))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) c) (.f64 z b))

Outputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 (.f64 z (.f64 4 t)) a)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 z (.f64 t (.f64 4 a)))) b) (.f64 z c))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 z (.f64 t (.f64 a -4)) b)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 y 9) x) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 (.f64 z (.f64 4 t)) a)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 z (.f64 t (.f64 4 a)))) b) (.f64 z c))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 z (.f64 t (.f64 a -4)) b)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 z 9) y) (.f64 (.f64 (.f64 x 4) t) a)) b) (.f64 x c))
(/.f64 (+.f64 b (-.f64 (.f64 y (.f64 9 z)) (.f64 a (.f64 t (.f64 x 4))))) (.f64 x c))
(/.f64 (+.f64 b (-.f64 (.f64 9 (.f64 y z)) (.f64 x (.f64 t (.f64 4 a))))) (.f64 x c))
(/.f64 (fma.f64 9 (.f64 y z) (fma.f64 a (.f64 t (.f64 x -4)) b)) (.f64 x c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 t 9) y) (.f64 (.f64 (.f64 z 4) x) a)) b) (.f64 z c))
(/.f64 (+.f64 b (-.f64 (.f64 y (.f64 9 t)) (.f64 (.f64 z 4) (.f64 x a)))) (.f64 z c))
(/.f64 (-.f64 (.f64 9 (.f64 y t)) (fma.f64 (.f64 z 4) (.f64 x a) (neg.f64 b))) (*.f64 z c))
(/.f64 (fma.f64 9 (.f64 y t) (fma.f64 a (.f64 x (.f64 z -4)) b)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 a 9) y) (.f64 (.f64 (.f64 z 4) t) x)) b) (.f64 z c))
(/.f64 (+.f64 b (-.f64 (.f64 y (.f64 9 a)) (.f64 x (.f64 z (.f64 4 t))))) (.f64 z c))
(/.f64 (fma.f64 9 (.f64 y a) (fma.f64 x (.f64 z (.f64 t -4)) b)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 b 9) y) (.f64 (.f64 (.f64 z 4) t) a)) x) (.f64 z c))
(/.f64 (+.f64 x (-.f64 (.f64 y (.f64 9 b)) (.f64 (.f64 z (.f64 4 t)) a))) (.f64 z c))
(/.f64 (+.f64 x (-.f64 (.f64 9 (.f64 b y)) (.f64 z (.f64 t (.f64 4 a))))) (.f64 z c))
(/.f64 (fma.f64 9 (.f64 y b) (fma.f64 z (.f64 t (.f64 a -4)) x)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 c 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z x))
(/.f64 (-.f64 (.f64 y (.f64 9 c)) (-.f64 (.f64 (.f64 z (.f64 4 t)) a) b)) (.f64 x z))
(/.f64 (-.f64 (.f64 y (.f64 9 c)) (-.f64 (.f64 z (.f64 t (.f64 4 a))) b)) (.f64 x z))
(/.f64 (fma.f64 9 (.f64 y c) (fma.f64 z (.f64 t (.f64 a -4)) b)) (.f64 x z))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) z) (.f64 (.f64 (.f64 y 4) t) a)) b) (.f64 y c))
(/.f64 (+.f64 b (-.f64 (.f64 x (.f64 9 z)) (.f64 a (.f64 y (.f64 4 t))))) (.f64 y c))
(/.f64 (+.f64 b (-.f64 (.f64 x (.f64 9 z)) (.f64 y (.f64 t (.f64 4 a))))) (.f64 y c))
(/.f64 (fma.f64 x (.f64 9 z) (fma.f64 a (.f64 t (.f64 y -4)) b)) (.f64 y c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) t) (.f64 (.f64 (.f64 z 4) y) a)) b) (.f64 z c))
(/.f64 (+.f64 b (-.f64 (.f64 (.f64 x 9) t) (.f64 (.f64 z 4) (.f64 y a)))) (.f64 z c))
(/.f64 (+.f64 b (-.f64 (.f64 (.f64 x 9) t) (.f64 y (.f64 z (.f64 4 a))))) (.f64 z c))
(/.f64 (fma.f64 x (.f64 9 t) (fma.f64 a (.f64 z (.f64 y -4)) b)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) a) (.f64 (.f64 (.f64 z 4) t) y)) b) (.f64 z c))
(/.f64 (+.f64 b (-.f64 (.f64 x (.f64 9 a)) (.f64 y (.f64 z (.f64 4 t))))) (.f64 z c))
(/.f64 (fma.f64 x (.f64 9 a) (fma.f64 y (.f64 z (.f64 t -4)) b)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) b) (.f64 (.f64 (.f64 z 4) t) a)) y) (.f64 z c))
(/.f64 (+.f64 y (-.f64 (.f64 (.f64 x 9) b) (.f64 (.f64 z (.f64 4 t)) a))) (.f64 z c))
(/.f64 (-.f64 (.f64 9 (.f64 x b)) (fma.f64 (.f64 z (.f64 4 t)) a (neg.f64 y))) (*.f64 z c))
(/.f64 (fma.f64 x (.f64 9 b) (fma.f64 z (.f64 t (.f64 a -4)) y)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) c) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z y))
(/.f64 (+.f64 b (-.f64 (.f64 x (.f64 9 c)) (.f64 (.f64 z (.f64 4 t)) a))) (.f64 y z))
(/.f64 (+.f64 b (-.f64 (.f64 x (.f64 9 c)) (.f64 z (.f64 t (.f64 4 a))))) (.f64 y z))
(/.f64 (fma.f64 x (.f64 9 c) (fma.f64 z (.f64 t (.f64 a -4)) b)) (.f64 y z))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 t 4) z) a)) b) (.f64 t c))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 (.f64 z (.f64 4 t)) a)) b) (.f64 t c))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 z (.f64 t (.f64 4 a)))) b) (.f64 t c))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 z (.f64 t (.f64 a -4)) b)) (.f64 t c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 a 4) t) z)) b) (.f64 a c))
(/.f64 (+.f64 b (-.f64 (.f64 x (.f64 9 y)) (.f64 z (.f64 t (.f64 4 a))))) (.f64 a c))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 z (.f64 t (.f64 4 a)))) b) (.f64 a c))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 z (.f64 t (.f64 a -4)) b)) (.f64 a c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 b 4) t) a)) z) (.f64 b c))
(/.f64 (+.f64 z (-.f64 (.f64 x (.f64 9 y)) (.f64 a (.f64 t (.f64 4 b))))) (.f64 b c))
(/.f64 (+.f64 z (-.f64 (.f64 x (.f64 9 y)) (.f64 a (.f64 4 (.f64 t b))))) (.f64 b c))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 a (.f64 t (.f64 b -4)) z)) (.f64 b c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 c 4) t) a)) b) (.f64 c z))
(/.f64 (+.f64 b (-.f64 (.f64 x (.f64 9 y)) (.f64 a (.f64 t (.f64 4 c))))) (.f64 z c))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 a (.f64 t (.f64 c -4)) b)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) a) t)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 (.f64 z (.f64 4 t)) a)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 z (.f64 t (.f64 4 a)))) b) (.f64 z c))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 z (.f64 t (.f64 a -4)) b)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) b) a)) t) (.f64 z c))
(/.f64 (+.f64 t (-.f64 (.f64 x (.f64 9 y)) (.f64 (.f64 z 4) (.f64 b a)))) (.f64 z c))
(/.f64 (+.f64 t (-.f64 (.f64 x (.f64 9 y)) (.f64 z (.f64 4 (.f64 a b))))) (.f64 z c))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 a (.f64 z (.f64 b -4)) t)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) c) a)) b) (.f64 z t))
(/.f64 (+.f64 b (-.f64 (.f64 x (.f64 9 y)) (.f64 (.f64 z 4) (.f64 a c)))) (.f64 z t))
(/.f64 (+.f64 b (-.f64 (.f64 x (.f64 9 y)) (.f64 c (.f64 z (.f64 4 a))))) (.f64 z t))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 a (.f64 z (.f64 c -4)) b)) (.f64 z t))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) b)) a) (.f64 z c))
(/.f64 (+.f64 a (-.f64 (.f64 x (.f64 9 y)) (.f64 (.f64 z 4) (.f64 t b)))) (.f64 z c))
(/.f64 (+.f64 a (-.f64 (.f64 x (.f64 9 y)) (.f64 z (.f64 4 (.f64 t b))))) (.f64 z c))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 b (.f64 z (.f64 t -4)) a)) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) c)) b) (.f64 z a))
(/.f64 (+.f64 b (-.f64 (.f64 x (.f64 9 y)) (.f64 (.f64 z 4) (.f64 t c)))) (.f64 z a))
(/.f64 (+.f64 b (-.f64 (.f64 x (.f64 9 y)) (.f64 z (.f64 t (.f64 4 c))))) (.f64 z a))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 (.f64 z -4) (.f64 t c) b)) (.f64 z a))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) c) (.f64 z b))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 (.f64 z (.f64 4 t)) a)) c) (.f64 z b))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 z (.f64 t (.f64 4 a)))) c) (.f64 z b))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 z (.f64 t (.f64 a -4)) c)) (.f64 z b))

Symmetry

(sort x y)

(sort t a)

Compiler

Compiled 26 to 18 computations (30.8% saved)

simplify25.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

828×	`fma-def_binary64`
465×	`cancel-sign-sub-inv_binary64`
457×	`fma-neg_binary64`
354×	`associate-/l*_binary64`
249×	`associate-/l/_binary64`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	19	28
1	42	28
2	125	24
3	433	24
4	1215	23
5	2928	21

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))

Outputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 x (.f64 9 y)) (.f64 (.f64 z 4) (.f64 t a))) b) (.f64 z c))
(/.f64 (-.f64 (.f64 (.f64 x 9) y) (fma.f64 (.f64 z 4) (.f64 t a) (neg.f64 b))) (*.f64 z c))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 a (.f64 z (.f64 t -4)) b)) (.f64 z c))
(/.f64 (fma.f64 x (.f64 9 y) (fma.f64 t (.f64 z (.f64 -4 a)) b)) (.f64 z c))
(/.f64 (+.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z) (.f64 t (*.f64 a -4))) c)
(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

7.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	13.2b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
	22.2b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))

Compiler

Compiled 137 to 92 computations (32.8% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 x (*.f64 9 y) b)
✓	2.0b	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
✓	10.5b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)

series30.0ms (0.4%)

Counts

3 → 168

Calls

42 calls:

Time	Variable		Point	Expression
3.0ms	z	@	0	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
2.0ms	y	@	inf	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
1.0ms	t	@	0	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
1.0ms	c	@	0	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
1.0ms	z	@	inf	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)

rewrite96.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

334×	`prod-diff_binary64`
302×	`log1p-udef_binary64`
166×	`add-sqr-sqrt_binary64`
163×	`*-un-lft-identity_binary64`
163×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	40
1	330	40
2	4074	40

Stop Event

1×	node limit

Counts

3 → 89

Calls

Call 1

Inputs
(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
(/.f64 (fma.f64 x (*.f64 9 y) b) z)
(fma.f64 x (*.f64 9 y) b)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (pow.f64 c -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) 2) (.f64 (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (pow.f64 c -1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c) 2)) (cbrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (.f64 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (pow.f64 c -1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (/.f64 1 (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 c -1) (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) 2) 1) (/.f64 (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) c))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) 1) (/.f64 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) c))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (cbrt.f64 (.f64 c c))) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (cbrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) 2) (cbrt.f64 (.f64 c c))) (cbrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (cbrt.f64 (.f64 c c))) (/.f64 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (cbrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 c)) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (sqrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) 2) (sqrt.f64 c)) (/.f64 (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (sqrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) 3) (pow.f64 c 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 x (.f64 9 y) b) (pow.f64 z -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (fma.f64 x (.f64 9 y) b) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (fma.f64 x (.f64 9 y) b) z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 x (.f64 9 y) b)) 2) (.f64 (cbrt.f64 (fma.f64 x (.f64 9 y) b)) (pow.f64 z -1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z) 2)) (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 x (.f64 9 y) b)) (.f64 (sqrt.f64 (fma.f64 x (.f64 9 y) b)) (pow.f64 z -1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)) (sqrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (fma.f64 x (.f64 9 y) b)) (/.f64 1 (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 z -1) (fma.f64 x (.f64 9 y) b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (.f64 9 y) b)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 x (.f64 9 y) b)) z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (fma.f64 x (.f64 9 y) b)) 1) (/.f64 (sqrt.f64 (fma.f64 x (.f64 9 y) b)) z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (cbrt.f64 (.f64 z z))) (/.f64 (fma.f64 x (.f64 9 y) b) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (.f64 9 y) b)) 2) (cbrt.f64 (.f64 z z))) (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (fma.f64 x (.f64 9 y) b)) (cbrt.f64 (.f64 z z))) (/.f64 (sqrt.f64 (fma.f64 x (.f64 9 y) b)) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (fma.f64 x (.f64 9 y) b) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (.f64 9 y) b)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (fma.f64 x (.f64 9 y) b)) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 z (fma.f64 x (.f64 9 y) b)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fma.f64 x (.f64 9 y) b) (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 x (.f64 9 y) b) 3) (pow.f64 z 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 b (.f64 x (.f64 9 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (.f64 9 y)) b)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x (.f64 9 y)) 1) b)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x (.f64 9 y) b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 x (.f64 9 y) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 x (.f64 9 y) b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 x (.f64 9 y) b)) (pow.f64 (cbrt.f64 (fma.f64 x (.f64 9 y) b)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 x (.f64 9 y) b)) 2) (cbrt.f64 (fma.f64 x (.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 x (.f64 9 y) b)) (sqrt.f64 (fma.f64 x (.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 x (.f64 9 y)) 3) (pow.f64 b 3)) (+.f64 (.f64 (.f64 x (.f64 9 y)) (.f64 x (.f64 9 y))) (-.f64 (.f64 b b) (.f64 (.f64 x (.f64 9 y)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 x (.f64 9 y)) (.f64 x (.f64 9 y))) (.f64 b b)) (-.f64 (.f64 x (.f64 9 y)) b))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x (.f64 9 y) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x (.f64 9 y) b) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x (.f64 9 y) b)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x (.f64 9 y) b)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x (.f64 9 y) b) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x (.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x (.f64 9 y) b))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x (.f64 9 y) b) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x (.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x (.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 x (.f64 9 y) b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x (*.f64 9 y) b)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (pow.f64 c -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 2) (*.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (pow.f64 c -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 2)) (cbrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (*.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (pow.f64 c -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)) (sqrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (/.f64 1 (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 c -1) (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 2) 1) (/.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 1) (/.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (*.f64 c c))) (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (cbrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 2) (cbrt.f64 (*.f64 c c))) (cbrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (cbrt.f64 (*.f64 c c))) (/.f64 (sqrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (cbrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 c)) (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (sqrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 2) (sqrt.f64 c)) (/.f64 (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (sqrt.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 c (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) 3) (pow.f64 c 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x (*.f64 9 y) b) (pow.f64 z -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (fma.f64 x (*.f64 9 y) b) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2) (*.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) (pow.f64 z -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 2)) (cbrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) (*.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) (pow.f64 z -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (sqrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fma.f64 x (*.f64 9 y) b)) (/.f64 1 (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 z -1) (fma.f64 x (*.f64 9 y) b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) 1) (/.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (*.f64 z z))) (/.f64 (fma.f64 x (*.f64 9 y) b) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2) (cbrt.f64 (*.f64 z z))) (cbrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) (cbrt.f64 (*.f64 z z))) (/.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (fma.f64 x (*.f64 9 y) b) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 z (fma.f64 x (*.f64 9 y) b)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 x (*.f64 9 y) b) 3) (pow.f64 z 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 b (*.f64 x (*.f64 9 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 9 y)) b)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (*.f64 9 y)) 1) b)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x (*.f64 9 y) b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x (*.f64 9 y) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x (*.f64 9 y) b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 2) (cbrt.f64 (fma.f64 x (*.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) (sqrt.f64 (fma.f64 x (*.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x (*.f64 9 y)) 3) (pow.f64 b 3)) (+.f64 (*.f64 (*.f64 x (*.f64 9 y)) (*.f64 x (*.f64 9 y))) (-.f64 (*.f64 b b) (*.f64 (*.f64 x (*.f64 9 y)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x (*.f64 9 y)) (*.f64 x (*.f64 9 y))) (*.f64 b b)) (-.f64 (*.f64 x (*.f64 9 y)) b))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x (*.f64 9 y) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x (*.f64 9 y) b) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x (*.f64 9 y) b)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x (*.f64 9 y) b)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x (*.f64 9 y) b) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x (*.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x (*.f64 9 y) b))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x (*.f64 9 y) b) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x (*.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x (*.f64 9 y) b)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 x (*.f64 9 y) b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x (*.f64 9 y) b)))))))

simplify112.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

240×	`fma-def_binary64`
124×	`associate-/l*_binary64`
72×	`associate-/r/_binary64`
50×	`associate-/l/_binary64`
44×	`associate-*l/_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	36	3155
1	79	3093
2	185	2961
3	430	2961
4	718	2961
5	865	2961
6	874	2961

Stop Event

1×

saturated

Counts

257 → 118

Calls

Call 1

Inputs
(/.f64 (+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z))) c)
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(.f64 -4 (/.f64 (.f64 a t) c))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(.f64 -4 (/.f64 (.f64 a t) c))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(/.f64 (+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z))) c)
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(.f64 -4 (/.f64 (.f64 a t) c))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(.f64 -4 (/.f64 (.f64 a t) c))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(/.f64 (+.f64 (/.f64 b z) (.f64 -4 (.f64 a t))) c)
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(/.f64 (+.f64 (/.f64 b z) (.f64 -4 (.f64 a t))) c)
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(/.f64 (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t))) c)
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(/.f64 b (*.f64 c z))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(/.f64 b (*.f64 c z))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) (*.f64 c z))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(.f64 -4 (/.f64 (.f64 a t) c))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(.f64 -4 (/.f64 (.f64 a t) c))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 b z)
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(.f64 9 (/.f64 (.f64 y x) z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(.f64 9 (/.f64 (.f64 y x) z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(/.f64 b z)
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(.f64 9 (/.f64 (.f64 y x) z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(.f64 9 (/.f64 (.f64 y x) z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(.f64 9 (/.f64 (.f64 y x) z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(/.f64 b z)
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(/.f64 b z)
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
b
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(.f64 9 (.f64 y x))
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(.f64 9 (.f64 y x))
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
b
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(.f64 9 (.f64 y x))
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(.f64 9 (.f64 y x))
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(.f64 9 (.f64 y x))
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
b
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
b
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(+.f64 (.f64 9 (.f64 y x)) b)

Outputs
(/.f64 (+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z))) c)
(/.f64 (fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z)) c)
(/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) c)
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(.f64 -4 (/.f64 (.f64 a t) c))
(*.f64 -4 (/.f64 a (/.f64 c t)))
(.f64 -4 (.f64 (/.f64 a c) t))
(.f64 -4 (.f64 t (/.f64 a c)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(.f64 -4 (/.f64 (.f64 a t) c))
(*.f64 -4 (/.f64 a (/.f64 c t)))
(.f64 -4 (.f64 (/.f64 a c) t))
(.f64 -4 (.f64 t (/.f64 a c)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(/.f64 (+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z))) c)
(/.f64 (fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z)) c)
(/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) c)
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(.f64 -4 (/.f64 (.f64 a t) c))
(*.f64 -4 (/.f64 a (/.f64 c t)))
(.f64 -4 (.f64 (/.f64 a c) t))
(.f64 -4 (.f64 t (/.f64 a c)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(.f64 -4 (/.f64 (.f64 a t) c))
(*.f64 -4 (/.f64 a (/.f64 c t)))
(.f64 -4 (.f64 (/.f64 a c) t))
(.f64 -4 (.f64 t (/.f64 a c)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(/.f64 (+.f64 (/.f64 b z) (.f64 -4 (.f64 a t))) c)
(/.f64 (fma.f64 -4 (*.f64 a t) (/.f64 b z)) c)
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
(.f64 9 (.f64 (/.f64 y c) (/.f64 x z)))
(.f64 9 (.f64 (/.f64 x c) (/.f64 y z)))
(.f64 9 (/.f64 y (/.f64 (.f64 z c) x)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
(.f64 9 (.f64 (/.f64 y c) (/.f64 x z)))
(.f64 9 (.f64 (/.f64 x c) (/.f64 y z)))
(.f64 9 (/.f64 y (/.f64 (.f64 z c) x)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(/.f64 (+.f64 (/.f64 b z) (.f64 -4 (.f64 a t))) c)
(/.f64 (fma.f64 -4 (*.f64 a t) (/.f64 b z)) c)
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
(.f64 9 (.f64 (/.f64 y c) (/.f64 x z)))
(.f64 9 (.f64 (/.f64 x c) (/.f64 y z)))
(.f64 9 (/.f64 y (/.f64 (.f64 z c) x)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
(.f64 9 (.f64 (/.f64 y c) (/.f64 x z)))
(.f64 9 (.f64 (/.f64 x c) (/.f64 y z)))
(.f64 9 (/.f64 y (/.f64 (.f64 z c) x)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(/.f64 (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t))) c)
(/.f64 (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t))) c)
(/.f64 (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t))) c)
(/.f64 (fma.f64 a (.f64 -4 t) (.f64 (/.f64 9 z) (*.f64 y x))) c)
(/.f64 (fma.f64 a (.f64 -4 t) (.f64 y (/.f64 x (/.f64 z 9)))) c)
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 z c))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 z c))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) (*.f64 c z))
(/.f64 (fma.f64 9 (.f64 y x) b) (.f64 z c))
(/.f64 (fma.f64 y (.f64 9 x) b) (.f64 z c))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(.f64 -4 (/.f64 (.f64 a t) c))
(*.f64 -4 (/.f64 a (/.f64 c t)))
(.f64 -4 (.f64 (/.f64 a c) t))
(.f64 -4 (.f64 t (/.f64 a c)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(.f64 -4 (/.f64 (.f64 a t) c))
(*.f64 -4 (/.f64 a (/.f64 c t)))
(.f64 -4 (.f64 (/.f64 a c) t))
(.f64 -4 (.f64 t (/.f64 a c)))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(+.f64 (/.f64 b (.f64 c z)) (+.f64 (.f64 -4 (/.f64 (.f64 a t) c)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 -4 (/.f64 a (/.f64 c t)) (.f64 9 (*.f64 (/.f64 y c) (/.f64 x z)))))
(+.f64 (/.f64 b (.f64 z c)) (fma.f64 9 (.f64 (/.f64 x c) (/.f64 y z)) (.f64 -4 (.f64 (/.f64 a c) t))))
(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 (+.f64 (/.f64 b z) (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (.f64 -4 (.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (/.f64 (.f64 y x) z) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (+.f64 (/.f64 b z) (fma.f64 9 (.f64 (/.f64 y z) x) (.f64 -4 (*.f64 a t)))) c)
(/.f64 (fma.f64 9 (.f64 y (/.f64 x z)) (fma.f64 -4 (.f64 a t) (/.f64 b z))) c)
(/.f64 b z)
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(.f64 9 (/.f64 (.f64 y x) z))
(.f64 9 (.f64 (/.f64 y z) x))
(.f64 (/.f64 9 z) (.f64 y x))
(*.f64 y (/.f64 x (/.f64 z 9)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(.f64 9 (/.f64 (.f64 y x) z))
(.f64 9 (.f64 (/.f64 y z) x))
(.f64 (/.f64 9 z) (.f64 y x))
(*.f64 y (/.f64 x (/.f64 z 9)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(/.f64 b z)
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(.f64 9 (/.f64 (.f64 y x) z))
(.f64 9 (.f64 (/.f64 y z) x))
(.f64 (/.f64 9 z) (.f64 y x))
(*.f64 y (/.f64 x (/.f64 z 9)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(.f64 9 (/.f64 (.f64 y x) z))
(.f64 9 (.f64 (/.f64 y z) x))
(.f64 (/.f64 9 z) (.f64 y x))
(*.f64 y (/.f64 x (/.f64 z 9)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(.f64 9 (/.f64 (.f64 y x) z))
(.f64 9 (.f64 (/.f64 y z) x))
(.f64 (/.f64 9 z) (.f64 y x))
(*.f64 y (/.f64 x (/.f64 z 9)))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(/.f64 b z)
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(/.f64 b z)
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(+.f64 (/.f64 b z) (.f64 9 (/.f64 (.f64 y x) z)))
(fma.f64 9 (*.f64 (/.f64 y z) x) (/.f64 b z))
(fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z))
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) z)
(/.f64 (fma.f64 9 (*.f64 y x) b) z)
(/.f64 (fma.f64 y (*.f64 9 x) b) z)
b
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(.f64 9 (.f64 y x))
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(.f64 9 (.f64 y x))
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
b
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(.f64 9 (.f64 y x))
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(.f64 9 (.f64 y x))
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(.f64 9 (.f64 y x))
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
b
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
b
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)
(+.f64 (.f64 9 (.f64 y x)) b)
(fma.f64 9 (*.f64 y x) b)
(fma.f64 y (*.f64 9 x) b)

prune220.0ms (3.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	106	12	118
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	106	14	120

Error

0.3b

Counts

120 → 14

Alt Table

Status	Error	Program
	14.0b	(pow.f64 (cbrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) 3)
	13.3b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (pow.f64 c -1))
▶	7.6b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
	38.4b	(/.f64 (fma.f64 t (.f64 a -4) (.f64 (/.f64 (sqrt.f64 (fma.f64 x (.f64 9 y) b)) 1) (/.f64 (sqrt.f64 (fma.f64 x (.f64 9 y) b)) z))) c)
	30.6b	(.f64 (/.f64 1 (cbrt.f64 (.f64 c c))) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (cbrt.f64 c)))
	37.4b	(.f64 -4 (/.f64 (.f64 a t) c))
	35.5b	(/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) c)
✓	13.2b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
	32.8b	(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) (*.f64 c z))
	28.0b	(/.f64 (fma.f64 a (.f64 -4 t) (.f64 y (/.f64 x (/.f64 z 9)))) c)
	22.2b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	48.2b	(.f64 9 (/.f64 y (/.f64 (.f64 z c) x)))
	13.2b	(/.f64 (fma.f64 t (.f64 a -4) (.f64 (fma.f64 x (*.f64 9 y) b) (pow.f64 z -1))) c)
	13.5b	(pow.f64 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) -1)

Compiler

Compiled 2947 to 1761 computations (40.2% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.9b	(/.f64 (*.f64 z c) x)
✓	4.2b	(/.f64 b (*.f64 z c))
✓	4.7b	(/.f64 y (/.f64 (*.f64 z c) x))
✓	4.9b	(*.f64 t (/.f64 a c))

series31.0ms (0.4%)

Counts

4 → 156

Calls

39 calls:

Time	Variable		Point	Expression
4.0ms	a	@	0	(*.f64 t (/.f64 a c))
3.0ms	z	@	-inf	(/.f64 b (*.f64 z c))
2.0ms	c	@	0	(*.f64 t (/.f64 a c))
1.0ms	y	@	0	(/.f64 y (/.f64 (*.f64 z c) x))
1.0ms	x	@	0	(/.f64 y (/.f64 (*.f64 z c) x))

rewrite75.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

289×	`log1p-udef_binary64`
159×	`*-un-lft-identity_binary64`
159×	`add-sqr-sqrt_binary64`
159×	`pow1_binary64`
146×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	31
1	304	31
2	4508	31

Stop Event

1×	node limit

Counts

4 → 151

Calls

Call 1

Inputs
(*.f64 t (/.f64 a c))
(/.f64 y (/.f64 (*.f64 z c) x))
(/.f64 b (*.f64 z c))
(/.f64 (*.f64 z c) x)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 t (/.f64 a c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 t (/.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 c (.f64 t a)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 t a) c)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 t a)) (neg.f64 c))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 t a) 1) c)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 t a) (cbrt.f64 (.f64 c c))) (cbrt.f64 c))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 t a) (sqrt.f64 c)) (sqrt.f64 c))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 a) t) (neg.f64 c))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 t (neg.f64 a)) (neg.f64 c))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 t (/.f64 a c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 t (/.f64 a c)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 t (/.f64 a c))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 t (/.f64 a c))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 t (/.f64 a c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 t) (/.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 t (/.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 t (/.f64 a c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 t 3) (pow.f64 (/.f64 a c) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (/.f64 a c) 3) (pow.f64 t 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 t (/.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 t (/.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 t (/.f64 a c))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 t (/.f64 a c))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 y (/.f64 x (.f64 c z))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 y (/.f64 x (.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (/.f64 y (.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y (/.f64 x (.f64 c z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 y (/.f64 x (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 y (/.f64 x (.f64 c z)))) (pow.f64 (cbrt.f64 (.f64 y (/.f64 x (.f64 c z)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 y (/.f64 x (.f64 c z)))) 2) (cbrt.f64 (.f64 y (/.f64 x (.f64 c z)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 y y)) (.f64 (cbrt.f64 y) (/.f64 x (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 y (/.f64 x (.f64 c z)))) (sqrt.f64 (.f64 y (/.f64 x (.f64 c z)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (/.f64 x (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 y) (/.f64 1 (/.f64 (.f64 c (neg.f64 z)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 x (.f64 c z)) y)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 1 z) c) (/.f64 y (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 y (.f64 c z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 y y)) (.f64 c z)) (/.f64 (cbrt.f64 y) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 y) (.f64 c z)) (/.f64 (sqrt.f64 y) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 y y)) 1) (/.f64 (cbrt.f64 y) (.f64 (/.f64 z x) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (.f64 (/.f64 z x) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 (/.f64 z x) c)) 2)) (/.f64 y (cbrt.f64 (.f64 (/.f64 z x) c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 y y)) (pow.f64 (cbrt.f64 (.f64 (/.f64 z x) c)) 2)) (cbrt.f64 (.f64 y (/.f64 x (.f64 c z)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (.f64 (/.f64 z x) c)) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (.f64 (/.f64 z x) c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 (.f64 (/.f64 z x) c))) (/.f64 y (sqrt.f64 (.f64 (/.f64 z x) c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 y y)) (sqrt.f64 (.f64 (/.f64 z x) c))) (/.f64 (cbrt.f64 y) (sqrt.f64 (.f64 (/.f64 z x) c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 y z) (/.f64 x c))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 y 1) (/.f64 x (.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 y (.f64 c (neg.f64 z))) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 y (.f64 c z)) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 y (.f64 c z)) (cbrt.f64 (.f64 x x))) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 y (.f64 c z)) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 y (/.f64 x (.f64 c z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 y (/.f64 x (.f64 c z))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 y (/.f64 x (.f64 c z)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 y (/.f64 x (.f64 c z)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (.f64 c z) (.f64 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 y (/.f64 (.f64 c (neg.f64 z)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 y (/.f64 x (.f64 c z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (/.f64 x (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 y (/.f64 x (.f64 c z))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 y (/.f64 x (.f64 c z))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (.f64 (/.f64 z x) c) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 y (/.f64 x (.f64 c z)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 y (/.f64 x (.f64 c z)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 y (/.f64 x (.f64 c z)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 y (/.f64 x (.f64 c z)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 b (.f64 c z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 b (/.f64 (/.f64 1 z) c))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 b (.f64 c z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 b (.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 b (.f64 c z))) (pow.f64 (cbrt.f64 (/.f64 b (.f64 c z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 b (.f64 c z))) 2) (cbrt.f64 (/.f64 b (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 b b)) (.f64 (cbrt.f64 b) (/.f64 (/.f64 1 z) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 b (.f64 c z))) (sqrt.f64 (/.f64 b (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) (/.f64 (/.f64 1 z) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 b) (/.f64 1 (.f64 c (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 1 z) c) b)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 c) (/.f64 b z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 b z) (/.f64 1 c))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 b b)) c) (/.f64 (cbrt.f64 b) z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 b) c) (/.f64 (sqrt.f64 b) z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 b) z) (/.f64 (sqrt.f64 b) c))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 z) (/.f64 b c))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 b b)) z) (/.f64 (cbrt.f64 b) c))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 b b)) 1) (/.f64 (cbrt.f64 b) (.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 b) 1) (/.f64 (sqrt.f64 b) (.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 c z)) 2)) (/.f64 b (cbrt.f64 (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 b b)) (pow.f64 (cbrt.f64 (.f64 c z)) 2)) (cbrt.f64 (/.f64 b (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 b) (pow.f64 (cbrt.f64 (.f64 c z)) 2)) (/.f64 (sqrt.f64 b) (cbrt.f64 (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 (.f64 c z))) (/.f64 b (sqrt.f64 (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 b b)) (sqrt.f64 (.f64 c z))) (/.f64 (cbrt.f64 b) (sqrt.f64 (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 b (.f64 c z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 b (.f64 c z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 b (.f64 c z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 b (.f64 c z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 c (/.f64 b z)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 b (.f64 c (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 b (.f64 c z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 b (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 b (.f64 c z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 b (.f64 c z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 b 3) (pow.f64 (.f64 c z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 b (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 b (.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 b (.f64 c z))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 b (*.f64 c z))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 z x) c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 c (.f64 z (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 z (/.f64 1 (/.f64 x c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 z (.f64 c (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 c z) (/.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 z x) c) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (/.f64 z x) c))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (/.f64 z x) c)) (pow.f64 (cbrt.f64 (.f64 (/.f64 z x) c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 z x) c)) 2) (cbrt.f64 (.f64 (/.f64 z x) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 c z)) 2) (.f64 (cbrt.f64 (.f64 c z)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 (/.f64 z x) c)) (sqrt.f64 (.f64 (/.f64 z x) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 c z)) (.f64 (sqrt.f64 (.f64 c z)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 c (neg.f64 z)) (/.f64 1 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 x) (.f64 c z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 c 1) (/.f64 z x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 z 1) (/.f64 c x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 c z)) 2) 1) (/.f64 (cbrt.f64 (.f64 c z)) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (.f64 c z)) 1) (/.f64 (sqrt.f64 (.f64 c z)) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 z x) c)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 c (cbrt.f64 (.f64 x x))) (/.f64 z (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 z (cbrt.f64 (.f64 x x))) (/.f64 c (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (cbrt.f64 (.f64 x x))) (/.f64 (.f64 c z) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 c z)) 2) (cbrt.f64 (.f64 x x))) (cbrt.f64 (.f64 (/.f64 z x) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (.f64 c z)) (cbrt.f64 (.f64 x x))) (/.f64 (sqrt.f64 (.f64 c z)) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 c (sqrt.f64 x)) (/.f64 z (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 z (sqrt.f64 x)) (/.f64 c (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (.f64 c z) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 c z)) 2) (sqrt.f64 x)) (/.f64 (cbrt.f64 (.f64 c z)) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (/.f64 z x) c) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (/.f64 z x) c) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (/.f64 z x) c)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (/.f64 z x) c)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (.f64 c z)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (.f64 c z) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (/.f64 z x) c) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (/.f64 z x) c)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (/.f64 z x) c))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (/.f64 z x) c) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (.f64 c z) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (/.f64 z x) c)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (/.f64 z x) c)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (/.f64 z x) c)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (/.f64 z x) c)))))))

simplify68.0ms (1%)

Algorithm

1×	egg-herbie

Rules

16×	`associate-/l*_binary64`
11×	`*-commutative_binary64`
11×	`associate-/r/_binary64`
8×	`associate-*r/_binary64`
8×	`associate-/r*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	1236
1	29	1236
2	56	1236
3	87	1236
4	100	1236
5	100	1236

Stop Event

1×

saturated

Counts

307 → 157

Calls

Call 1

Inputs
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 (.f64 y x) (.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)
(/.f64 (*.f64 c z) x)

Outputs
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(*.f64 (/.f64 a c) t)
(*.f64 t (/.f64 a c))
(*.f64 a (/.f64 t c))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 (.f64 y x) (.f64 c z))
(*.f64 (/.f64 y c) (/.f64 x z))
(.f64 x (/.f64 y (.f64 c z)))
(.f64 y (/.f64 x (.f64 c z)))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))
(/.f64 (*.f64 c z) x)
(/.f64 c (/.f64 x z))
(*.f64 (/.f64 c x) z)
(*.f64 z (/.f64 c x))
(*.f64 c (/.f64 z x))

prune285.0ms (4.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	150	7	157
Fresh	5	7	12
Picked	1	0	1
Done	0	1	1
Total	156	15	171

Error

0.0b

Counts

171 → 15

Alt Table

Status	Error	Program
	8.7b	(fma.f64 9 (/.f64 y (.f64 c (/.f64 z x))) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
	14.0b	(pow.f64 (cbrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) 3)
	7.8b	(fma.f64 9 (.f64 y (/.f64 x (.f64 c z))) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (.f64 z c))))
	35.5b	(/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) c)
	7.6b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (.f64 (neg.f64 b) (/.f64 1 (.f64 c (neg.f64 z))))))
	8.2b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 a (/.f64 t c)) (/.f64 b (*.f64 z c))))
	32.8b	(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) (*.f64 c z))
	9.5b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (*.f64 (/.f64 1 z) (/.f64 b c))))
	9.7b	(fma.f64 9 (.f64 x (/.f64 y (.f64 c z))) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (.f64 z c))))
	13.5b	(pow.f64 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) -1)
▶	7.5b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (/.f64 t (/.f64 c a)) (/.f64 b (.f64 z c))))
✓	13.2b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
	28.0b	(/.f64 (fma.f64 a (.f64 -4 t) (.f64 y (/.f64 x (/.f64 z 9)))) c)
	22.2b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	48.2b	(.f64 9 (/.f64 y (/.f64 (.f64 z c) x)))

Compiler

Compiled 4708 to 1674 computations (64.4% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.9b	(/.f64 (*.f64 z c) x)
	4.2b	(/.f64 b (*.f64 z c))
	4.7b	(/.f64 y (/.f64 (*.f64 z c) x))
✓	5.3b	(/.f64 t (/.f64 c a))

series2.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite42.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

780×	`pow1_binary64`
724×	`log1p-expm1-u_binary64`
724×	`expm1-log1p-u_binary64`
69×	`*-un-lft-identity_binary64`
69×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	131	7
2	1915	7

Stop Event

1×	node limit

Counts

1 → 43

Calls

Call 1

Inputs
(/.f64 t (/.f64 c a))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 t (/.f64 a c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 t (/.f64 a c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 a (/.f64 t c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 t (/.f64 a c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 t (/.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 t (/.f64 a c))) (cbrt.f64 (pow.f64 (*.f64 t (/.f64 a c)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 t (/.f64 a c)) 2)) (cbrt.f64 (*.f64 t (/.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 t) 2) (*.f64 (cbrt.f64 t) (/.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 t (/.f64 a c))) (sqrt.f64 (*.f64 t (/.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 t) (*.f64 (sqrt.f64 t) (/.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 t) (/.f64 1 (/.f64 (neg.f64 c) a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 a c) t)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 t c) a)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 c) (/.f64 t (/.f64 1 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) c) (/.f64 (cbrt.f64 t) (/.f64 1 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 t) c) (/.f64 (sqrt.f64 t) (/.f64 1 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) 1) (/.f64 (cbrt.f64 t) (/.f64 c a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 t) 1) (/.f64 (sqrt.f64 t) (/.f64 c a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 c a)) 2)) (/.f64 t (cbrt.f64 (/.f64 c a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) (pow.f64 (cbrt.f64 (/.f64 c a)) 2)) (cbrt.f64 (*.f64 t (/.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 t) (pow.f64 (cbrt.f64 (/.f64 c a)) 2)) (/.f64 (sqrt.f64 t) (cbrt.f64 (/.f64 c a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (/.f64 c a))) (/.f64 t (sqrt.f64 (/.f64 c a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 t) 2) (sqrt.f64 (/.f64 c a))) (/.f64 (cbrt.f64 t) (sqrt.f64 (/.f64 c a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 t 1) (/.f64 a c))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 t (neg.f64 c)) (neg.f64 a))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 t c) 1) a)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 t c) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 t c) (sqrt.f64 a)) (sqrt.f64 a))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 t (/.f64 a c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 t (/.f64 a c)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 t (/.f64 a c))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 t (/.f64 a c))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 c (*.f64 t a)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 t (/.f64 (neg.f64 c) a)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 t (/.f64 a c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 t) (/.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 t (/.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 t (/.f64 a c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 t 3) (pow.f64 (/.f64 c a) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 t (/.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 t (/.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 t (/.f64 a c))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 t (/.f64 a c))))))))

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
2×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	252
1	9	252
2	13	252
3	16	252
4	17	252

Stop Event

1×

saturated

Counts

79 → 44

Calls

Call 1

Inputs
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)
(/.f64 (*.f64 a t) c)

Outputs
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))
(/.f64 (*.f64 a t) c)
(/.f64 a (/.f64 c t))
(/.f64 t (/.f64 c a))
(*.f64 a (/.f64 t c))

prune281.0ms (4%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	175	0	175
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	175	15	190

Error

0.0b

Counts

190 → 15

Alt Table

Status	Error	Program
	8.7b	(fma.f64 9 (/.f64 y (.f64 c (/.f64 z x))) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
	14.0b	(pow.f64 (cbrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) 3)
	7.8b	(fma.f64 9 (.f64 y (/.f64 x (.f64 c z))) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (.f64 z c))))
	35.5b	(/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) c)
▶	7.6b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (.f64 (neg.f64 b) (/.f64 1 (.f64 c (neg.f64 z))))))
	8.2b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 a (/.f64 t c)) (/.f64 b (*.f64 z c))))
	32.8b	(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) (*.f64 c z))
	9.5b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (*.f64 (/.f64 1 z) (/.f64 b c))))
	9.7b	(fma.f64 9 (.f64 x (/.f64 y (.f64 c z))) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (.f64 z c))))
	13.5b	(pow.f64 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) -1)
✓	7.5b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (/.f64 t (/.f64 c a)) (/.f64 b (.f64 z c))))
✓	13.2b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
	28.0b	(/.f64 (fma.f64 a (.f64 -4 t) (.f64 y (/.f64 x (/.f64 z 9)))) c)
	22.2b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	48.2b	(.f64 9 (/.f64 y (/.f64 (.f64 z c) x)))

Compiler

Compiled 5186 to 1807 computations (65.2% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.9b	(/.f64 (*.f64 z c) x)
✓	4.1b	(.f64 (neg.f64 b) (/.f64 1 (.f64 c (neg.f64 z))))
	4.7b	(/.f64 y (/.f64 (*.f64 z c) x))
	4.9b	(*.f64 t (/.f64 a c))

series3.0ms (0%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	b	@	0	(.f64 (neg.f64 b) (/.f64 1 (.f64 c (neg.f64 z))))
0.0ms	z	@	inf	(.f64 (neg.f64 b) (/.f64 1 (.f64 c (neg.f64 z))))
0.0ms	c	@	-inf	(.f64 (neg.f64 b) (/.f64 1 (.f64 c (neg.f64 z))))
0.0ms	z	@	-inf	(.f64 (neg.f64 b) (/.f64 1 (.f64 c (neg.f64 z))))
0.0ms	b	@	-inf	(.f64 (neg.f64 b) (/.f64 1 (.f64 c (neg.f64 z))))

rewrite37.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

736×	`log1p-expm1-u_binary64`
736×	`expm1-log1p-u_binary64`
101×	`add-sqr-sqrt_binary64`
99×	`*-un-lft-identity_binary64`
99×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	11
1	207	7
2	2780	7

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

Inputs
(.f64 (neg.f64 b) (/.f64 1 (.f64 c (neg.f64 z))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 b (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 b (*.f64 c z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 0 (*.f64 c z)) (/.f64 b (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 b (*.f64 c z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 c z) b))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cbrt.f64 b) 2) (/.f64 (*.f64 c z) (cbrt.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 b) (/.f64 (*.f64 c z) (sqrt.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 (*.f64 c z) b))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 b z) c)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 b c) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 b (sqrt.f64 (*.f64 c z))) (sqrt.f64 (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 b 1) (*.f64 c z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 b (pow.f64 (cbrt.f64 (*.f64 c z)) 2)) (cbrt.f64 (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 c -1) b) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 b (pow.f64 c -1)) z)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 b (*.f64 c z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 b (*.f64 c z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 b (*.f64 c z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 b (*.f64 c z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 b (*.f64 c z)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 b (*.f64 c z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 b (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 b (*.f64 c z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 b (*.f64 c z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 b 3) (pow.f64 (*.f64 c z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 b 3) (pow.f64 (/.f64 (pow.f64 c -1) z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 (pow.f64 c -1) z) 3) (pow.f64 b 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 b (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 b (*.f64 c z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 b (*.f64 c z))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 b (*.f64 c z))))))))

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`associate-/r*_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	252
1	9	252
2	11	252

Stop Event

1×

saturated

Counts

67 → 31

Calls

Call 1

Inputs
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))
(/.f64 b (*.f64 c z))

Outputs
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)
(/.f64 b (*.f64 c z))
(/.f64 (/.f64 b c) z)

prune217.0ms (3.1%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	12	12
Picked	0	1	1
Done	0	2	2
Total	147	15	162

Error

0.0b

Counts

162 → 15

Alt Table

Status	Error	Program
	8.7b	(fma.f64 9 (/.f64 y (.f64 c (/.f64 z x))) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c))))
	14.0b	(pow.f64 (cbrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) 3)
	7.8b	(fma.f64 9 (.f64 y (/.f64 x (.f64 c z))) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (.f64 z c))))
	35.5b	(/.f64 (fma.f64 9 (*.f64 y (/.f64 x z)) (/.f64 b z)) c)
✓	7.6b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (.f64 (neg.f64 b) (/.f64 1 (.f64 c (neg.f64 z))))))
	8.2b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 a (/.f64 t c)) (/.f64 b (*.f64 z c))))
	32.8b	(/.f64 (+.f64 (.f64 9 (.f64 y x)) b) (*.f64 c z))
	9.5b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (.f64 t (/.f64 a c)) (*.f64 (/.f64 1 z) (/.f64 b c))))
	9.7b	(fma.f64 9 (.f64 x (/.f64 y (.f64 c z))) (fma.f64 -4 (.f64 t (/.f64 a c)) (/.f64 b (.f64 z c))))
	13.5b	(pow.f64 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) -1)
✓	7.5b	(fma.f64 9 (/.f64 y (/.f64 (.f64 z c) x)) (fma.f64 -4 (/.f64 t (/.f64 c a)) (/.f64 b (.f64 z c))))
✓	13.2b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
	28.0b	(/.f64 (fma.f64 a (.f64 -4 t) (.f64 y (/.f64 x (/.f64 z 9)))) c)
	22.2b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	48.2b	(.f64 9 (/.f64 y (/.f64 (.f64 z c) x)))

Compiler

Compiled 4515 to 1711 computations (62.1% saved)

regimes719.0ms (10.3%)

Accuracy

Total -48.8b remaining (-961%)

Threshold costs -48.8b (-961%)

Counts

42 → 4

Compiler

Compiled 923 to 486 computations (47.3% saved)

bsearch1.0ms (0%)

Algorithm

3×	left-value

Calls

3 calls:

0.0ms

(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c))

0.0ms

(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c))

0.0ms

(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c))

Steps

Iters	Point		Range
1e+272	∈ [	6.151844353475584e+271	,	4.1372621523561367e+278	]
2e-110	∈ [	1.5722408010516475e-110	,	3.892049458651715e-99	]
-0.002	∈ [	-0.003015765823017768	,	-3.5337874011760234e-9	]

Compiler

Compiled 36 to 27 computations (25% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
8×	`+-commutative_binary64`
7×	`sub-neg_binary64`
6×	`distribute-rgt-neg-in_binary64`
6×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	208
1	66	208
2	84	208
3	100	208
4	110	208
5	115	208
6	116	208

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) -36893488147419104/18446744073709551616) (fma.f64 9 (/.f64 y (/.f64 (*.f64 z c) x)) (fma.f64 -4 (/.f64 t (/.f64 c a)) (/.f64 b (*.f64 z c)))) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 3384606560206073/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536) (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 100000000000000006552261095746787856411749967010355244012076385661777528108930437151694716472838260680760238458487340241071121614642608687943103994317258797079104154646440083568631482671560875436423095301659220218514235305581886882057848563849292034690350260273827761094656) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) (fma.f64 9 (/.f64 y (*.f64 c (/.f64 z x))) (fma.f64 -4 (*.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c)))))))

Outputs

(if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) -36893488147419104/18446744073709551616) (fma.f64 9 (/.f64 y (/.f64 (*.f64 z c) x)) (fma.f64 -4 (/.f64 t (/.f64 c a)) (/.f64 b (*.f64 z c)))) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 3384606560206073/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536) (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 100000000000000006552261095746787856411749967010355244012076385661777528108930437151694716472838260680760238458487340241071121614642608687943103994317258797079104154646440083568631482671560875436423095301659220218514235305581886882057848563849292034690350260273827761094656) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) (fma.f64 9 (/.f64 y (*.f64 c (/.f64 z x))) (fma.f64 -4 (*.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c)))))))

(if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) -1152921504606847/576460752303423488) (fma.f64 9 (/.f64 y (/.f64 (*.f64 z c) x)) (fma.f64 -4 (/.f64 t (/.f64 c a)) (/.f64 b (*.f64 z c)))) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 3384606560206073/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536) (/.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c) (if (<=.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) 100000000000000006552261095746787856411749967010355244012076385661777528108930437151694716472838260680760238458487340241071121614642608687943103994317258797079104154646440083568631482671560875436423095301659220218514235305581886882057848563849292034690350260273827761094656) (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x 9) y) (*.f64 (*.f64 (*.f64 z 4) t) a)) b) (*.f64 z c)) (fma.f64 9 (/.f64 y (*.f64 c (/.f64 z x))) (fma.f64 -4 (*.f64 t (/.f64 a c)) (/.f64 b (*.f64 z c)))))))

end239.0ms (3.4%)

Stop Event

1×

fuel

Compiler

Compiled 1162 to 603 computations (48.1% saved)

Details

analyze2.1s (30%)

sample2.3s (32.4%)

preprocess48.0ms (0.7%)

simplify25.0ms (0.4%)

prune4.0ms (0.1%)

localize11.0ms (0.2%)

series30.0ms (0.4%)

rewrite96.0ms (1.4%)

simplify112.0ms (1.6%)

prune220.0ms (3.1%)

localize14.0ms (0.2%)

series31.0ms (0.4%)

rewrite75.0ms (1.1%)

simplify68.0ms (1%)

prune285.0ms (4.1%)

localize14.0ms (0.2%)

series2.0ms (0%)

rewrite42.0ms (0.6%)

simplify14.0ms (0.2%)

prune281.0ms (4%)

localize21.0ms (0.3%)

series3.0ms (0%)

rewrite37.0ms (0.5%)

simplify12.0ms (0.2%)

prune217.0ms (3.1%)

regimes719.0ms (10.3%)

bsearch1.0ms (0%)

simplify9.0ms (0.1%)

end239.0ms (3.4%)

Profiling