preprocess248.0ms (18.5%)

Algorithm

1×	egg-herbie

Rules

2854×	fma-def
1443×	associate-+r+
1262×	associate-+l+
565×	distribute-lft-in
478×	exp-sum

Problems

178×	(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
66×	No Errors
12×	(+.f64 (log.f64 a) (log.f64 b))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	183
1	44	99
2	85	99
3	142	99
4	283	99
5	346	99
6	522	99
7	673	99
8	948	99
9	974	99
10	974	99
11	1120	99
12	1237	99
13	2109	99
14	2177	99
15	2179	99
16	2179	99
17	2711	99
18	3057	99
19	3638	99
20	3854	99
21	3860	99
22	3860	99
23	3872	99
24	5918	99
25	6173	99
26	6327	99
27	6454	99
28	6469	99
29	6677	99
30	7436	99
31	7436	99

Stop Event

1×	node limit

Calls

Call 1

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

Outputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 (neg.f64 a)) (log.f64 b)))
(exp.f64 (+.f64 (log.f64 b) (log.f64 (neg.f64 a))))
(*.f64 b (neg.f64 a))
(neg.f64 (*.f64 b a))
(*.f64 a (neg.f64 b))
(exp.f64 (+.f64 (log.f64 a) (log.f64 (neg.f64 b))))
(exp.f64 (+.f64 (log.f64 b) (log.f64 (neg.f64 a))))
(*.f64 b (neg.f64 a))
(neg.f64 (*.f64 b a))
(*.f64 a (neg.f64 b))
(neg.f64 (exp.f64 (+.f64 (log.f64 (neg.f64 a)) (log.f64 b))))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(neg.f64 (exp.f64 (+.f64 (log.f64 a) (log.f64 (neg.f64 b)))))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 b) (log.f64 a)))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)

Symmetry

(negabs a)

(negabs b)

(sort a b)

Compiler

Compiled 20 to 7 computations (65% saved)