preprocess193.0ms (10.7%)

Memory

-22.9MiB live, 212.1MiB allocated

Algorithm

2×	egg-herbie

Rules

4 116×	associate-+r+
3 868×	+-lowering-+.f64
3 868×	+-lowering-+.f32
1 596×	associate-+l+
1 534×	+-commutative

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	245	965
1	724	957
2	2732	951
3	5483	950
4	7145	950
0	20	21
1	39	21
2	102	21
3	427	21
4	1475	21
5	1785	21
6	1785	21
7	1785	21
8	1785	21
9	3682	21
10	3682	21
11	3871	21
12	3871	21
13	4005	21
0	4005	18

Stop Event

1×	iter limit
1×	saturated
1×	node limit

Calls

Call 1

Inputs
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i))

Outputs
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i))
(+.f64 z (+.f64 a (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b #s(literal -1/2 binary64)) (log.f64 c) t)))))

Call 2

Inputs
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* (neg x) (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* x (log (neg y))) z) t) a) (* (- b 1/2) (log c))) (* (neg y) i))
(+ (+ (+ (+ (+ (* x (log y)) (neg z)) t) a) (* (- b 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) z) (neg t)) a) (* (- b 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) z) t) (neg a)) (* (- b 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- (neg b) 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log (neg c)))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y (neg i)))
(neg (+ (+ (+ (+ (+ (* (neg x) (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)))
(neg (+ (+ (+ (+ (+ (* x (log (neg y))) z) t) a) (* (- b 1/2) (log c))) (* (neg y) i)))
(neg (+ (+ (+ (+ (+ (* x (log y)) (neg z)) t) a) (* (- b 1/2) (log c))) (* y i)))
(neg (+ (+ (+ (+ (+ (* x (log y)) z) (neg t)) a) (* (- b 1/2) (log c))) (* y i)))
(neg (+ (+ (+ (+ (+ (* x (log y)) z) t) (neg a)) (* (- b 1/2) (log c))) (* y i)))
(neg (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- (neg b) 1/2) (log c))) (* y i)))
(neg (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log (neg c)))) (* y i)))
(neg (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y (neg i))))
(+ (+ (+ (+ (+ (* y (log x)) z) t) a) (* (- b 1/2) (log c))) (* x i))
(+ (+ (+ (+ (+ (* z (log y)) x) t) a) (* (- b 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* t (log y)) z) x) a) (* (- b 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* a (log y)) z) t) x) (* (- b 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* b (log y)) z) t) a) (* (- x 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* c (log y)) z) t) a) (* (- b 1/2) (log x))) (* y i))
(+ (+ (+ (+ (+ (* i (log y)) z) t) a) (* (- b 1/2) (log c))) (* y x))
(+ (+ (+ (+ (+ (* x (log z)) y) t) a) (* (- b 1/2) (log c))) (* z i))
(+ (+ (+ (+ (+ (* x (log t)) z) y) a) (* (- b 1/2) (log c))) (* t i))
(+ (+ (+ (+ (+ (* x (log a)) z) t) y) (* (- b 1/2) (log c))) (* a i))
(+ (+ (+ (+ (+ (* x (log b)) z) t) a) (* (- y 1/2) (log c))) (* b i))
(+ (+ (+ (+ (+ (* x (log c)) z) t) a) (* (- b 1/2) (log y))) (* c i))
(+ (+ (+ (+ (+ (* x (log i)) z) t) a) (* (- b 1/2) (log c))) (* i y))
(+ (+ (+ (+ (+ (* x (log y)) t) z) a) (* (- b 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) a) t) z) (* (- b 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) b) t) a) (* (- z 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) c) t) a) (* (- b 1/2) (log z))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) i) t) a) (* (- b 1/2) (log c))) (* y z))
(+ (+ (+ (+ (+ (* x (log y)) z) a) t) (* (- b 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) z) b) a) (* (- t 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) z) c) a) (* (- b 1/2) (log t))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) z) i) a) (* (- b 1/2) (log c))) (* y t))
(+ (+ (+ (+ (+ (* x (log y)) z) t) b) (* (- a 1/2) (log c))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) z) t) c) (* (- b 1/2) (log a))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) z) t) i) (* (- b 1/2) (log c))) (* y a))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- c 1/2) (log b))) (* y i))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- i 1/2) (log c))) (* y b))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log i))) (* y c))

