Details

Time bar (total: 6.9s)

analyze1.1s (15.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%97.4%2.6%9
0%47.5%52.5%10
0%47.5%52.5%11
0%47.5%52.5%12
0%46.9%53.1%13
0%46.4%53.6%14
Compiler

Compiled 25 to 18 computations (28% saved)

sample5.3s (76.8%)

Results
3.3s17646×body128invalid
1.4s7624×body128valid
147.0ms276×body512valid
93.0ms102×body1024valid
86.0ms254×body256valid
75.0ms152×body512invalid
59.0ms69×body1024invalid
55.0ms142×body256invalid
Compiler

Compiled 50 to 36 computations (28% saved)

preprocess33.0ms (0.5%)

Algorithm
2×egg-herbie
Rules
580×fma-def_binary64
350×associate-*r*_binary64
332×associate-*l*_binary64
220×exp-sum_binary64
182×associate-+l+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0120416
1270400
2647400
31803400
066
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
2
3
4
5
Outputs
0
1
2
3
4
5
Call 2
Inputs
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 y (exp.f64 (+.f64 (*.f64 x (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 z (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 x) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 x)) b)))))
(*.f64 t (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) x)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 a (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 x (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 b (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) x)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 z (-.f64 (log.f64 y) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 y)) b)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 t (-.f64 (log.f64 z) y)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 a (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 b (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) y)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 t) z)) (*.f64 a (-.f64 (log.f64 (-.f64 1 t)) b)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 a) t)) (*.f64 z (-.f64 (log.f64 (-.f64 1 a)) b)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 b) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 b)) z)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) a)) (*.f64 t (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) b)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) t)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 b (-.f64 (log.f64 (-.f64 1 z)) a)))))
Outputs
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))))
(*.f64 y (exp.f64 (+.f64 (*.f64 x (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 y (exp.f64 (fma.f64 x (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 y (exp.f64 (fma.f64 x (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))
(*.f64 z (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 x) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 x)) b)))))
(*.f64 z (exp.f64 (fma.f64 y (-.f64 (log.f64 x) t) (*.f64 a (-.f64 (log.f64 (-.f64 1 x)) b)))))
(*.f64 z (exp.f64 (fma.f64 y (-.f64 (log.f64 x) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 x)) b)))))
(*.f64 z (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 x)) b) (*.f64 y (-.f64 (log.f64 x) t)))))
(*.f64 t (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) x)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 t (exp.f64 (fma.f64 y (-.f64 (log.f64 z) x) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 t (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) x)))))
(*.f64 t (exp.f64 (fma.f64 y (-.f64 (log.f64 z) x) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))
(*.f64 a (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 x (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 a (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 x (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 a (exp.f64 (fma.f64 x (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))))
(*.f64 b (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) x)))))
(*.f64 b (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) x)))))
(*.f64 b (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) x)))))
(*.f64 b (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) x) (*.f64 y (-.f64 (log.f64 z) t)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 z (-.f64 (log.f64 y) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 y)) b)))))
(*.f64 x (exp.f64 (fma.f64 z (-.f64 (log.f64 y) t) (*.f64 a (-.f64 (log.f64 (-.f64 1 y)) b)))))
(*.f64 x (exp.f64 (fma.f64 z (-.f64 (log.f64 y) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 y)) b)))))
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 y)) b) (*.f64 z (-.f64 (log.f64 y) t)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 t (-.f64 (log.f64 z) y)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 t (-.f64 (log.f64 z) y) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 t (-.f64 (log.f64 z) y)))))
(*.f64 x (exp.f64 (fma.f64 t (-.f64 (log.f64 z) y) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 a (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log.f64 z) t) (*.f64 y (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 (-.f64 (log.f64 z) t) a))))
(*.f64 x (exp.f64 (+.f64 (*.f64 b (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) y)))))
(*.f64 x (exp.f64 (fma.f64 b (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) y)))))
(*.f64 x (exp.f64 (fma.f64 (-.f64 (log.f64 z) t) b (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) y)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 t) z)) (*.f64 a (-.f64 (log.f64 (-.f64 1 t)) b)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 t) z) (*.f64 a (-.f64 (log.f64 (-.f64 1 t)) b)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 t) z) (*.f64 a (-.f64 (log1p.f64 (neg.f64 t)) b)))))
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 t)) b) (*.f64 y (-.f64 (log.f64 t) z)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 a) t)) (*.f64 z (-.f64 (log.f64 (-.f64 1 a)) b)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 a) t) (*.f64 z (-.f64 (log.f64 (-.f64 1 a)) b)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 a) t) (*.f64 z (-.f64 (log1p.f64 (neg.f64 a)) b)))))
(*.f64 x (exp.f64 (fma.f64 z (-.f64 (log1p.f64 (neg.f64 a)) b) (*.f64 y (-.f64 (log.f64 a) t)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 b) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 b)) z)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 b) t) (*.f64 a (-.f64 (log.f64 (-.f64 1 b)) z)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 b) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 b)) z)))))
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 b)) z) (*.f64 y (-.f64 (log.f64 b) t)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) a)) (*.f64 t (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) a) (*.f64 t (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) a) (*.f64 t (-.f64 (log1p.f64 (neg.f64 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 t (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) a)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) b)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) t)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) b) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) t)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) b) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) t)))))
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) t) (*.f64 y (-.f64 (log.f64 z) b)))))
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 b (-.f64 (log.f64 (-.f64 1 z)) a)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 b (-.f64 (log.f64 (-.f64 1 z)) a)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 b (-.f64 (log1p.f64 (neg.f64 z)) a)))))
(*.f64 x (exp.f64 (fma.f64 b (-.f64 (log1p.f64 (neg.f64 z)) a) (*.f64 y (-.f64 (log.f64 z) t)))))
Compiler

