Details

analyze73.0ms (1.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
62.4%	37.5%	0.1%	4
68.7%	31.2%	0.1%	5
68.7%	18.7%	12.6%	6
68.7%	17.2%	14.1%	7
68.7%	10.1%	21.2%	8
68.7%	9%	22.3%	9
68.7%	5.3%	26%	10
68.7%	4.6%	26.7%	11
68.7%	2.7%	28.6%	12
68.7%	2.3%	29%	13
68.7%	1.4%	30%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.3s (35.6%)

Results

1.3s	8256×	body	128	valid
6.0ms	43×	body	128	invalid

Compiler

Compiled 22 to 14 computations (36.4% saved)

preprocess33.0ms (0.9%)

Algorithm

2×	egg-herbie

Rules

1×	`rules-21_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	10	26
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
(/.f64 (exp.f64 b) (+.f64 (exp.f64 b) (exp.f64 a)))

Outputs
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
(/.f64 (exp.f64 b) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 b) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 10 to 6 computations (40% saved)

simplify18.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1×	`rules-21_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Outputs
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.5b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 30 to 18 computations (40% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
✓	0.5b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

series61.0ms (1.6%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
10.0ms	b	@	inf	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
10.0ms	a	@	inf	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
10.0ms	b	@	-inf	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
9.0ms	a	@	-inf	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
9.0ms	b	@	0	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite89.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

765×	`rules-40_binary64`
765×	`rules-41_binary64`
765×	`rules-42_binary64`
765×	`rules-43_binary64`
708×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	21
1	159	21
2	2153	21

Stop Event

1×	node limit

Counts

2 → 73

Calls

Call 1

Inputs
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
(+.f64 (exp.f64 a) (exp.f64 b))

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

Outputs

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

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

simplify70.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

664×	`rules-13_binary64`
485×	`rules-14-rev_binary64`
377×	`rules-21_binary64`
366×	`rules-15-rev_binary64`
361×	`rules-20_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	103	1020
1	393	973
2	1929	973

Stop Event

1×	node limit

Counts

121 → 102

Calls

Call 1

Inputs
(/.f64 1 (+.f64 1 (exp.f64 b)))
(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (*.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1))))
(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1)))) (/.f64 a (*.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1)))))
(-.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 a 3) (+.f64 1 (exp.f64 b)))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (+.f64 (.f64 2 (/.f64 (pow.f64 a 3) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1)))) (+.f64 (/.f64 (pow.f64 a 3) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (+.f64 (/.f64 a (.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1))) (.f64 7/6 (/.f64 (pow.f64 a 3) (*.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1))))))))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a)))
(-.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (/.f64 (*.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))
(-.f64 (+.f64 (/.f64 (.f64 (pow.f64 b 2) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a)))) (+.f64 (.f64 1/2 (/.f64 (.f64 (exp.f64 a) (pow.f64 b 2)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (/.f64 (.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 (pow.f64 b 3) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (+.f64 (/.f64 (.f64 (pow.f64 b 2) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))))) (+.f64 (.f64 1/6 (/.f64 (.f64 (pow.f64 b 3) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (.f64 1/2 (/.f64 (.f64 (pow.f64 b 2) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (/.f64 (.f64 (pow.f64 b 3) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 4)) (/.f64 (.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))))))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(+.f64 (exp.f64 b) 1)
(+.f64 1 (+.f64 (exp.f64 b) a))
(+.f64 (*.f64 1/2 (pow.f64 a 2)) (+.f64 1 (+.f64 (exp.f64 b) a)))
(+.f64 (.f64 1/2 (pow.f64 a 2)) (+.f64 (.f64 1/6 (pow.f64 a 3)) (+.f64 1 (+.f64 (exp.f64 b) a))))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 1 (exp.f64 a))
(+.f64 1 (+.f64 b (exp.f64 a)))
(+.f64 1 (+.f64 b (+.f64 (*.f64 1/2 (pow.f64 b 2)) (exp.f64 a))))
(+.f64 1 (+.f64 b (+.f64 (.f64 1/2 (pow.f64 b 2)) (+.f64 (exp.f64 a) (.f64 1/6 (pow.f64 b 3))))))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))

Outputs
(/.f64 1 (+.f64 1 (exp.f64 b)))
(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (*.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1))))
(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1)))) (/.f64 a (*.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1)))))
(-.f64 (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (.f64 a a) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (-.f64 (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 1 (+.f64 1 (exp.f64 b)))))
(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (-.f64 (+.f64 (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 a 3) (+.f64 1 (exp.f64 b)))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (+.f64 (.f64 2 (/.f64 (pow.f64 a 3) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1)))) (+.f64 (/.f64 (pow.f64 a 3) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (+.f64 (/.f64 a (.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1))) (.f64 7/6 (/.f64 (pow.f64 a 3) (*.f64 (+.f64 1 (exp.f64 b)) (+.f64 (exp.f64 b) 1))))))))
(-.f64 (fma.f64 1/6 (/.f64 (pow.f64 a 3) (+.f64 1 (exp.f64 b))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (+.f64 (fma.f64 2 (/.f64 (pow.f64 a 3) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 (.f64 a a) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))))) (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (+.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (+.f64 (.f64 7/6 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 (pow.f64 a 3) (*.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))))
(-.f64 (fma.f64 1/6 (/.f64 (pow.f64 a 3) (+.f64 1 (exp.f64 b))) (+.f64 (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (fma.f64 2 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 1 (+.f64 1 (exp.f64 b)))))) (+.f64 (fma.f64 7/6 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 4)))))
(-.f64 (fma.f64 1/6 (/.f64 (pow.f64 a 3) (+.f64 1 (exp.f64 b))) (+.f64 (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (fma.f64 2 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 1 (+.f64 1 (exp.f64 b)))))) (+.f64 (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 7/6 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 4)))))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a)))
(-.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (/.f64 (*.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))
(-.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (*.f64 (exp.f64 a) (/.f64 b (pow.f64 (+.f64 1 (exp.f64 a)) 2))))
(-.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (*.f64 b (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 (pow.f64 b 2) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a)))) (+.f64 (.f64 1/2 (/.f64 (.f64 (exp.f64 a) (pow.f64 b 2)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (/.f64 (.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))))
(-.f64 (+.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (.f64 (.f64 b b) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 3)))) (fma.f64 1/2 (/.f64 (.f64 (exp.f64 a) (.f64 b b)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (/.f64 (*.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))))
(-.f64 (fma.f64 (.f64 b b) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a)))) (fma.f64 1/2 (/.f64 (.f64 (exp.f64 a) (.f64 b b)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (exp.f64 a) (/.f64 b (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))
(-.f64 (fma.f64 (.f64 b b) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a)))) (fma.f64 b (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 1/2 (.f64 (.f64 b b) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 2))))))
(-.f64 (+.f64 (/.f64 (.f64 (pow.f64 b 3) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (+.f64 (/.f64 (.f64 (pow.f64 b 2) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))))) (+.f64 (.f64 1/6 (/.f64 (.f64 (pow.f64 b 3) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (.f64 1/2 (/.f64 (.f64 (pow.f64 b 2) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (/.f64 (.f64 (pow.f64 b 3) (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 4)) (/.f64 (.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))))))
(-.f64 (+.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (+.f64 (.f64 (pow.f64 b 3) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 3))) (.f64 (.f64 b b) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 3))))) (fma.f64 1/6 (/.f64 (.f64 (exp.f64 a) (pow.f64 b 3)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (+.f64 (.f64 (pow.f64 b 3) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 4))) (fma.f64 1/2 (/.f64 (.f64 (exp.f64 a) (.f64 b b)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (/.f64 (.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))))))
(-.f64 (fma.f64 (pow.f64 b 3) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (fma.f64 (.f64 b b) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))))) (fma.f64 1/6 (/.f64 (.f64 (exp.f64 a) (pow.f64 b 3)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 b (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (/.f64 (.f64 (exp.f64 a) (.f64 b b)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (*.f64 (exp.f64 a) (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 4)))))))
(-.f64 (fma.f64 (pow.f64 b 3) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (fma.f64 (.f64 b b) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))))) (fma.f64 1/6 (/.f64 (.f64 (exp.f64 a) (pow.f64 b 3)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 b (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (.f64 b b) (/.f64 (exp.f64 a) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (*.f64 (exp.f64 a) (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 4)))))))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
(+.f64 (exp.f64 b) 1)
(+.f64 1 (exp.f64 b))
(+.f64 1 (+.f64 (exp.f64 b) a))
(+.f64 (*.f64 1/2 (pow.f64 a 2)) (+.f64 1 (+.f64 (exp.f64 b) a)))
(fma.f64 1/2 (*.f64 a a) (+.f64 1 (+.f64 (exp.f64 b) a)))
(+.f64 (.f64 1/2 (pow.f64 a 2)) (+.f64 (.f64 1/6 (pow.f64 a 3)) (+.f64 1 (+.f64 (exp.f64 b) a))))
(fma.f64 1/2 (*.f64 a a) (fma.f64 1/6 (pow.f64 a 3) (+.f64 1 (+.f64 (exp.f64 b) a))))
(fma.f64 1/2 (*.f64 a a) (+.f64 (+.f64 (exp.f64 b) a) (fma.f64 1/6 (pow.f64 a 3) 1)))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 1 (exp.f64 a))
(+.f64 1 (+.f64 b (exp.f64 a)))
(+.f64 1 (+.f64 b (+.f64 (*.f64 1/2 (pow.f64 b 2)) (exp.f64 a))))
(+.f64 1 (+.f64 b (fma.f64 1/2 (*.f64 b b) (exp.f64 a))))
(+.f64 1 (+.f64 b (+.f64 (.f64 1/2 (pow.f64 b 2)) (+.f64 (exp.f64 a) (.f64 1/6 (pow.f64 b 3))))))
(+.f64 (+.f64 (.f64 1/6 (pow.f64 b 3)) (fma.f64 1/2 (.f64 b b) (exp.f64 a))) (+.f64 1 b))
(+.f64 1 (+.f64 b (fma.f64 1/2 (*.f64 b b) (fma.f64 1/6 (pow.f64 b 3) (exp.f64 a)))))
(+.f64 (fma.f64 1/6 (pow.f64 b 3) (fma.f64 1/2 (*.f64 b b) (exp.f64 a))) (+.f64 1 b))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))

prune178.0ms (4.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	101	2	103

Error

Counts

103 → 2

Alt Table

Status	Error	Program
✓	0.5b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
▶	15.0b	(+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (-.f64 (+.f64 (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))

Status

Error

Program

✓

0.5b

(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

▶

15.0b

(+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (-.f64 (+.f64 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))

Compiler

Compiled 2076 to 948 computations (54.3% saved)

localize41.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
✓	0.0b	(+.f64 (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
✓	3.0b	(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
✓	7.6b	(-.f64 (+.f64 (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))

series632.0ms (16.7%)

Counts

4 → 96

Calls

24 calls:

Time	Variable		Point	Expression
78.0ms	b	@	-inf	(-.f64 (+.f64 (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
76.0ms	b	@	inf	(-.f64 (+.f64 (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
50.0ms	a	@	-inf	(-.f64 (+.f64 (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
43.0ms	a	@	inf	(-.f64 (+.f64 (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
39.0ms	b	@	inf	(fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))

rewrite92.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

236×	`add-sqr-sqrt_binary64`
229×	`pow1_binary64`
229×	`rules-40_binary64`
229×	`rules-41_binary64`
229×	`rules-42_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	152
1	557	152

Stop Event

1×	node limit

Counts

4 → 71

Calls

Call 1

Inputs
(-.f64 (+.f64 (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(+.f64 (.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))

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

simplify117.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

881×	`rules-13_binary64`
588×	`rules-20_binary64`
382×	`rules-15-rev_binary64`
379×	`rules-21_binary64`
233×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	135	3517
1	542	3431
2	2753	3431

Stop Event

1×	node limit

Counts

167 → 129

Calls

Call 1

Inputs
(*.f64 (-.f64 (/.f64 1 (+.f64 (exp.f64 b) 1)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) a)
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1))))) (+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1))))) (+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1))))) (+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(.f64 (-.f64 (+.f64 (/.f64 1 (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (.f64 1/2 (/.f64 1 (+.f64 (exp.f64 b) 1)))) (.f64 3/2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (pow.f64 a 2))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(.f64 (-.f64 (+.f64 (/.f64 1 (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (.f64 1/2 (/.f64 1 (+.f64 (exp.f64 b) 1)))) (.f64 3/2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (pow.f64 a 2))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(*.f64 1/4 a)
(+.f64 (.f64 1/4 a) (.f64 1/16 (*.f64 (pow.f64 a 2) b)))
(-.f64 (+.f64 (.f64 1/4 a) (.f64 1/16 (.f64 (pow.f64 a 2) b))) (.f64 1/16 (*.f64 a (pow.f64 b 2))))
(-.f64 (+.f64 (.f64 1/4 a) (.f64 1/16 (.f64 (pow.f64 a 2) b))) (+.f64 (.f64 1/48 (.f64 (pow.f64 a 2) (pow.f64 b 3))) (.f64 1/16 (*.f64 a (pow.f64 b 2)))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(*.f64 1/2 (pow.f64 a 2))
(-.f64 (.f64 1/2 (pow.f64 a 2)) (.f64 1/4 (*.f64 (pow.f64 a 2) b)))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 a 2)) (.f64 1/48 (.f64 (pow.f64 a 2) (pow.f64 b 3)))) (.f64 1/4 (*.f64 (pow.f64 a 2) b)))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 a 2)) (.f64 1/48 (.f64 (pow.f64 a 2) (pow.f64 b 3)))) (+.f64 (.f64 1/480 (.f64 (pow.f64 a 2) (pow.f64 b 5))) (.f64 1/4 (*.f64 (pow.f64 a 2) b))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 a (+.f64 1 (exp.f64 b)))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2)))))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (+.f64 1 (exp.f64 b)))) (/.f64 1 (*.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))) (pow.f64 a 2))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (+.f64 1 (exp.f64 b)))) (/.f64 1 (*.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))) (pow.f64 a 2))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(+.f64 (.f64 3/8 (pow.f64 a 2)) (.f64 1/2 a))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (.f64 1/2 a)) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 5/16 (.f64 (pow.f64 a 2) b))))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (.f64 3/32 (.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 5/16 (.f64 (pow.f64 a 2) b))))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (+.f64 (.f64 1/96 (.f64 (pow.f64 a 2) (pow.f64 b 3))) (+.f64 (.f64 1/2 a) (+.f64 (.f64 1/48 (.f64 a (pow.f64 b 3))) (.f64 3/32 (.f64 (pow.f64 a 2) (pow.f64 b 2))))))) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 5/16 (.f64 (pow.f64 a 2) b))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (.f64 3/8 (pow.f64 a 2)) (.f64 1/4 a))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (.f64 1/4 a)) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 3/8 (.f64 (pow.f64 a 2) b))))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (+.f64 (.f64 1/16 (.f64 a (pow.f64 b 2))) (+.f64 (.f64 1/4 a) (.f64 3/32 (.f64 (pow.f64 a 2) (pow.f64 b 2)))))) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 3/8 (.f64 (pow.f64 a 2) b))))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (+.f64 (.f64 1/32 (.f64 (pow.f64 a 2) (pow.f64 b 3))) (+.f64 (.f64 1/16 (.f64 a (pow.f64 b 2))) (+.f64 (.f64 1/4 a) (+.f64 (.f64 1/48 (.f64 a (pow.f64 b 3))) (.f64 3/32 (.f64 (pow.f64 a 2) (pow.f64 b 2)))))))) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 3/8 (.f64 (pow.f64 a 2) b))))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))

