preprocess243.0ms (25.4%)

Algorithm

1×	egg-herbie

Rules

576×	+-commutative
546×	*-commutative
414×	distribute-lft-out--
396×	associate-+l-
367×	associate-+r+

Problems

130×	(sqrt.f64 (-.f64 (*.f64 x x) 1))
125×	No Errors
1×	(-.f64 (*.f64 x x) 1)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	68
1	34	68
2	42	68
3	60	68
4	95	68
5	215	68
6	544	68
7	1540	68
8	3622	68
9	4960	68
10	6310	68
11	6914	68
12	7122	68
13	7196	68
14	7295	68

Stop Event

1×	node limit

Calls

Call 1

Inputs
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
(acosh.f64 x)
(acosh.f64 (neg.f64 x))
(neg.f64 (acosh.f64 (neg.f64 x)))

Outputs
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
(acosh.f64 x)
(acosh.f64 (neg.f64 x))
(neg.f64 (acosh.f64 (neg.f64 x)))

Compiler

Compiled 35 to 18 computations (48.6% saved)