Compiled 24 to 17 computations (29.2% saved)

simplify28.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
456×unswap-sqr_binary64
361×fma-def_binary64
317×*-commutative_binary64
176×associate-*l*_binary64
175×exp-sum_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01826
13425
27325
318025
447225
5154825
6380225
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
Outputs
(*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))))

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0b
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))))
Compiler

Compiled 84 to 53 computations (36.9% saved)

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (log.f64 z) t)
✓0.0b
(fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))
✓0.1b
(*.f64 y (-.f64 (log.f64 z) t))

series100.0ms (1.4%)

Counts
3 → 107
Calls

30 calls:

TimeVariablePointExpression
29.0ms
y
@0
(*.f64 y (-.f64 (log.f64 z) t))
19.0ms
z
@-inf
(*.f64 y (-.f64 (log.f64 z) t))
19.0ms
z
@0
(*.f64 y (-.f64 (log.f64 z) t))
6.0ms
z
@inf
(*.f64 y (-.f64 (log.f64 z) t))
6.0ms
a
@0
(fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))

rewrite56.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
394×fma-def_binary64
245×expm1-udef_binary64
245×log1p-udef_binary64
201×fma-neg_binary64
148×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01335
127733
2379033
Stop Event
1×node limit
Counts
3 → 122
Calls
Call 1
Inputs
(*.f64 y (-.f64 (log.f64 z) t))
(fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))
(-.f64 (log.f64 z) t)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (log.f64 z) y) (*.f64 (neg.f64 t) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (log.f64 z)) (*.f64 y (neg.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 y (-.f64 (log.f64 z) t)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3)) y) (fma.f64 t (+.f64 (log.f64 z) t) (pow.f64 (log.f64 z) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 (log.f64 z) 2) (*.f64 t t)) y) (+.f64 (log.f64 z) t))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))) (fma.f64 t (+.f64 (log.f64 z) t) (pow.f64 (log.f64 z) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (-.f64 (pow.f64 (log.f64 z) 2) (*.f64 t t))) (+.f64 (log.f64 z) t))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y (-.f64 (log.f64 z) t))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (/.f64 z (exp.f64 t)) y))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 y (-.f64 (log.f64 z) t)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (-.f64 (log.f64 z) t) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (-.f64 (log.f64 z) t) 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (-.f64 (log.f64 z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (log.f64 z) (*.f64 y (neg.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (log.f64 z) y (*.f64 (neg.f64 t) y))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (-.f64 (log.f64 z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (-.f64 (log.f64 z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 y (-.f64 (log.f64 z) t))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log1p.f64 z) b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 a (-.f64 (log1p.f64 z) b)) (*.f64 y (-.f64 (log.f64 z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 a (-.f64 (log1p.f64 z) b)) 1) (*.f64 y (-.f64 (log.f64 z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))) (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))) 2) (cbrt.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))) (sqrt.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 a (-.f64 (log1p.f64 z) b)) 3) (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 3)) (fma.f64 (*.f64 a (-.f64 (log1p.f64 z) b)) (*.f64 a (-.f64 (log1p.f64 z) b)) (-.f64 (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 2) (*.f64 (*.f64 a (-.f64 (log1p.f64 z) b)) (*.f64 y (-.f64 (log.f64 z) t))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 a (-.f64 (log1p.f64 z) b)) (*.f64 a (-.f64 (log1p.f64 z) b))) (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 2)) (-.f64 (*.f64 a (-.f64 (log1p.f64 z) b)) (*.f64 y (-.f64 (log.f64 z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 z) (neg.f64 t))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 z) (*.f64 (neg.f64 t) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log.f64 z) t) (fma.f64 (neg.f64 t) 1 t))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log.f64 z) t) (fma.f64 (neg.f64 (cbrt.f64 t)) (pow.f64 (cbrt.f64 t) 2) t))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log.f64 z) t) (+.f64 (neg.f64 t) t))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 t) (log.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (log.f64 z) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (log.f64 z) t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) (pow.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) 2) (cbrt.f64 (-.f64 (log.f64 z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (log.f64 z) t)) (sqrt.f64 (-.f64 (log.f64 z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3)) (/.f64 1 (fma.f64 t (+.f64 (log.f64 z) t) (pow.f64 (log.f64 z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (log.f64 z) 2) (*.f64 t t)) (/.f64 1 (+.f64 (log.f64 z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)) (-.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 t (+.f64 (log.f64 z) t) (pow.f64 (log.f64 z) 2)) (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (log.f64 z) t) (-.f64 (pow.f64 (log.f64 z) 2) (*.f64 t t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3)) (fma.f64 t (+.f64 (log.f64 z) t) (pow.f64 (log.f64 z) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log.f64 z) 2) (*.f64 t t)) (+.f64 (log.f64 z) t))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))) (neg.f64 (fma.f64 t (+.f64 (log.f64 z) t) (pow.f64 (log.f64 z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (log.f64 z) 2) (*.f64 t t))) (neg.f64 (+.f64 (log.f64 z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (log.f64 z) 3) (pow.f64 (neg.f64 t) 3)) (+.f64 (pow.f64 (log.f64 z) 2) (-.f64 (*.f64 (neg.f64 t) (neg.f64 t)) (*.f64 (log.f64 z) (neg.f64 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log.f64 z) 2) (*.f64 (neg.f64 t) (neg.f64 t))) (-.f64 (log.f64 z) (neg.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (log.f64 z) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (log.f64 z) t) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (log.f64 z) t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (log.f64 z) t) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 z (exp.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (log.f64 z) t))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (log.f64 z) t) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (log.f64 z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (log.f64 z) 1 (neg.f64 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (log.f64 z) 1 (*.f64 (neg.f64 t) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (log.f64 z) t) 1 (fma.f64 (neg.f64 t) 1 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (log.f64 z) t) 1 (fma.f64 (neg.f64 (cbrt.f64 t)) (pow.f64 (cbrt.f64 t) 2) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (log.f64 z) t) 1 (+.f64 (neg.f64 t) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (log.f64 z) (neg.f64 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (log.f64 z) (*.f64 (neg.f64 t) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (log.f64 z) t) (fma.f64 (neg.f64 t) 1 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (log.f64 z) t) (fma.f64 (neg.f64 (cbrt.f64 t)) (pow.f64 (cbrt.f64 t) 2) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (log.f64 z) t) (+.f64 (neg.f64 t) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (neg.f64 t) (log.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 t) 2) (neg.f64 (cbrt.f64 t)) (log.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) (pow.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) 2) (fma.f64 (neg.f64 t) 1 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) (pow.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) 2) (fma.f64 (neg.f64 (cbrt.f64 t)) (pow.f64 (cbrt.f64 t) 2) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) (pow.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) 2) (+.f64 (neg.f64 t) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) 2) (cbrt.f64 (-.f64 (log.f64 z) t)) (fma.f64 (neg.f64 t) 1 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) 2) (cbrt.f64 (-.f64 (log.f64 z) t)) (fma.f64 (neg.f64 (cbrt.f64 t)) (pow.f64 (cbrt.f64 t) 2) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) 2) (cbrt.f64 (-.f64 (log.f64 z) t)) (+.f64 (neg.f64 t) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (log.f64 z)) (cbrt.f64 (pow.f64 (log.f64 z) 2)) (neg.f64 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (log.f64 z)) (cbrt.f64 (pow.f64 (log.f64 z) 2)) (*.f64 (neg.f64 t) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (log.f64 z) 2)) (cbrt.f64 (log.f64 z)) (neg.f64 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (log.f64 z) 2)) (cbrt.f64 (log.f64 z)) (*.f64 (neg.f64 t) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 t) (neg.f64 (sqrt.f64 t)) (log.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (log.f64 z) t)) (sqrt.f64 (-.f64 (log.f64 z) t)) (fma.f64 (neg.f64 t) 1 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (log.f64 z) t)) (sqrt.f64 (-.f64 (log.f64 z) t)) (fma.f64 (neg.f64 (cbrt.f64 t)) (pow.f64 (cbrt.f64 t) 2) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (log.f64 z) t)) (sqrt.f64 (-.f64 (log.f64 z) t)) (+.f64 (neg.f64 t) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 (log.f64 z)) (neg.f64 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 (log.f64 z)) (*.f64 (neg.f64 t) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3)) (/.f64 1 (fma.f64 t (+.f64 (log.f64 z) t) (pow.f64 (log.f64 z) 2))) (fma.f64 (neg.f64 t) 1 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3)) (/.f64 1 (fma.f64 t (+.f64 (log.f64 z) t) (pow.f64 (log.f64 z) 2))) (fma.f64 (neg.f64 (cbrt.f64 t)) (pow.f64 (cbrt.f64 t) 2) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3)) (/.f64 1 (fma.f64 t (+.f64 (log.f64 z) t) (pow.f64 (log.f64 z) 2))) (+.f64 (neg.f64 t) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 t (log.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (log.f64 z) 2) (*.f64 t t)) (/.f64 1 (+.f64 (log.f64 z) t)) (fma.f64 (neg.f64 t) 1 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (log.f64 z) 2) (*.f64 t t)) (/.f64 1 (+.f64 (log.f64 z) t)) (fma.f64 (neg.f64 (cbrt.f64 t)) (pow.f64 (cbrt.f64 t) 2) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (log.f64 z) 2) (*.f64 t t)) (/.f64 1 (+.f64 (log.f64 z) t)) (+.f64 (neg.f64 t) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (neg.f64 t)) (cbrt.f64 (neg.f64 t))) (cbrt.f64 (neg.f64 t)) (log.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (neg.f64 t)) (sqrt.f64 (neg.f64 t)) (log.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (sqrt.f64 t)) (sqrt.f64 t) (log.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)) (-.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)) (fma.f64 (neg.f64 t) 1 t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)) (-.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)) (fma.f64 (neg.f64 (cbrt.f64 t)) (pow.f64 (cbrt.f64 t) 2) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)) (-.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)) (+.f64 (neg.f64 t) t))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (pow.f64 (cbrt.f64 t) 2)) (cbrt.f64 t) (log.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (log.f64 z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (log.f64 z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (-.f64 (log.f64 z) t)) 1))))))