Outputs
(*.f64 (-.f64 (/.f64 1 (+.f64 (exp.f64 b) 1)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) a)
(*.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) a)
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1))))) (+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1))))) (+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1))))) (+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(.f64 (-.f64 (+.f64 (/.f64 1 (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (.f64 1/2 (/.f64 1 (+.f64 (exp.f64 b) 1)))) (.f64 3/2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (pow.f64 a 2))
(.f64 (.f64 a a) (-.f64 (/.f64 1/2 (+.f64 1 (exp.f64 b))) (-.f64 (/.f64 3/2 (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)))))
(.f64 (.f64 a a) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1/2 (+.f64 1 (exp.f64 b))) (/.f64 3/2 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(.f64 a (.f64 a (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1/2 (+.f64 1 (exp.f64 b))) (/.f64 3/2 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b)))))) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2))))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b)))))) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2))))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b)))))) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2))))))
(.f64 (-.f64 (+.f64 (/.f64 1 (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (.f64 1/2 (/.f64 1 (+.f64 (exp.f64 b) 1)))) (.f64 3/2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (pow.f64 a 2))
(.f64 (.f64 a a) (-.f64 (/.f64 1/2 (+.f64 1 (exp.f64 b))) (-.f64 (/.f64 3/2 (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)))))
(.f64 (.f64 a a) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1/2 (+.f64 1 (exp.f64 b))) (/.f64 3/2 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(.f64 a (.f64 a (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1/2 (+.f64 1 (exp.f64 b))) (/.f64 3/2 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b)))))) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2))))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b)))))) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2))))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 (exp.f64 b) 1)) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2))))) (+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b)))))) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2))))))
(*.f64 1/4 a)
(*.f64 a 1/4)
(+.f64 (.f64 1/4 a) (.f64 1/16 (*.f64 (pow.f64 a 2) b)))
(fma.f64 1/4 a (.f64 (.f64 a a) (*.f64 b 1/16)))
(fma.f64 a 1/4 (.f64 1/16 (.f64 a (*.f64 b a))))
(fma.f64 (.f64 a a) (.f64 b 1/16) (*.f64 a 1/4))
(-.f64 (+.f64 (.f64 1/4 a) (.f64 1/16 (.f64 (pow.f64 a 2) b))) (.f64 1/16 (*.f64 a (pow.f64 b 2))))
(-.f64 (fma.f64 1/4 a (.f64 (.f64 a a) (.f64 b 1/16))) (.f64 1/16 (.f64 a (.f64 b b))))
(.f64 1/16 (-.f64 (fma.f64 b (.f64 a a) (.f64 a 4)) (.f64 b (*.f64 b a))))
(-.f64 (+.f64 (.f64 1/4 a) (.f64 1/16 (.f64 (pow.f64 a 2) b))) (+.f64 (.f64 1/48 (.f64 (pow.f64 a 2) (pow.f64 b 3))) (.f64 1/16 (*.f64 a (pow.f64 b 2)))))
(-.f64 (fma.f64 1/4 a (.f64 (.f64 a a) (.f64 b 1/16))) (fma.f64 1/48 (.f64 (.f64 a a) (pow.f64 b 3)) (.f64 1/16 (.f64 a (.f64 b b)))))
(-.f64 (.f64 1/16 (-.f64 (fma.f64 b (.f64 a a) (.f64 a 4)) (.f64 b (.f64 b a)))) (.f64 (.f64 a a) (.f64 1/48 (pow.f64 b 3))))
(-.f64 (.f64 1/16 (-.f64 (fma.f64 b (.f64 a a) (.f64 a 4)) (.f64 b (.f64 b a)))) (.f64 (pow.f64 b 3) (.f64 a (.f64 a 1/48))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))) (fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(*.f64 1/2 (pow.f64 a 2))
(.f64 1/2 (.f64 a a))
(.f64 a (.f64 a 1/2))
(-.f64 (.f64 1/2 (pow.f64 a 2)) (.f64 1/4 (*.f64 (pow.f64 a 2) b)))
(-.f64 (.f64 1/2 (.f64 a a)) (.f64 b (.f64 1/4 (*.f64 a a))))
(.f64 (.f64 a a) (-.f64 1/2 (*.f64 b 1/4)))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 a 2)) (.f64 1/48 (.f64 (pow.f64 a 2) (pow.f64 b 3)))) (.f64 1/4 (*.f64 (pow.f64 a 2) b)))
(-.f64 (fma.f64 1/2 (.f64 a a) (.f64 (.f64 a a) (.f64 (pow.f64 b 3) 1/48))) (.f64 b (.f64 1/4 (*.f64 a a))))
(-.f64 (.f64 (.f64 a a) (+.f64 1/2 (.f64 1/48 (pow.f64 b 3)))) (.f64 1/4 (.f64 a (.f64 b a))))
(-.f64 (.f64 (.f64 a a) (+.f64 1/2 (.f64 1/48 (pow.f64 b 3)))) (.f64 b (.f64 a (.f64 a 1/4))))
(-.f64 (+.f64 (.f64 1/2 (pow.f64 a 2)) (.f64 1/48 (.f64 (pow.f64 a 2) (pow.f64 b 3)))) (+.f64 (.f64 1/480 (.f64 (pow.f64 a 2) (pow.f64 b 5))) (.f64 1/4 (*.f64 (pow.f64 a 2) b))))
(-.f64 (fma.f64 1/2 (.f64 a a) (.f64 (.f64 a a) (.f64 (pow.f64 b 3) 1/48))) (fma.f64 1/480 (.f64 (.f64 a a) (pow.f64 b 5)) (.f64 b (.f64 1/4 (*.f64 a a)))))
(-.f64 (.f64 (.f64 a a) (+.f64 1/2 (.f64 1/48 (pow.f64 b 3)))) (.f64 (.f64 a a) (+.f64 (.f64 1/480 (pow.f64 b 5)) (*.f64 b 1/4))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))
(/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b)))
(*.f64 a (/.f64 a (+.f64 1 (exp.f64 b))))
(/.f64 a (+.f64 1 (exp.f64 b)))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 (exp.f64 b) 1))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (+.f64 1 (exp.f64 b)) (pow.f64 (+.f64 (exp.f64 b) 1) 2)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (+.f64 1 (exp.f64 b)))) (/.f64 1 (*.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))) (pow.f64 a 2))
(.f64 (.f64 a a) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (/.f64 1/2 (+.f64 1 (exp.f64 b)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(.f64 (+.f64 (.f64 1/2 (/.f64 1 (+.f64 1 (exp.f64 b)))) (/.f64 1 (*.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))) (pow.f64 a 2))
(.f64 (.f64 a a) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (/.f64 1/2 (+.f64 1 (exp.f64 b)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 a 2) (.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) (+.f64 (exp.f64 b) 1)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (.f64 3/8 (pow.f64 a 2)) (.f64 1/2 a))
(fma.f64 3/8 (.f64 a a) (.f64 a 1/2))
(fma.f64 (.f64 a a) 3/8 (.f64 a 1/2))
(fma.f64 a 1/2 (.f64 (.f64 a a) 3/8))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (.f64 1/2 a)) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 5/16 (.f64 (pow.f64 a 2) b))))
(-.f64 (fma.f64 3/8 (.f64 a a) (.f64 a 1/2)) (fma.f64 1/4 (.f64 b a) (.f64 b (.f64 5/16 (.f64 a a)))))
(-.f64 (fma.f64 (.f64 a a) 3/8 (.f64 a 1/2)) (.f64 b (+.f64 (.f64 a 1/4) (.f64 a (.f64 5/16 a)))))
(-.f64 (fma.f64 a 1/2 (.f64 (.f64 a a) 3/8)) (.f64 b (+.f64 (.f64 a 1/4) (.f64 a (.f64 a 5/16)))))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (.f64 3/32 (.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 5/16 (.f64 (pow.f64 a 2) b))))
(-.f64 (fma.f64 3/8 (.f64 a a) (fma.f64 1/2 a (.f64 (.f64 a a) (.f64 (.f64 b b) 3/32)))) (fma.f64 1/4 (.f64 b a) (.f64 b (.f64 5/16 (*.f64 a a)))))
(-.f64 (fma.f64 a 1/2 (.f64 (.f64 a a) (+.f64 (.f64 (.f64 b b) 3/32) 3/8))) (.f64 b (+.f64 (.f64 a 1/4) (.f64 a (.f64 5/16 a)))))
(-.f64 (fma.f64 a 1/2 (.f64 (.f64 a a) (+.f64 3/8 (.f64 (.f64 b b) 3/32)))) (.f64 b (+.f64 (.f64 a 1/4) (.f64 a (.f64 a 5/16)))))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (+.f64 (.f64 1/96 (.f64 (pow.f64 a 2) (pow.f64 b 3))) (+.f64 (.f64 1/2 a) (+.f64 (.f64 1/48 (.f64 a (pow.f64 b 3))) (.f64 3/32 (.f64 (pow.f64 a 2) (pow.f64 b 2))))))) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 5/16 (.f64 (pow.f64 a 2) b))))
(-.f64 (fma.f64 3/8 (.f64 a a) (fma.f64 1/96 (.f64 (.f64 a a) (pow.f64 b 3)) (fma.f64 1/2 a (fma.f64 1/48 (.f64 a (pow.f64 b 3)) (.f64 (.f64 a a) (.f64 (.f64 b b) 3/32)))))) (fma.f64 1/4 (.f64 b a) (.f64 b (.f64 5/16 (.f64 a a)))))
(-.f64 (+.f64 (fma.f64 (.f64 a a) (.f64 (.f64 b b) 3/32) (.f64 a (+.f64 1/2 (.f64 1/48 (pow.f64 b 3))))) (.f64 (.f64 a a) (+.f64 3/8 (.f64 (pow.f64 b 3) 1/96)))) (.f64 b (+.f64 (.f64 a 1/4) (.f64 a (.f64 5/16 a)))))
(-.f64 (+.f64 (fma.f64 (.f64 a a) (.f64 (.f64 b b) 3/32) (.f64 a (+.f64 1/2 (.f64 1/48 (pow.f64 b 3))))) (.f64 (.f64 a a) (+.f64 3/8 (.f64 (pow.f64 b 3) 1/96)))) (.f64 b (+.f64 (.f64 a 1/4) (.f64 a (.f64 a 5/16)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (.f64 a (/.f64 a (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b)))))
(/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 (exp.f64 b) 1) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(*.f64 a (/.f64 a (/.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) 3/2)))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b))))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2)))))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b))))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2)))))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b))))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2)))))
(*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(*.f64 a (/.f64 a (/.f64 (pow.f64 (+.f64 1 (exp.f64 b)) 2) 3/2)))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b))))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2)))))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b))))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2)))))
(+.f64 (/.f64 a (+.f64 1 (+.f64 (.f64 2 (exp.f64 b)) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (/.f64 a (+.f64 1 (fma.f64 2 (exp.f64 b) (pow.f64 (exp.f64 b) 2)))) (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b))))))
(fma.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 (exp.f64 b) 2)))))
(+.f64 (.f64 3/8 (pow.f64 a 2)) (.f64 1/4 a))
(fma.f64 3/8 (.f64 a a) (.f64 a 1/4))
(fma.f64 (.f64 a a) 3/8 (.f64 a 1/4))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (.f64 1/4 a)) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 3/8 (.f64 (pow.f64 a 2) b))))
(-.f64 (fma.f64 3/8 (.f64 a a) (.f64 a 1/4)) (fma.f64 1/4 (.f64 b a) (.f64 (.f64 a a) (.f64 b 3/8))))
(-.f64 (fma.f64 (.f64 a a) 3/8 (.f64 a 1/4)) (.f64 b (fma.f64 (.f64 a a) 3/8 (*.f64 a 1/4))))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (+.f64 (.f64 1/16 (.f64 a (pow.f64 b 2))) (+.f64 (.f64 1/4 a) (.f64 3/32 (.f64 (pow.f64 a 2) (pow.f64 b 2)))))) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 3/8 (.f64 (pow.f64 a 2) b))))
(-.f64 (fma.f64 3/8 (.f64 a a) (fma.f64 1/16 (.f64 a (.f64 b b)) (fma.f64 1/4 a (.f64 (.f64 a a) (.f64 (.f64 b b) 3/32))))) (fma.f64 1/4 (.f64 b a) (.f64 (.f64 a a) (*.f64 b 3/8))))
(-.f64 (fma.f64 (.f64 a a) 3/8 (fma.f64 a 1/4 (.f64 (.f64 b b) (+.f64 (.f64 a (.f64 a 3/32)) (.f64 a 1/16))))) (.f64 b (fma.f64 (.f64 a a) 3/8 (*.f64 a 1/4))))
(-.f64 (fma.f64 (.f64 a a) 3/8 (fma.f64 a 1/4 (.f64 (.f64 b b) (+.f64 (.f64 a 1/16) (.f64 a (.f64 a 3/32)))))) (.f64 b (fma.f64 (.f64 a a) 3/8 (*.f64 a 1/4))))
(-.f64 (+.f64 (.f64 3/8 (pow.f64 a 2)) (+.f64 (.f64 1/32 (.f64 (pow.f64 a 2) (pow.f64 b 3))) (+.f64 (.f64 1/16 (.f64 a (pow.f64 b 2))) (+.f64 (.f64 1/4 a) (+.f64 (.f64 1/48 (.f64 a (pow.f64 b 3))) (.f64 3/32 (.f64 (pow.f64 a 2) (pow.f64 b 2)))))))) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 3/8 (.f64 (pow.f64 a 2) b))))
(-.f64 (fma.f64 3/8 (.f64 a a) (fma.f64 1/32 (.f64 (.f64 a a) (pow.f64 b 3)) (fma.f64 1/16 (.f64 a (.f64 b b)) (fma.f64 1/4 a (fma.f64 1/48 (.f64 a (pow.f64 b 3)) (.f64 (.f64 a a) (.f64 (.f64 b b) 3/32))))))) (fma.f64 1/4 (.f64 b a) (.f64 (.f64 a a) (.f64 b 3/8))))
(-.f64 (+.f64 (+.f64 (.f64 a (+.f64 1/4 (.f64 1/48 (pow.f64 b 3)))) (.f64 (.f64 b b) (+.f64 (.f64 a (.f64 a 3/32)) (.f64 a 1/16)))) (.f64 (.f64 a a) (+.f64 3/8 (.f64 (pow.f64 b 3) 1/32)))) (.f64 b (fma.f64 (.f64 a a) 3/8 (*.f64 a 1/4))))
(-.f64 (+.f64 (+.f64 (.f64 a (+.f64 1/4 (.f64 1/48 (pow.f64 b 3)))) (.f64 (.f64 b b) (+.f64 (.f64 a 1/16) (.f64 a (.f64 a 3/32))))) (.f64 (.f64 a a) (.f64 1/32 (+.f64 (pow.f64 b 3) 12)))) (.f64 b (fma.f64 (.f64 a a) 3/8 (*.f64 a 1/4))))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(+.f64 (*.f64 3/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
(fma.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))

prune388.0ms (10.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	129	2	131

Error

Counts

131 → 2

Alt Table

Status

Error

Program

✓

0.5b

(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

✓

15.0b

(+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (-.f64 (+.f64 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (fma.f64 1/2 (/.f64 (*.f64 a a) (+.f64 1 (exp.f64 b))) (/.f64 a (+.f64 1 (exp.f64 b))))) (fma.f64 3/2 (*.f64 a (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))

Compiler

Compiled 8687 to 5526 computations (36.4% saved)

regimes513.0ms (13.6%)

Accuracy

Total 0.3b remaining (38.8%)

Threshold costs 0.3b (38.8%)

Counts

50 → 1

Compiler

Compiled 8399 to 5659 computations (32.6% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	15

Stop Event

1×

saturated

Calls

Call 1

Inputs
(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))

Outputs
(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))

end118.0ms (3.1%)

Stop Event

1×

done

Compiler

Compiled 89 to 60 computations (32.6% saved)

Details

analyze73.0ms (1.9%)

sample1.3s (35.6%)

preprocess33.0ms (0.9%)

simplify18.0ms (0.5%)

prune2.0ms (0.1%)

localize9.0ms (0.2%)

series61.0ms (1.6%)

rewrite89.0ms (2.4%)

simplify70.0ms (1.9%)

prune178.0ms (4.7%)

localize41.0ms (1.1%)

series632.0ms (16.7%)

rewrite92.0ms (2.4%)

simplify117.0ms (3.1%)

prune388.0ms (10.3%)

regimes513.0ms (13.6%)

simplify2.0ms (0%)

end118.0ms (3.1%)

Profiling