Outputs
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i))
(+ (+ (* x (log y)) (+ z t)) (+ a (+ (* (+ b -1/2) (log c)) (* y i))))
(+ (+ (+ (+ (+ (* (neg x) (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i))
(+ (* (+ b -1/2) (log c)) (+ (- (+ (+ t a) z) (* x (log y))) (* y i)))
(+ (+ (+ (+ (+ (* x (log (neg y))) z) t) a) (* (- b 1/2) (log c))) (* (neg y) i))
(+ (+ (* x (log (neg y))) (+ z t)) (+ a (- (* (+ b -1/2) (log c)) (* y i))))
(+ (+ (+ (+ (+ (* x (log y)) (neg z)) t) a) (* (- b 1/2) (log c))) (* y i))
(+ (- (* x (log y)) z) (+ (+ t a) (+ (* (+ b -1/2) (log c)) (* y i))))
(+ (+ (+ (+ (+ (* x (log y)) z) (neg t)) a) (* (- b 1/2) (log c))) (* y i))
(+ (* (+ b -1/2) (log c)) (+ (+ (* x (log y)) (+ z (- a t))) (* y i)))
(+ (+ (+ (+ (+ (* x (log y)) z) t) (neg a)) (* (- b 1/2) (log c))) (* y i))
(+ (* x (log y)) (- (+ z t) (- (- a (* y i)) (* (+ b -1/2) (log c)))))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- (neg b) 1/2) (log c))) (* y i))
(+ (+ (* x (log y)) (+ z t)) (+ a (+ (* y i) (* (log c) (- -1/2 b)))))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log (neg c)))) (* y i))
(+ (* (+ b -1/2) (log (neg c))) (+ (+ (* x (log y)) (+ t (+ z a))) (* y i)))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y (neg i)))
(+ (+ (* x (log y)) z) (- (+ (+ t a) (* (+ b -1/2) (log c))) (* y i)))
(neg (+ (+ (+ (+ (+ (* (neg x) (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)))
(- (- (* x (log y)) z) (+ (+ t a) (+ (* (+ b -1/2) (log c)) (* y i))))
(neg (+ (+ (+ (+ (+ (* x (log (neg y))) z) t) a) (* (- b 1/2) (log c))) (* (neg y) i)))
(- (* y i) (+ (* x (log (neg y))) (+ (+ z t) (+ a (* (+ b -1/2) (log c))))))
(neg (+ (+ (+ (+ (+ (* x (log y)) (neg z)) t) a) (* (- b 1/2) (log c))) (* y i)))
(- (- (- z t) (* x (log y))) (+ a (+ (* (+ b -1/2) (log c)) (* y i))))
(neg (+ (+ (+ (+ (+ (* x (log y)) z) (neg t)) a) (* (- b 1/2) (log c))) (* y i)))
(- (- t (+ (* x (log y)) (+ z a))) (+ (* (+ b -1/2) (log c)) (* y i)))
(neg (+ (+ (+ (+ (+ (* x (log y)) z) t) (neg a)) (* (- b 1/2) (log c))) (* y i)))
(- (- (- a (+ z t)) (* x (log y))) (+ (* (+ b -1/2) (log c)) (* y i)))
(neg (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- (neg b) 1/2) (log c))) (* y i)))
(- (- (* (log c) (+ b 1/2)) (* y i)) (+ (* x (log y)) (+ t (+ z a))))
(neg (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log (neg c)))) (* y i)))
(- (* (log (neg c)) (+ 1/2 (neg b))) (+ (+ (* x (log y)) (+ t (+ z a))) (* y i)))
(neg (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y (neg i))))
(- (- (* y i) (* (+ b -1/2) (log c))) (+ (* x (log y)) (+ t (+ z a))))
(+ (+ (+ (+ (+ (* y (log x)) z) t) a) (* (- b 1/2) (log c))) (* x i))
(+ (+ (* y (log x)) (+ z (+ t a))) (+ (* (+ b -1/2) (log c)) (* x i)))
(+ (+ (+ (+ (+ (* z (log y)) x) t) a) (* (- b 1/2) (log c))) (* y i))
(+ (+ x (* (log y) z)) (+ (+ t a) (+ (* (+ b -1/2) (log c)) (* y i))))
(+ (+ (+ (+ (+ (* t (log y)) z) x) a) (* (- b 1/2) (log c))) (* y i))
(+ a (+ (+ x (+ z (* (log y) t))) (+ (* (+ b -1/2) (log c)) (* y i))))
(+ (+ (+ (+ (+ (* a (log y)) z) t) x) (* (- b 1/2) (log c))) (* y i))
(+ (+ z (* (log y) a)) (+ (+ x t) (+ (* (+ b -1/2) (log c)) (* y i))))
(+ (+ (+ (+ (+ (* b (log y)) z) t) a) (* (- x 1/2) (log c))) (* y i))
(+ (+ z (* (log y) b)) (+ (+ t a) (+ (* y i) (* (log c) (+ x -1/2)))))
(+ (+ (+ (+ (+ (* c (log y)) z) t) a) (* (- b 1/2) (log x))) (* y i))
(+ (* y i) (+ (+ (* (log y) c) (+ z (+ t a))) (* (+ b -1/2) (log x))))
(+ (+ (+ (+ (+ (* i (log y)) z) t) a) (* (- b 1/2) (log c))) (* y x))
(+ (* (+ b -1/2) (log c)) (+ (+ (* (log y) i) (+ z (+ t a))) (* x y)))
(+ (+ (+ (+ (+ (* x (log z)) y) t) a) (* (- b 1/2) (log c))) (* z i))
(+ (+ (+ y (* x (log z))) (+ (+ t a) (* (+ b -1/2) (log c)))) (* z i))
(+ (+ (+ (+ (+ (* x (log t)) z) y) a) (* (- b 1/2) (log c))) (* t i))
(+ (+ (* x (log t)) (+ z (+ y a))) (+ (* (+ b -1/2) (log c)) (* t i)))
(+ (+ (+ (+ (+ (* x (log a)) z) t) y) (* (- b 1/2) (log c))) (* a i))
(+ (* (+ b -1/2) (log c)) (+ (+ (* x (log a)) (+ z (+ y t))) (* a i)))
(+ (+ (+ (+ (+ (* x (log b)) z) t) a) (* (- y 1/2) (log c))) (* b i))
(+ (+ (* x (log b)) (+ z (+ t a))) (+ (* (log c) (+ y -1/2)) (* b i)))
(+ (+ (+ (+ (+ (* x (log c)) z) t) a) (* (- b 1/2) (log y))) (* c i))
(+ (+ t (+ (+ z (* x (log c))) a)) (+ (* (log y) (+ b -1/2)) (* c i)))
(+ (+ (+ (+ (+ (* x (log i)) z) t) a) (* (- b 1/2) (log c))) (* i y))
(+ (* (+ b -1/2) (log c)) (+ (+ (* x (log i)) (+ z (+ t a))) (* y i)))
(+ (+ (+ (+ (+ (* x (log y)) t) z) a) (* (- b 1/2) (log c))) (* y i))
(+ (+ (* x (log y)) (+ z t)) (+ a (+ (* (+ b -1/2) (log c)) (* y i))))
(+ (+ (+ (+ (+ (* x (log y)) a) t) z) (* (- b 1/2) (log c))) (* y i))
(+ (+ (* x (log y)) (+ z t)) (+ a (+ (* (+ b -1/2) (log c)) (* y i))))
(+ (+ (+ (+ (+ (* x (log y)) b) t) a) (* (- z 1/2) (log c))) (* y i))
(+ (* (log c) (+ z -1/2)) (+ (+ (* x (log y)) (+ b (+ t a))) (* y i)))
(+ (+ (+ (+ (+ (* x (log y)) c) t) a) (* (- b 1/2) (log z))) (* y i))
(+ (+ (* x (log y)) (+ t c)) (+ a (+ (* y i) (* (+ b -1/2) (log z)))))
(+ (+ (+ (+ (+ (* x (log y)) i) t) a) (* (- b 1/2) (log c))) (* y z))
(+ (* (+ b -1/2) (log c)) (+ (+ (* x (log y)) (+ i (+ t a))) (* y z)))
(+ (+ (+ (+ (+ (* x (log y)) z) a) t) (* (- b 1/2) (log c))) (* y i))
(+ (+ (* x (log y)) (+ z t)) (+ a (+ (* (+ b -1/2) (log c)) (* y i))))
(+ (+ (+ (+ (+ (* x (log y)) z) b) a) (* (- t 1/2) (log c))) (* y i))
(+ (+ (* x (log y)) z) (+ (+ a b) (+ (* y i) (* (log c) (+ t -1/2)))))
(+ (+ (+ (+ (+ (* x (log y)) z) c) a) (* (- b 1/2) (log t))) (* y i))
(+ (+ (* x (log y)) (+ z (+ a c))) (+ (* y i) (* (+ b -1/2) (log t))))
(+ (+ (+ (+ (+ (* x (log y)) z) i) a) (* (- b 1/2) (log c))) (* y t))
(+ (+ (* x (log y)) (+ (+ z i) a)) (+ (* (+ b -1/2) (log c)) (* y t)))
(+ (+ (+ (+ (+ (* x (log y)) z) t) b) (* (- a 1/2) (log c))) (* y i))
(+ (+ (* x (log y)) z) (+ (+ t b) (+ (* y i) (* (log c) (+ a -1/2)))))
(+ (+ (+ (+ (+ (* x (log y)) z) t) c) (* (- b 1/2) (log a))) (* y i))
(+ (+ (* x (log y)) (+ z (+ t c))) (+ (* y i) (* (+ b -1/2) (log a))))
(+ (+ (+ (+ (+ (* x (log y)) z) t) i) (* (- b 1/2) (log c))) (* y a))
(+ (+ (* x (log y)) z) (+ (+ t i) (+ (* (+ b -1/2) (log c)) (* y a))))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- c 1/2) (log b))) (* y i))
(+ (+ (* x (log y)) (+ z t)) (+ a (+ (* y i) (* (log b) (+ c -1/2)))))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- i 1/2) (log c))) (* y b))
(+ (+ (* x (log y)) (+ t (+ z a))) (+ (* (log c) (+ i -1/2)) (* y b)))
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log i))) (* y c))
(+ (+ (* x (log y)) z) (+ (+ t a) (+ (* (+ b -1/2) (log i)) (* y c))))

Symmetry

(sort z t a)