simplify47.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
713×associate-+l+_binary64
580×fma-def_binary64
555×associate--r+_binary64
298×distribute-neg-in_binary64
169×sub-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01271882
14241793
213071694
Stop Event
1×node limit
Counts
229 → 172
Calls
Call 1
Inputs
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 -1 (*.f64 (+.f64 (log.f64 (/.f64 1 z)) t) y))
(*.f64 -1 (*.f64 (+.f64 (log.f64 (/.f64 1 z)) t) y))
(*.f64 -1 (*.f64 (+.f64 (log.f64 (/.f64 1 z)) t) y))
(*.f64 -1 (*.f64 (+.f64 (log.f64 (/.f64 1 z)) t) y))
(*.f64 y (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t)))
(*.f64 y (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t)))
(*.f64 y (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t)))
(*.f64 y (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t)))
(*.f64 (log.f64 z) y)
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 -1 (*.f64 y t))
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 -1 (*.f64 y t))
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(*.f64 (-.f64 (log.f64 (-.f64 1 z)) b) a)
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(*.f64 -1 (*.f64 a (-.f64 b (log.f64 (-.f64 1 z)))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (*.f64 (log.f64 z) y) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (*.f64 (log.f64 z) y) (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (*.f64 y t))))
(-.f64 (*.f64 (log.f64 z) y) (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (+.f64 (*.f64 y t) (*.f64 1/2 (*.f64 a (pow.f64 z 2)))))))
(-.f64 (*.f64 (log.f64 z) y) (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (+.f64 (*.f64 y t) (+.f64 (*.f64 1/3 (*.f64 a (pow.f64 z 3))) (*.f64 1/2 (*.f64 a (pow.f64 z 2))))))))
(-.f64 (*.f64 a (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (*.f64 (log.f64 (/.f64 1 z)) y) (+.f64 (*.f64 y t) (*.f64 (log.f64 (/.f64 1 z)) a)))))
(-.f64 (*.f64 a (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (*.f64 (log.f64 (/.f64 1 z)) y) (+.f64 (/.f64 a z) (+.f64 (*.f64 y t) (*.f64 (log.f64 (/.f64 1 z)) a))))))
(-.f64 (*.f64 a (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (*.f64 (log.f64 (/.f64 1 z)) y) (+.f64 (/.f64 a z) (+.f64 (*.f64 y t) (+.f64 (*.f64 1/2 (/.f64 a (pow.f64 z 2))) (*.f64 (log.f64 (/.f64 1 z)) a)))))))
(-.f64 (*.f64 a (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (*.f64 (log.f64 (/.f64 1 z)) y) (+.f64 (/.f64 a z) (+.f64 (*.f64 y t) (+.f64 (*.f64 1/2 (/.f64 a (pow.f64 z 2))) (+.f64 (*.f64 1/3 (/.f64 a (pow.f64 z 3))) (*.f64 (log.f64 (/.f64 1 z)) a))))))))
(-.f64 (*.f64 y (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (*.f64 y (log.f64 (/.f64 -1 z))) (+.f64 (*.f64 y t) (*.f64 a (log.f64 (/.f64 -1 z)))))))
(-.f64 (*.f64 y (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (/.f64 a z) (+.f64 (*.f64 (log.f64 (/.f64 -1 z)) a) (+.f64 (*.f64 y t) (*.f64 (log.f64 (/.f64 -1 z)) y))))))
(-.f64 (*.f64 y (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (/.f64 a z) (+.f64 (*.f64 (log.f64 (/.f64 -1 z)) a) (+.f64 (*.f64 y t) (+.f64 (*.f64 1/2 (/.f64 a (pow.f64 z 2))) (*.f64 (log.f64 (/.f64 -1 z)) y)))))))
(-.f64 (*.f64 y (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (/.f64 a z) (+.f64 (*.f64 (log.f64 (/.f64 -1 z)) a) (+.f64 (*.f64 y t) (+.f64 (*.f64 1/2 (/.f64 a (pow.f64 z 2))) (+.f64 (*.f64 1/3 (/.f64 a (pow.f64 z 3))) (*.f64 (log.f64 (/.f64 -1 z)) y))))))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (*.f64 y t))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(*.f64 -1 (*.f64 a b))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(*.f64 -1 (*.f64 a b))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (*.f64 a (log.f64 (-.f64 1 z))) (*.f64 a b))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(*.f64 (-.f64 (log.f64 z) t) y)
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(*.f64 -1 (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (*.f64 a b))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(*.f64 -1 (*.f64 y t))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(*.f64 -1 (*.f64 y t))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(*.f64 -1 (+.f64 (log.f64 (/.f64 1 z)) t))
(*.f64 -1 (+.f64 (log.f64 (/.f64 1 z)) t))
(*.f64 -1 (+.f64 (log.f64 (/.f64 1 z)) t))
(*.f64 -1 (+.f64 (log.f64 (/.f64 1 z)) t))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t))
(log.f64 z)
(*.f64 -1 t)
(*.f64 -1 t)
Outputs
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 -1 (*.f64 (+.f64 (log.f64 (/.f64 1 z)) t) y))
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 -1 (*.f64 (+.f64 (log.f64 (/.f64 1 z)) t) y))
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 -1 (*.f64 (+.f64 (log.f64 (/.f64 1 z)) t) y))
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 -1 (*.f64 (+.f64 (log.f64 (/.f64 1 z)) t) y))
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 y (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t)))
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 y (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t)))
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 y (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t)))
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 y (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t)))
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 (log.f64 z) y)
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 (-.f64 (log.f64 z) t) y)
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 (-.f64 (log.f64 z) t) y)
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 -1 (*.f64 y t))
(neg.f64 (*.f64 t y))
(*.f64 t (neg.f64 y))
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 (-.f64 (log.f64 z) t) y)
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 (-.f64 (log.f64 z) t) y)
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 (-.f64 (log.f64 z) t) y)
(*.f64 -1 (*.f64 y t))
(neg.f64 (*.f64 t y))
(*.f64 t (neg.f64 y))
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 (-.f64 (log.f64 z) t) y)
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 (-.f64 (log.f64 z) t) y)
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 (-.f64 (log.f64 z) t) y)
(-.f64 (*.f64 (log.f64 z) y) (*.f64 y t))
(*.f64 (-.f64 (log.f64 z) t) y)
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(*.f64 (-.f64 (log.f64 (-.f64 1 z)) b) a)
(*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
(*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(*.f64 -1 (*.f64 a (-.f64 b (log.f64 (-.f64 1 z)))))
(*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
(*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (*.f64 (log.f64 z) y) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (*.f64 (log.f64 z) y) (fma.f64 a b (*.f64 t y)))
(-.f64 (*.f64 (-.f64 (log.f64 z) t) y) (*.f64 a b))
(fma.f64 (-.f64 (log.f64 z) t) y (*.f64 a (neg.f64 b)))
(-.f64 (*.f64 (log.f64 z) y) (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (*.f64 y t))))
(-.f64 (*.f64 (log.f64 z) y) (fma.f64 a b (fma.f64 a z (*.f64 t y))))
(-.f64 (*.f64 (log.f64 z) y) (fma.f64 a b (fma.f64 z a (*.f64 t y))))
(-.f64 (*.f64 (-.f64 (log.f64 z) t) y) (*.f64 a (+.f64 z b)))
(-.f64 (*.f64 (log.f64 z) y) (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (+.f64 (*.f64 y t) (*.f64 1/2 (*.f64 a (pow.f64 z 2)))))))
(-.f64 (*.f64 (log.f64 z) y) (fma.f64 a b (fma.f64 a z (fma.f64 y t (*.f64 1/2 (*.f64 a (*.f64 z z)))))))
(-.f64 (*.f64 (log.f64 z) y) (fma.f64 a b (fma.f64 z a (fma.f64 t y (*.f64 a (*.f64 (*.f64 z z) 1/2))))))
(-.f64 (*.f64 (log.f64 z) y) (fma.f64 a b (fma.f64 t y (*.f64 a (+.f64 z (*.f64 1/2 (*.f64 z z)))))))
(-.f64 (*.f64 (log.f64 z) y) (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (+.f64 (*.f64 y t) (+.f64 (*.f64 1/3 (*.f64 a (pow.f64 z 3))) (*.f64 1/2 (*.f64 a (pow.f64 z 2))))))))
(-.f64 (*.f64 (log.f64 z) y) (fma.f64 a b (fma.f64 a z (fma.f64 y t (fma.f64 1/3 (*.f64 a (pow.f64 z 3)) (*.f64 1/2 (*.f64 a (*.f64 z z))))))))
(-.f64 (*.f64 (log.f64 z) y) (fma.f64 a b (fma.f64 z a (fma.f64 t y (fma.f64 1/2 (*.f64 z (*.f64 z a)) (*.f64 1/3 (*.f64 a (pow.f64 z 3))))))))
(-.f64 (*.f64 (log.f64 z) y) (fma.f64 a (+.f64 b z) (fma.f64 t y (*.f64 a (+.f64 (*.f64 1/2 (*.f64 z z)) (*.f64 1/3 (pow.f64 z 3)))))))
(-.f64 (*.f64 a (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (*.f64 (log.f64 (/.f64 1 z)) y) (+.f64 (*.f64 y t) (*.f64 (log.f64 (/.f64 1 z)) a)))))
(-.f64 (*.f64 (log.f64 -1) a) (fma.f64 a b (fma.f64 (neg.f64 (log.f64 z)) y (fma.f64 y t (*.f64 (neg.f64 (log.f64 z)) a)))))
(-.f64 (*.f64 a (-.f64 (log.f64 -1) b)) (+.f64 (*.f64 y (-.f64 t (log.f64 z))) (*.f64 (neg.f64 (log.f64 z)) a)))
(+.f64 (fma.f64 a (-.f64 (log.f64 -1) b) (*.f64 (-.f64 (log.f64 z) t) y)) (*.f64 (log.f64 z) a))
(-.f64 (*.f64 a (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (*.f64 (log.f64 (/.f64 1 z)) y) (+.f64 (/.f64 a z) (+.f64 (*.f64 y t) (*.f64 (log.f64 (/.f64 1 z)) a))))))
(-.f64 (*.f64 (log.f64 -1) a) (fma.f64 a b (fma.f64 (neg.f64 (log.f64 z)) y (+.f64 (fma.f64 y t (*.f64 (neg.f64 (log.f64 z)) a)) (/.f64 a z)))))
(-.f64 (*.f64 a (-.f64 (log.f64 -1) b)) (+.f64 (+.f64 (*.f64 y (-.f64 t (log.f64 z))) (*.f64 (neg.f64 (log.f64 z)) a)) (/.f64 a z)))
(-.f64 (*.f64 a (-.f64 (log.f64 -1) b)) (+.f64 (fma.f64 t y (*.f64 (neg.f64 (log.f64 z)) (+.f64 a y))) (/.f64 a z)))
(-.f64 (*.f64 a (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (*.f64 (log.f64 (/.f64 1 z)) y) (+.f64 (/.f64 a z) (+.f64 (*.f64 y t) (+.f64 (*.f64 1/2 (/.f64 a (pow.f64 z 2))) (*.f64 (log.f64 (/.f64 1 z)) a)))))))
(-.f64 (*.f64 (log.f64 -1) a) (fma.f64 a b (fma.f64 (neg.f64 (log.f64 z)) y (+.f64 (/.f64 a z) (fma.f64 y t (fma.f64 1/2 (/.f64 a (*.f64 z z)) (*.f64 (neg.f64 (log.f64 z)) a)))))))
(-.f64 (*.f64 a (-.f64 (log.f64 -1) b)) (+.f64 (fma.f64 t y (fma.f64 (neg.f64 (log.f64 z)) a (*.f64 1/2 (/.f64 a (*.f64 z z))))) (fma.f64 y (neg.f64 (log.f64 z)) (/.f64 a z))))
(-.f64 (*.f64 a (-.f64 (log.f64 -1) b)) (+.f64 (fma.f64 t y (/.f64 a z)) (+.f64 (*.f64 1/2 (/.f64 a (*.f64 z z))) (*.f64 (neg.f64 (log.f64 z)) (+.f64 a y)))))
(-.f64 (*.f64 a (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (*.f64 (log.f64 (/.f64 1 z)) y) (+.f64 (/.f64 a z) (+.f64 (*.f64 y t) (+.f64 (*.f64 1/2 (/.f64 a (pow.f64 z 2))) (+.f64 (*.f64 1/3 (/.f64 a (pow.f64 z 3))) (*.f64 (log.f64 (/.f64 1 z)) a))))))))
(-.f64 (*.f64 (log.f64 -1) a) (fma.f64 a b (fma.f64 (neg.f64 (log.f64 z)) y (+.f64 (/.f64 a z) (fma.f64 y t (fma.f64 1/2 (/.f64 a (*.f64 z z)) (fma.f64 1/3 (/.f64 a (pow.f64 z 3)) (*.f64 (neg.f64 (log.f64 z)) a))))))))
(-.f64 (*.f64 a (-.f64 (log.f64 -1) b)) (+.f64 (fma.f64 t y (fma.f64 1/2 (/.f64 a (*.f64 z z)) (fma.f64 (neg.f64 (log.f64 z)) a (*.f64 1/3 (/.f64 a (pow.f64 z 3)))))) (fma.f64 y (neg.f64 (log.f64 z)) (/.f64 a z))))
(-.f64 (*.f64 a (-.f64 (log.f64 -1) b)) (+.f64 (/.f64 a z) (+.f64 (*.f64 (/.f64 a (*.f64 z z)) (+.f64 (/.f64 1/3 z) 1/2)) (fma.f64 t y (*.f64 (neg.f64 (log.f64 z)) (+.f64 a y))))))
(-.f64 (*.f64 y (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (*.f64 y (log.f64 (/.f64 -1 z))) (+.f64 (*.f64 y t) (*.f64 a (log.f64 (/.f64 -1 z)))))))
(-.f64 (*.f64 y (log.f64 -1)) (fma.f64 a b (fma.f64 (log.f64 (/.f64 -1 z)) a (fma.f64 y t (*.f64 y (log.f64 (/.f64 -1 z)))))))
(-.f64 (*.f64 y (log.f64 -1)) (fma.f64 a b (fma.f64 (log.f64 (/.f64 -1 z)) a (*.f64 y (+.f64 t (log.f64 (/.f64 -1 z)))))))
(-.f64 (*.f64 y (log.f64 -1)) (fma.f64 a b (fma.f64 t y (*.f64 (log.f64 (/.f64 -1 z)) (+.f64 y a)))))
(-.f64 (*.f64 y (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (/.f64 a z) (+.f64 (*.f64 (log.f64 (/.f64 -1 z)) a) (+.f64 (*.f64 y t) (*.f64 (log.f64 (/.f64 -1 z)) y))))))
(-.f64 (*.f64 y (log.f64 -1)) (fma.f64 a b (+.f64 (/.f64 a z) (fma.f64 (log.f64 (/.f64 -1 z)) a (fma.f64 y t (*.f64 y (log.f64 (/.f64 -1 z))))))))
(-.f64 (*.f64 y (log.f64 -1)) (+.f64 (/.f64 a z) (fma.f64 a b (fma.f64 (log.f64 (/.f64 -1 z)) a (*.f64 y (+.f64 t (log.f64 (/.f64 -1 z))))))))
(-.f64 (-.f64 (*.f64 y (log.f64 -1)) (fma.f64 a b (/.f64 a z))) (fma.f64 t y (*.f64 (log.f64 (/.f64 -1 z)) (+.f64 y a))))
(-.f64 (*.f64 y (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (/.f64 a z) (+.f64 (*.f64 (log.f64 (/.f64 -1 z)) a) (+.f64 (*.f64 y t) (+.f64 (*.f64 1/2 (/.f64 a (pow.f64 z 2))) (*.f64 (log.f64 (/.f64 -1 z)) y)))))))
(-.f64 (*.f64 y (log.f64 -1)) (fma.f64 a b (+.f64 (/.f64 a z) (fma.f64 (log.f64 (/.f64 -1 z)) a (fma.f64 y t (fma.f64 1/2 (/.f64 a (*.f64 z z)) (*.f64 y (log.f64 (/.f64 -1 z)))))))))
(-.f64 (-.f64 (*.f64 y (log.f64 -1)) (fma.f64 a b (/.f64 a z))) (fma.f64 (log.f64 (/.f64 -1 z)) a (fma.f64 t y (fma.f64 1/2 (/.f64 a (*.f64 z z)) (*.f64 y (log.f64 (/.f64 -1 z)))))))
(-.f64 (*.f64 y (log.f64 -1)) (+.f64 (fma.f64 t y (*.f64 (log.f64 (/.f64 -1 z)) (+.f64 y a))) (+.f64 (*.f64 1/2 (/.f64 a (*.f64 z z))) (fma.f64 a b (/.f64 a z)))))
(-.f64 (*.f64 y (log.f64 -1)) (+.f64 (*.f64 a b) (+.f64 (/.f64 a z) (+.f64 (*.f64 (log.f64 (/.f64 -1 z)) a) (+.f64 (*.f64 y t) (+.f64 (*.f64 1/2 (/.f64 a (pow.f64 z 2))) (+.f64 (*.f64 1/3 (/.f64 a (pow.f64 z 3))) (*.f64 (log.f64 (/.f64 -1 z)) y))))))))
(-.f64 (*.f64 y (log.f64 -1)) (fma.f64 a b (+.f64 (/.f64 a z) (fma.f64 (log.f64 (/.f64 -1 z)) a (fma.f64 y t (fma.f64 1/2 (/.f64 a (*.f64 z z)) (fma.f64 1/3 (/.f64 a (pow.f64 z 3)) (*.f64 y (log.f64 (/.f64 -1 z))))))))))
(-.f64 (-.f64 (*.f64 y (log.f64 -1)) (fma.f64 a b (/.f64 a z))) (fma.f64 (log.f64 (/.f64 -1 z)) a (fma.f64 t y (fma.f64 1/2 (/.f64 a (*.f64 z z)) (fma.f64 y (log.f64 (/.f64 -1 z)) (*.f64 1/3 (/.f64 a (pow.f64 z 3))))))))
(-.f64 (*.f64 y (log.f64 -1)) (+.f64 (/.f64 a z) (fma.f64 a b (+.f64 (*.f64 (/.f64 a (*.f64 z z)) (+.f64 (/.f64 1/3 z) 1/2)) (fma.f64 t y (*.f64 (log.f64 (/.f64 -1 z)) (+.f64 y a)))))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (*.f64 y t))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (*.f64 t y))
(+.f64 (*.f64 a (log1p.f64 (neg.f64 z))) (*.f64 (-.f64 (log.f64 z) t) y))
(fma.f64 a (log1p.f64 (neg.f64 z)) (*.f64 (-.f64 (log.f64 z) t) y))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(*.f64 -1 (*.f64 a b))
(neg.f64 (*.f64 a b))
(*.f64 a (neg.f64 b))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(*.f64 -1 (*.f64 a b))
(neg.f64 (*.f64 a b))
(*.f64 a (neg.f64 b))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (*.f64 a (log.f64 (-.f64 1 z))) (*.f64 a b))
(*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
(*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(*.f64 (-.f64 (log.f64 z) t) y)
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(*.f64 -1 (*.f64 y (-.f64 t (log.f64 z))))
(*.f64 (-.f64 (log.f64 z) t) y)
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (*.f64 a b))
(+.f64 (*.f64 (log.f64 z) y) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
(fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))
(fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 (log.f64 z) y))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(*.f64 -1 (*.f64 y t))
(neg.f64 (*.f64 t y))
(*.f64 t (neg.f64 y))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(*.f64 -1 (*.f64 y t))
(neg.f64 (*.f64 t y))
(*.f64 t (neg.f64 y))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(-.f64 (+.f64 (*.f64 (log.f64 z) y) (*.f64 a (log.f64 (-.f64 1 z)))) (+.f64 (*.f64 a b) (*.f64 y t)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (log.f64 (-.f64 1 z)))) (fma.f64 a b (*.f64 t y)))
(-.f64 (fma.f64 (log.f64 z) y (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))) (*.f64 t y))
(-.f64 (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)) (*.f64 y (-.f64 t (log.f64 z))))
(*.f64 -1 (+.f64 (log.f64 (/.f64 1 z)) t))
(neg.f64 (-.f64 t (log.f64 z)))
(-.f64 (log.f64 z) t)
(*.f64 -1 (+.f64 (log.f64 (/.f64 1 z)) t))
(neg.f64 (-.f64 t (log.f64 z)))
(-.f64 (log.f64 z) t)
(*.f64 -1 (+.f64 (log.f64 (/.f64 1 z)) t))
(neg.f64 (-.f64 t (log.f64 z)))
(-.f64 (log.f64 z) t)
(*.f64 -1 (+.f64 (log.f64 (/.f64 1 z)) t))
(neg.f64 (-.f64 t (log.f64 z)))
(-.f64 (log.f64 z) t)
(-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t))
(neg.f64 (-.f64 t (log.f64 z)))
(-.f64 (log.f64 z) t)
(-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t))
(neg.f64 (-.f64 t (log.f64 z)))
(-.f64 (log.f64 z) t)
(-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t))
(neg.f64 (-.f64 t (log.f64 z)))
(-.f64 (log.f64 z) t)
(-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t))
(neg.f64 (-.f64 t (log.f64 z)))
(-.f64 (log.f64 z) t)
(log.f64 z)
(*.f64 -1 t)
(neg.f64 t)
(*.f64 -1 t)
(neg.f64 t)

prune112.0ms (1.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New1720172
Fresh000
Picked011
Done000
Total1721173
Error
0b
Counts
173 → 1
Alt Table
StatusErrorProgram
✓0b
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))))
Compiler

Compiled 4003 to 1441 computations (64% saved)

regimes84.0ms (1.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
19 → 1
Compiler

Compiled 365 to 194 computations (46.8% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
5×+-commutative_binary64
5×*-commutative_binary64
5×sub-neg_binary64
3×neg-sub0_binary64
3×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01625
12625
23425
33925
44125
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))))
Outputs
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))))

end41.0ms (0.6%)

Stop Event
1×done
Compiler

Compiled 66 to 45 computations (31.8% saved)

Profiling

Loading profile data...