preprocess281.0ms (3%)

Memory

-17.1MiB live, 97.8MiB allocated

Algorithm

2×	egg-herbie

Rules

876×	sub-neg
644×	unsub-neg
626×	distribute-lft-neg-in
626×	times-frac
596×	distribute-rgt-in

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	207
1	150	199
2	393	197
3	986	197
4	2700	197
5	4823	197
6	5510	197
7	5766	197
8	5969	197
9	6102	197
10	6174	197
11	6626	197
12	6770	197
13	6782	197
14	6792	197
15	6792	197
16	6792	197
17	6792	197
0	12	13
1	22	13
2	47	13
3	86	13
4	181	13
5	345	13
6	512	13
7	577	13
8	644	13
9	696	13
10	824	13
11	893	13
12	900	13
13	901	13
0	901	9

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(- x (/ (log (+ (- 1 y) (* y (exp z)))) t))

Outputs
(- x (/ (log (+ (- 1 y) (* y (exp z)))) t))
(-.f64 x (/.f64 (log.f64 (fma.f64 y (expm1.f64 z) #s(literal 1 binary64))) t))

Call 2

Inputs
(- x (/ (log (+ (- 1 y) (* y (exp z)))) t))
(- (neg x) (/ (log (+ (- 1 y) (* y (exp z)))) t))
(- x (/ (log (+ (- 1 (neg y)) (* (neg y) (exp z)))) t))
(- x (/ (log (+ (- 1 y) (* y (exp (neg z))))) t))
(- x (/ (log (+ (- 1 y) (* y (exp z)))) (neg t)))
(neg (- (neg x) (/ (log (+ (- 1 y) (* y (exp z)))) t)))
(neg (- x (/ (log (+ (- 1 (neg y)) (* (neg y) (exp z)))) t)))
(neg (- x (/ (log (+ (- 1 y) (* y (exp (neg z))))) t)))
(neg (- x (/ (log (+ (- 1 y) (* y (exp z)))) (neg t))))
(- y (/ (log (+ (- 1 x) (* x (exp z)))) t))
(- z (/ (log (+ (- 1 y) (* y (exp x)))) t))
(- t (/ (log (+ (- 1 y) (* y (exp z)))) x))
(- x (/ (log (+ (- 1 z) (* z (exp y)))) t))
(- x (/ (log (+ (- 1 t) (* t (exp z)))) y))
(- x (/ (log (+ (- 1 y) (* y (exp t)))) z))

Outputs
(- x (/ (log (+ (- 1 y) (* y (exp z)))) t))
(- (neg x) (/ (log (+ (- 1 y) (* y (exp z)))) t))
(- x (/ (log (+ (- 1 (neg y)) (* (neg y) (exp z)))) t))
(- x (/ (log (- (+ 1 y) (* y (exp z)))) t))
(- x (/ (log (+ (- 1 y) (* y (exp (neg z))))) t))
(- x (/ (log (+ 1 (- (/ y (exp z)) y))) t))
(- x (/ (log (+ (- 1 y) (* y (exp z)))) (neg t)))
(+ x (/ (log (+ (- 1 y) (* y (exp z)))) t))
(neg (- (neg x) (/ (log (+ (- 1 y) (* y (exp z)))) t)))
(+ x (/ (log (+ (- 1 y) (* y (exp z)))) t))
(neg (- x (/ (log (+ (- 1 (neg y)) (* (neg y) (exp z)))) t)))
(- (/ (log (- (+ 1 y) (* y (exp z)))) t) x)
(neg (- x (/ (log (+ (- 1 y) (* y (exp (neg z))))) t)))
(- (/ (log (+ 1 (- (/ y (exp z)) y))) t) x)
(neg (- x (/ (log (+ (- 1 y) (* y (exp z)))) (neg t))))
(- (neg x) (/ (log (+ (- 1 y) (* y (exp z)))) t))
(- y (/ (log (+ (- 1 x) (* x (exp z)))) t))
(- z (/ (log (+ (- 1 y) (* y (exp x)))) t))
(- t (/ (log (+ (- 1 y) (* y (exp z)))) x))
(- x (/ (log (+ (- 1 z) (* z (exp y)))) t))
(- x (/ (log (+ 1 (* z (+ (exp y) -1)))) t))
(- x (/ (log (+ (- 1 t) (* t (exp z)))) y))
(- x (/ (log (+ (- 1 t) (* (exp z) t))) y))
(- x (/ (log (+ (- 1 y) (* y (exp t)))) z))
(- x (/ (log (+ 1 (* y (+ -1 (exp t))))) z))