Details

analyze498.0ms (9.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
31.2%	68.7%	0.1%	6
43.7%	51.5%	4.8%	7
48.4%	46.8%	4.8%	8
55.4%	37.5%	7.1%	9
58.1%	34.7%	7.1%	10
61.9%	29.9%	8.3%	11
63.3%	28.4%	8.3%	12
65.2%	25.9%	8.9%	13
66%	25.1%	8.9%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample3.9s (72.7%)

Results

2.6s	2477×	body	8192	exit
1.1s	7615×	body	128	valid
134.0ms	219×	body	1024	valid
103.0ms	254×	body	512	valid
51.0ms	168×	body	256	valid
10.0ms	65×	body	128	invalid

Compiler

Compiled 24 to 18 computations (25% saved)

preprocess45.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

732×	`times-frac_binary64`
438×	`associate-/r/_binary64`
300×	`fma-def_binary64`
232×	`unswap-sqr_binary64`
157×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	32	22
2	45	22
3	71	22
4	101	22
5	150	22
6	231	22
7	320	22
8	425	22
9	543	22
10	635	22
11	675	22
12	823	22
13	1264	22
14	2823	22
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 y))) (*.f64 y x))

Outputs
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 y))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 y)) (*.f64 x y))

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify33.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

369×	`times-frac_binary64`
363×	`associate-l_binary64`
285×	`associate-/l/_binary64`
280×	`associate-/l*_binary64`
262×	`associate-/r*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	19	11
2	30	11
3	47	11
4	66	11
5	100	11
6	154	11
7	205	11
8	273	11
9	352	11
10	414	11
11	440	11
12	519	11
13	747	11
14	1549	11
15	4642	11

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))

Outputs
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

0.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.5b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

Compiler

Compiled 36 to 22 computations (38.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
✓	0.5b	(log1p.f64 (exp.f64 x))

series51.0ms (0.9%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
26.0ms	x	@	inf	(log1p.f64 (exp.f64 x))
19.0ms	x	@	-inf	(log1p.f64 (exp.f64 x))
3.0ms	y	@	0	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
1.0ms	x	@	0	(log1p.f64 (exp.f64 x))
0.0ms	x	@	0	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

rewrite46.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

792×	`pow1_binary64`
733×	`expm1-log1p-u_binary64`
732×	`log1p-expm1-u_binary64`
78×	`add-sqr-sqrt_binary64`
77×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	147	16
2	2012	16

Stop Event

1×	node limit

Counts

2 → 55

Calls

Call 1

Inputs
(log1p.f64 (exp.f64 x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log1p.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (log1p.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2) (cbrt.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log1p.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 (exp.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (log1p.f64 (exp.f64 x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log1p.f64 (exp.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log1p.f64 (exp.f64 x)) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log1p.f64 (exp.f64 x)) (.f64 (.f64 x (neg.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (fma.f64 (neg.f64 y) x (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (fma.f64 (neg.f64 x) y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (fma.f64 (.f64 x (neg.f64 y)) 1 (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (fma.f64 (neg.f64 (sqrt.f64 (.f64 x y))) (sqrt.f64 (.f64 x y)) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (neg.f64 y)) (log1p.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) 2) (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (.f64 x y) 3)) (/.f64 1 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (.f64 (.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (.f64 x y) 2)) (/.f64 1 (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (.f64 x y))) (-.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (.f64 (.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)))) (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (.f64 x y) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (.f64 x y) 3)) (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (.f64 (.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (.f64 x y) 2)) (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (.f64 x y) 3))) (neg.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (.f64 (.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (.f64 x y) 2))) (neg.f64 (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (.f64 x (neg.f64 y)) 3)) (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (-.f64 (.f64 (.f64 x (neg.f64 y)) (.f64 x (neg.f64 y))) (.f64 (log1p.f64 (exp.f64 x)) (.f64 x (neg.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (.f64 (.f64 x (neg.f64 y)) (.f64 x (neg.f64 y)))) (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x (neg.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (log1p.f64 (exp.f64 x)) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2) (cbrt.f64 (log1p.f64 (exp.f64 x))) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x))) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log1p.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log1p.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2) (cbrt.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log1p.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 (exp.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (log1p.f64 (exp.f64 x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log1p.f64 (exp.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log1p.f64 (exp.f64 x)) (*.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log1p.f64 (exp.f64 x)) (*.f64 (*.f64 x (neg.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (fma.f64 (neg.f64 y) x (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (fma.f64 (neg.f64 x) y (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 x y))) (sqrt.f64 (*.f64 x y)) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (neg.f64 y)) (log1p.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) 2) (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (*.f64 (*.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (*.f64 (*.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)))) (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (*.f64 x y) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (*.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (*.f64 (*.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (*.f64 x y) 2)) (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (*.f64 x y) 3))) (neg.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (*.f64 (*.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (*.f64 x y) 2))) (neg.f64 (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (*.f64 x (neg.f64 y)) 3)) (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (-.f64 (*.f64 (*.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y))) (*.f64 (log1p.f64 (exp.f64 x)) (*.f64 x (neg.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (*.f64 (*.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y)))) (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x (neg.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (log1p.f64 (exp.f64 x)) (*.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2) (cbrt.f64 (log1p.f64 (exp.f64 x))) (*.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x))) (*.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))))

simplify40.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

537×	`fma-def_binary64`
237×	`distribute-lft-out_binary64`
196×	`sub-neg_binary64`
194×	`*-commutative_binary64`
188×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	356
1	81	350
2	201	337
3	652	321
4	2594	321
5	4861	321

Stop Event

1×	node limit

Counts

91 → 74

Calls

Call 1

Inputs
(log.f64 2)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x)))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (*.f64 1/192 (pow.f64 x 4)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 2)
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (*.f64 y x))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (+.f64 (.f64 y x) (.f64 1/192 (pow.f64 x 4))))
(.f64 -1 (.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(.f64 -1 (.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(log.f64 (+.f64 1 (exp.f64 x)))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(.f64 -1 (.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(.f64 -1 (.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))

Outputs
(log.f64 2)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x)))
(+.f64 (log.f64 2) (fma.f64 1/8 (.f64 x x) (.f64 1/2 x)))
(+.f64 (log.f64 2) (fma.f64 1/2 x (.f64 x (.f64 x 1/8))))
(fma.f64 1/2 x (fma.f64 x (*.f64 x 1/8) (log.f64 2)))
(fma.f64 x (fma.f64 x 1/8 1/2) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (*.f64 1/192 (pow.f64 x 4)))
(+.f64 (log.f64 2) (-.f64 (fma.f64 1/8 (.f64 x x) (.f64 1/2 x)) (*.f64 1/192 (pow.f64 x 4))))
(+.f64 (log.f64 2) (-.f64 (fma.f64 1/2 x (.f64 x (.f64 x 1/8))) (*.f64 1/192 (pow.f64 x 4))))
(fma.f64 (pow.f64 x 4) -1/192 (fma.f64 1/2 x (fma.f64 x (*.f64 x 1/8) (log.f64 2))))
(fma.f64 (pow.f64 x 4) -1/192 (fma.f64 x (fma.f64 x 1/8 1/2) (log.f64 2)))
(fma.f64 x (fma.f64 x 1/8 1/2) (fma.f64 (pow.f64 x 4) -1/192 (log.f64 2)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 2)
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (*.f64 y x))
(+.f64 (log.f64 2) (-.f64 (fma.f64 1/8 (.f64 x x) (.f64 1/2 x)) (*.f64 x y)))
(+.f64 (log.f64 2) (+.f64 (.f64 x (.f64 x 1/8)) (*.f64 x (-.f64 1/2 y))))
(+.f64 (log.f64 2) (.f64 x (+.f64 (.f64 x 1/8) (-.f64 1/2 y))))
(fma.f64 x (-.f64 (fma.f64 x 1/8 1/2) y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (+.f64 (.f64 y x) (.f64 1/192 (pow.f64 x 4))))
(+.f64 (log.f64 2) (-.f64 (fma.f64 1/8 (.f64 x x) (.f64 1/2 x)) (fma.f64 y x (*.f64 1/192 (pow.f64 x 4)))))
(+.f64 (fma.f64 1/2 x (.f64 x (.f64 x 1/8))) (-.f64 (log.f64 2) (fma.f64 x y (*.f64 1/192 (pow.f64 x 4)))))
(+.f64 (.f64 (pow.f64 x 4) -1/192) (+.f64 (log.f64 2) (.f64 x (+.f64 (*.f64 x 1/8) (-.f64 1/2 y)))))
(fma.f64 x (-.f64 (fma.f64 x 1/8 1/2) y) (fma.f64 (pow.f64 x 4) -1/192 (log.f64 2)))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 x (neg.f64 y))
(*.f64 y (neg.f64 x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 x (neg.f64 y))
(*.f64 y (neg.f64 x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 x (neg.f64 y))
(*.f64 y (neg.f64 x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 x (neg.f64 y))
(*.f64 y (neg.f64 x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

prune40.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	72	3	75

Error

0.2b

Counts

75 → 3

Alt Table

Status	Error	Program
	13.0b	(fma.f64 x (-.f64 1/2 y) (log.f64 2))
✓	0.5b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
▶	0.5b	(-.f64 (expm1.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) (*.f64 x y))

Compiler

Compiled 1063 to 395 computations (62.8% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (expm1.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) (*.f64 x y))
✓	0.0b	(log1p.f64 (log1p.f64 (exp.f64 x)))
✓	0.1b	(expm1.f64 (log1p.f64 (log1p.f64 (exp.f64 x))))
	0.5b	(log1p.f64 (exp.f64 x))

series66.0ms (1.2%)

Counts

3 → 48

Calls

12 calls:

Time	Variable		Point	Expression
42.0ms	x	@	-inf	(log1p.f64 (log1p.f64 (exp.f64 x)))
19.0ms	x	@	inf	(log1p.f64 (log1p.f64 (exp.f64 x)))
1.0ms	y	@	-inf	(-.f64 (expm1.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) (*.f64 x y))
1.0ms	x	@	0	(log1p.f64 (log1p.f64 (exp.f64 x)))
0.0ms	x	@	0	(expm1.f64 (log1p.f64 (log1p.f64 (exp.f64 x))))

rewrite44.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

810×	`expm1-log1p-u_binary64`
809×	`log1p-expm1-u_binary64`
87×	`pow1_binary64`
86×	`add-sqr-sqrt_binary64`
85×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	170	23
2	2225	23

Stop Event

1×	node limit

Counts

3 → 74

Calls

Call 1

Inputs
(expm1.f64 (log1p.f64 (log1p.f64 (exp.f64 x))))
(log1p.f64 (log1p.f64 (exp.f64 x)))
(-.f64 (expm1.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) (*.f64 x y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log1p.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (log1p.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2) (cbrt.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) 3) 1) (+.f64 (.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) (+.f64 (log1p.f64 (exp.f64 x)) 1)) (+.f64 1 (.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) (+.f64 (log1p.f64 (exp.f64 x)) 1)) 1) (+.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log1p.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 (exp.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (exp.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (log1p.f64 (exp.f64 x))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (log1p.f64 (log1p.f64 (exp.f64 x))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log1p.f64 (log1p.f64 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (log1p.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) (pow.f64 (cbrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 2) (cbrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) (sqrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log1p.f64 (log1p.f64 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log1p.f64 (log1p.f64 (exp.f64 x))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log1p.f64 (log1p.f64 (exp.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log1p.f64 (log1p.f64 (exp.f64 x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log1p.f64 (exp.f64 x)) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log1p.f64 (exp.f64 x)) (.f64 (.f64 x (neg.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (fma.f64 (neg.f64 y) x (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (fma.f64 (neg.f64 x) y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (fma.f64 (.f64 x (neg.f64 y)) 1 (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (fma.f64 (neg.f64 (sqrt.f64 (.f64 x y))) (sqrt.f64 (.f64 x y)) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (neg.f64 y)) (log1p.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) 2) (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (.f64 x y) 3)) (/.f64 1 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (.f64 (.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (.f64 x y) 2)) (/.f64 1 (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (.f64 x y))) (-.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (.f64 (.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)))) (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (.f64 x y) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (.f64 x y) 3)) (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (.f64 (.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (.f64 x y) 2)) (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (.f64 x y) 3))) (neg.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (.f64 (.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (.f64 x y) 2))) (neg.f64 (+.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (.f64 x (neg.f64 y)) 3)) (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (-.f64 (.f64 (.f64 x (neg.f64 y)) (.f64 x (neg.f64 y))) (.f64 (log1p.f64 (exp.f64 x)) (.f64 x (neg.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (.f64 (.f64 x (neg.f64 y)) (.f64 x (neg.f64 y)))) (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x (neg.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (log1p.f64 (exp.f64 x)) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2) (cbrt.f64 (log1p.f64 (exp.f64 x))) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x))) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (-.f64 (log1p.f64 (exp.f64 x)) (.f64 x y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log1p.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log1p.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2) (cbrt.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) 3) 1) (+.f64 (*.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) (+.f64 (log1p.f64 (exp.f64 x)) 1)) (+.f64 1 (*.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) (+.f64 (log1p.f64 (exp.f64 x)) 1)) 1) (+.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log1p.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 (exp.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (exp.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (log1p.f64 (exp.f64 x))) 1))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (log1p.f64 (log1p.f64 (exp.f64 x))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log1p.f64 (log1p.f64 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log1p.f64 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) (pow.f64 (cbrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 2) (cbrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) (sqrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log1p.f64 (log1p.f64 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log1p.f64 (log1p.f64 (exp.f64 x))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log1p.f64 (log1p.f64 (exp.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 (log1p.f64 (exp.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log1p.f64 (log1p.f64 (exp.f64 x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log1p.f64 (log1p.f64 (exp.f64 x)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log1p.f64 (exp.f64 x)) (*.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log1p.f64 (exp.f64 x)) (*.f64 (*.f64 x (neg.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (fma.f64 (neg.f64 y) x (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (fma.f64 (neg.f64 x) y (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (fma.f64 (*.f64 x (neg.f64 y)) 1 (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 x y))) (sqrt.f64 (*.f64 x y)) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (neg.f64 y)) (log1p.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) 2) (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (*.f64 (*.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (*.f64 x y))) (-.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (*.f64 (*.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)))) (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (*.f64 x y) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (*.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (*.f64 (*.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (*.f64 x y) 2)) (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (*.f64 x y) 3))) (neg.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (*.f64 (*.f64 x y) (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (pow.f64 (*.f64 x y) 2))) (neg.f64 (+.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 3) (pow.f64 (*.f64 x (neg.f64 y)) 3)) (+.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (-.f64 (*.f64 (*.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y))) (*.f64 (log1p.f64 (exp.f64 x)) (*.f64 x (neg.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log1p.f64 (exp.f64 x)) 2) (*.f64 (*.f64 x (neg.f64 y)) (*.f64 x (neg.f64 y)))) (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x (neg.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (log1p.f64 (exp.f64 x)) (*.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 (exp.f64 x))) 2) (cbrt.f64 (log1p.f64 (exp.f64 x))) (*.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x))) (*.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))))))))

simplify40.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

727×	`associate-/l*_binary64`
624×	`cancel-sign-sub-inv_binary64`
358×	`fma-neg_binary64`
203×	`associate-/r/_binary64`
200×	`associate-/l/_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	57	574
1	169	568
2	515	540
3	2106	532

Stop Event

1×	node limit

Counts

122 → 102

Calls

Call 1

Inputs
(log.f64 2)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x)))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (*.f64 1/192 (pow.f64 x 4)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (exp.f64 x)))
(log.f64 (+.f64 1 (log.f64 2)))
(+.f64 (*.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2))))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (pow.f64 x 2) (+.f64 1 (log.f64 2)))) (+.f64 (.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2))))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 (+.f64 1 (log.f64 2)) 2))))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (pow.f64 x 2) (+.f64 1 (log.f64 2)))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 1 (log.f64 2)) 3))) (+.f64 (.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2)))))) (+.f64 (.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 (+.f64 1 (log.f64 2)) 2))) (*.f64 1/16 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 1 (log.f64 2)) 2)))))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log.f64 2)
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (*.f64 y x))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (+.f64 (.f64 y x) (.f64 1/192 (pow.f64 x 4))))
(.f64 -1 (.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(.f64 -1 (.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(log.f64 (+.f64 1 (exp.f64 x)))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(.f64 -1 (.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(.f64 -1 (.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))

Outputs
(log.f64 2)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x)))
(+.f64 (log.f64 2) (fma.f64 1/8 (.f64 x x) (.f64 1/2 x)))
(+.f64 (log.f64 2) (fma.f64 1/2 x (.f64 1/8 (.f64 x x))))
(fma.f64 1/2 x (fma.f64 x (*.f64 x 1/8) (log.f64 2)))
(fma.f64 1/2 x (fma.f64 1/8 (*.f64 x x) (log.f64 2)))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (*.f64 1/192 (pow.f64 x 4)))
(+.f64 (log.f64 2) (-.f64 (fma.f64 1/8 (.f64 x x) (.f64 1/2 x)) (*.f64 1/192 (pow.f64 x 4))))
(+.f64 (log.f64 2) (+.f64 (fma.f64 1/2 x (.f64 1/8 (.f64 x x))) (*.f64 (pow.f64 x 4) -1/192)))
(fma.f64 (pow.f64 x 4) -1/192 (fma.f64 1/2 x (fma.f64 x (*.f64 x 1/8) (log.f64 2))))
(fma.f64 (pow.f64 x 4) -1/192 (fma.f64 1/2 x (fma.f64 1/8 (*.f64 x x) (log.f64 2))))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(log.f64 (+.f64 1 (log.f64 2)))
(log1p.f64 (log.f64 2))
(+.f64 (*.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2))))
(fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2)))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (pow.f64 x 2) (+.f64 1 (log.f64 2)))) (+.f64 (.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2))))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 (+.f64 1 (log.f64 2)) 2))))
(+.f64 (fma.f64 1/8 (/.f64 (.f64 x x) (+.f64 (log.f64 2) 1)) (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2)))) (.f64 -1/8 (/.f64 (*.f64 x x) (pow.f64 (+.f64 (log.f64 2) 1) 2))))
(+.f64 (fma.f64 1/8 (/.f64 x (/.f64 (+.f64 (log.f64 2) 1) x)) (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2)))) (*.f64 (/.f64 x (/.f64 (pow.f64 (+.f64 (log.f64 2) 1) 2) x)) -1/8))
(+.f64 (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2))) (.f64 (/.f64 (.f64 x x) (+.f64 (log.f64 2) 1)) (-.f64 1/8 (/.f64 1/8 (+.f64 (log.f64 2) 1)))))
(+.f64 (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2))) (*.f64 (/.f64 x (/.f64 (+.f64 (log.f64 2) 1) x)) (-.f64 1/8 (/.f64 1/8 (+.f64 (log.f64 2) 1)))))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (pow.f64 x 2) (+.f64 1 (log.f64 2)))) (+.f64 (.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 1 (log.f64 2)) 3))) (+.f64 (.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2)))))) (+.f64 (.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 (+.f64 1 (log.f64 2)) 2))) (*.f64 1/16 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 1 (log.f64 2)) 2)))))
(-.f64 (fma.f64 1/8 (/.f64 (.f64 x x) (+.f64 (log.f64 2) 1)) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 (log.f64 2) 1) 3)) (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2))))) (fma.f64 1/8 (/.f64 (.f64 x x) (pow.f64 (+.f64 (log.f64 2) 1) 2)) (*.f64 1/16 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 (log.f64 2) 1) 2)))))
(-.f64 (fma.f64 1/8 (/.f64 x (/.f64 (+.f64 (log.f64 2) 1) x)) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 (log.f64 2) 1) 3)) (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2))))) (fma.f64 1/16 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 (log.f64 2) 1) 2)) (/.f64 (.f64 1/8 (.f64 x x)) (pow.f64 (+.f64 (log.f64 2) 1) 2))))
(+.f64 (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (fma.f64 1/24 (pow.f64 (/.f64 x (+.f64 (log.f64 2) 1)) 3) (log1p.f64 (log.f64 2)))) (+.f64 (.f64 (/.f64 (.f64 x x) (+.f64 (log.f64 2) 1)) (-.f64 1/8 (/.f64 1/8 (+.f64 (log.f64 2) 1)))) (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 (log.f64 2) 1) 2)) -1/16)))
(+.f64 (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (fma.f64 1/24 (pow.f64 (/.f64 x (+.f64 (log.f64 2) 1)) 3) (log1p.f64 (log.f64 2)))) (.f64 (/.f64 x (/.f64 (+.f64 (log.f64 2) 1) x)) (-.f64 (-.f64 1/8 (/.f64 1/8 (+.f64 (log.f64 2) 1))) (.f64 (/.f64 x (+.f64 (log.f64 2) 1)) 1/16))))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log1p.f64 (log1p.f64 (exp.f64 x)))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log1p.f64 (log1p.f64 (exp.f64 x)))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log1p.f64 (log1p.f64 (exp.f64 x)))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log1p.f64 (log1p.f64 (exp.f64 x)))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log1p.f64 (log1p.f64 (exp.f64 x)))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log1p.f64 (log1p.f64 (exp.f64 x)))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log1p.f64 (log1p.f64 (exp.f64 x)))
(log.f64 (+.f64 1 (log.f64 (+.f64 1 (exp.f64 x)))))
(log1p.f64 (log1p.f64 (exp.f64 x)))
(log.f64 2)
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (*.f64 y x))
(+.f64 (log.f64 2) (-.f64 (fma.f64 1/8 (.f64 x x) (.f64 1/2 x)) (*.f64 x y)))
(+.f64 (+.f64 (log.f64 2) (.f64 1/8 (.f64 x x))) (*.f64 x (-.f64 1/2 y)))
(+.f64 (log.f64 2) (.f64 x (+.f64 (.f64 x 1/8) (-.f64 1/2 y))))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 1/8 (pow.f64 x 2)) (.f64 1/2 x))) (+.f64 (.f64 y x) (.f64 1/192 (pow.f64 x 4))))
(-.f64 (+.f64 (log.f64 2) (fma.f64 1/8 (.f64 x x) (.f64 1/2 x))) (fma.f64 y x (*.f64 1/192 (pow.f64 x 4))))
(+.f64 (log.f64 2) (-.f64 (fma.f64 1/2 x (.f64 1/8 (.f64 x x))) (fma.f64 x y (*.f64 1/192 (pow.f64 x 4)))))
(+.f64 (log.f64 2) (+.f64 (.f64 x (+.f64 (.f64 x 1/8) (-.f64 1/2 y))) (*.f64 (pow.f64 x 4) -1/192)))
(+.f64 (log.f64 2) (fma.f64 x (+.f64 (.f64 x 1/8) (-.f64 1/2 y)) (.f64 (pow.f64 x 4) -1/192)))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 y (neg.f64 x))
(*.f64 x (neg.f64 y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 y (neg.f64 x))
(*.f64 x (neg.f64 y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(log.f64 (+.f64 1 (exp.f64 x)))
(log1p.f64 (exp.f64 x))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 y (neg.f64 x))
(*.f64 x (neg.f64 y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 y (neg.f64 x))
(*.f64 x (neg.f64 y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 y x))
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

prune71.0ms (1.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	127	3	130

Error

0.2b

Counts

130 → 3

Alt Table

Status	Error	Program
▶	13.0b	(fma.f64 x (-.f64 1/2 y) (log.f64 2))
	20.8b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 1/2 x (log.f64 2)))) (*.f64 x y))
✓	0.5b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

Compiler

Compiled 1944 to 896 computations (53.9% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 x (-.f64 1/2 y) (log.f64 2))

series7.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	x	@	0	(fma.f64 x (-.f64 1/2 y) (log.f64 2))
2.0ms	y	@	0	(fma.f64 x (-.f64 1/2 y) (log.f64 2))
1.0ms	x	@	-inf	(fma.f64 x (-.f64 1/2 y) (log.f64 2))
1.0ms	y	@	inf	(fma.f64 x (-.f64 1/2 y) (log.f64 2))
1.0ms	x	@	inf	(fma.f64 x (-.f64 1/2 y) (log.f64 2))

rewrite36.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

834×	`pow1_binary64`
775×	`log1p-expm1-u_binary64`
775×	`expm1-log1p-u_binary64`
86×	`add-sqr-sqrt_binary64`
82×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	170	10
2	2028	10

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(fma.f64 x (-.f64 1/2 y) (log.f64 2))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (-.f64 1/2 y)) (log.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (-.f64 1/2 y)) 1) (log.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x (-.f64 1/2 y) (log.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))) (pow.f64 (cbrt.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))) 2) (cbrt.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))) (sqrt.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x (-.f64 1/2 y)) 3) (pow.f64 (log.f64 2) 3)) (+.f64 (*.f64 (*.f64 x (-.f64 1/2 y)) (*.f64 x (-.f64 1/2 y))) (-.f64 (pow.f64 (log.f64 2) 2) (*.f64 (*.f64 x (-.f64 1/2 y)) (log.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x (-.f64 1/2 y)) (*.f64 x (-.f64 1/2 y))) (pow.f64 (log.f64 2) 2)) (-.f64 (*.f64 x (-.f64 1/2 y)) (log.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x (-.f64 1/2 y) (log.f64 2))))))))

simplify28.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

336×	`fma-def_binary64`
260×	`fma-neg_binary64`
76×	`cancel-sign-sub-inv_binary64`
51×	`sub-neg_binary64`
41×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	308
1	40	252
2	85	216
3	161	216
4	287	216
5	436	216
6	659	216
7	970	216
8	1247	216
9	1272	216
10	1273	216

Stop Event

1×

saturated

Counts

47 → 33

Calls

Call 1

Inputs
(log.f64 2)
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(*.f64 (-.f64 1/2 y) x)
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(.f64 -1 (.f64 (-.f64 y 1/2) x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(.f64 -1 (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(.f64 -1 (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))

Outputs
(log.f64 2)
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(*.f64 (-.f64 1/2 y) x)
(*.f64 x (-.f64 1/2 y))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(.f64 -1 (.f64 (-.f64 y 1/2) x))
(*.f64 x (-.f64 1/2 y))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 x (neg.f64 y))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 x (neg.f64 y))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))

prune22.0ms (0.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	33	0	33
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	33	3	36

Error

0.2b

Counts

36 → 3

Alt Table

Status	Error	Program
✓	13.0b	(fma.f64 x (-.f64 1/2 y) (log.f64 2))
▶	20.8b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 1/2 x (log.f64 2)))) (*.f64 x y))
✓	0.5b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

Compiler

Compiled 393 to 302 computations (23.2% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 1/2 x (log.f64 2)))) (*.f64 x y))
✓	0.0b	(log1p.f64 (fma.f64 1/2 x (log.f64 2)))
✓	0.0b	(fma.f64 1/2 x (log.f64 2))
✓	0.0b	(expm1.f64 (log1p.f64 (fma.f64 1/2 x (log.f64 2))))

series7.0ms (0.1%)

Counts

4 → 60

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(log1p.f64 (fma.f64 1/2 x (log.f64 2)))
1.0ms	x	@	-inf	(log1p.f64 (fma.f64 1/2 x (log.f64 2)))
1.0ms	x	@	0	(log1p.f64 (fma.f64 1/2 x (log.f64 2)))
1.0ms	x	@	0	(expm1.f64 (log1p.f64 (fma.f64 1/2 x (log.f64 2))))
0.0ms	x	@	-inf	(expm1.f64 (log1p.f64 (fma.f64 1/2 x (log.f64 2))))

rewrite73.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

783×	`prod-diff_binary64`
250×	`fma-def_binary64`
186×	`expm1-udef_binary64`
185×	`log1p-udef_binary64`
139×	`egg-rr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	214	36
2	2658	36

Stop Event

1×	node limit

Counts

4 → 222

Calls

Call 1

Inputs
(expm1.f64 (log1p.f64 (fma.f64 1/2 x (log.f64 2))))
(fma.f64 1/2 x (log.f64 2))
(log1p.f64 (fma.f64 1/2 x (log.f64 2)))
(-.f64 (expm1.f64 (log1p.f64 (fma.f64 1/2 x (log.f64 2)))) (*.f64 x y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log1p.f64 1) (.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 x) (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 1/2 x) 1) (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 1/2 x (log1p.f64 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) 3) 1) (fma.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) (+.f64 1 (.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 1/2 x) 3) (pow.f64 (log1p.f64 1) 3)) (fma.f64 (.f64 1/2 x) (.f64 1/2 x) (-.f64 (pow.f64 (log1p.f64 1) 2) (.f64 (.f64 1/2 x) (log1p.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) -1) (+.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 1/2 x) (.f64 1/2 x)) (pow.f64 (log1p.f64 1) 2)) (-.f64 (.f64 1/2 x) (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (.f64 1/2 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/2 x (log1p.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/2 x (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1/2 (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (log1p.f64 1) 1 (.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (log1p.f64 1) (.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 1/2 x) (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (log1p.f64 1)) (pow.f64 (cbrt.f64 (log1p.f64 1)) 2) (.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 1)) 2) (cbrt.f64 (log1p.f64 1)) (.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log1p.f64 1)) (sqrt.f64 (log1p.f64 1)) (.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 1/2 x) 1 (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) (cbrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1))) (cbrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (.f64 1/2 x)) (cbrt.f64 (.f64 1/2 x))) (cbrt.f64 (.f64 1/2 x)) (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) (sqrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 1/2 x)) (sqrt.f64 (.f64 1/2 x)) (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 1/2 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 1/2 (sqrt.f64 x)) (sqrt.f64 x) (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 1/2 x (log1p.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 1/2 x (log1p.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 1/2 x (log1p.f64 1))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log1p.f64 1) (.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 x) (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 1/2 x) 1) (log1p.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 1/2 x (log1p.f64 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) 3) 1) (fma.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) (+.f64 1 (.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 1/2 x) 3) (pow.f64 (log1p.f64 1) 3)) (fma.f64 (.f64 1/2 x) (.f64 1/2 x) (-.f64 (pow.f64 (log1p.f64 1) 2) (.f64 (.f64 1/2 x) (log1p.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) -1) (+.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 1/2 x) (.f64 1/2 x)) (pow.f64 (log1p.f64 1) 2)) (-.f64 (.f64 1/2 x) (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (.f64 1/2 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/2 x (log1p.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 1/2 x (log1p.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 1/2 x (log1p.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 1/2 x (log1p.f64 1))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1)))) (pow.f64 (cbrt.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1)))) 2) (cbrt.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1)))) (sqrt.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log1p.f64 (fma.f64 1/2 x (log1p.f64 1)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 (.f64 x (neg.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) (fma.f64 (.f64 x (neg.f64 y)) 1 (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) (fma.f64 (neg.f64 x) y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) (fma.f64 -1 (.f64 x y) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2)) (cbrt.f64 (.f64 x y)) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 x) (-.f64 (log1p.f64 1) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (neg.f64 y)) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (fma.f64 1/2 x (log1p.f64 1)) 1 (neg.f64 (.f64 (.f64 (cbrt.f64 y) x) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) x)) (pow.f64 (cbrt.f64 y) 2) (.f64 (.f64 (cbrt.f64 y) x) (pow.f64 (cbrt.f64 y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (fma.f64 1/2 x (log1p.f64 1)) (neg.f64 (.f64 (.f64 (cbrt.f64 y) x) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) x)) (pow.f64 (cbrt.f64 y) 2) (.f64 (.f64 (cbrt.f64 y) x) (pow.f64 (cbrt.f64 y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (neg.f64 (.f64 (.f64 (cbrt.f64 y) x) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) x)) (pow.f64 (cbrt.f64 y) 2) (.f64 (.f64 (cbrt.f64 y) x) (pow.f64 (cbrt.f64 y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (.f64 (cbrt.f64 y) x) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) x)) (pow.f64 (cbrt.f64 y) 2) (.f64 (.f64 (cbrt.f64 y) x) (pow.f64 (cbrt.f64 y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (.f64 (cbrt.f64 y) x) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) x)) (pow.f64 (cbrt.f64 y) 2) (.f64 (.f64 (cbrt.f64 y) x) (pow.f64 (cbrt.f64 y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (fma.f64 1/2 x (log1p.f64 1)) 1 (neg.f64 (.f64 (.f64 (cbrt.f64 x) y) (pow.f64 (cbrt.f64 x) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 x) y)) (pow.f64 (cbrt.f64 x) 2) (.f64 (.f64 (cbrt.f64 x) y) (pow.f64 (cbrt.f64 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (fma.f64 1/2 x (log1p.f64 1)) (neg.f64 (.f64 (.f64 (cbrt.f64 x) y) (pow.f64 (cbrt.f64 x) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 x) y)) (pow.f64 (cbrt.f64 x) 2) (.f64 (.f64 (cbrt.f64 x) y) (pow.f64 (cbrt.f64 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (neg.f64 (.f64 (.f64 (cbrt.f64 x) y) (pow.f64 (cbrt.f64 x) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 x) y)) (pow.f64 (cbrt.f64 x) 2) (.f64 (.f64 (cbrt.f64 x) y) (pow.f64 (cbrt.f64 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (.f64 (cbrt.f64 x) y) (pow.f64 (cbrt.f64 x) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 x) y)) (pow.f64 (cbrt.f64 x) 2) (.f64 (.f64 (cbrt.f64 x) y) (pow.f64 (cbrt.f64 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (.f64 (cbrt.f64 x) y) (pow.f64 (cbrt.f64 x) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 x) y)) (pow.f64 (cbrt.f64 x) 2) (.f64 (.f64 (cbrt.f64 x) y) (pow.f64 (cbrt.f64 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (fma.f64 1/2 x (log1p.f64 1)) 1 (neg.f64 (.f64 (.f64 (sqrt.f64 y) x) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) x)) (sqrt.f64 y) (.f64 (.f64 (sqrt.f64 y) x) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (fma.f64 1/2 x (log1p.f64 1)) (neg.f64 (.f64 (.f64 (sqrt.f64 y) x) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) x)) (sqrt.f64 y) (.f64 (.f64 (sqrt.f64 y) x) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (neg.f64 (.f64 (.f64 (sqrt.f64 y) x) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) x)) (sqrt.f64 y) (.f64 (.f64 (sqrt.f64 y) x) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (.f64 (sqrt.f64 y) x) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) x)) (sqrt.f64 y) (.f64 (.f64 (sqrt.f64 y) x) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (.f64 (sqrt.f64 y) x) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) x)) (sqrt.f64 y) (.f64 (.f64 (sqrt.f64 y) x) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (fma.f64 1/2 x (log1p.f64 1)) 1 (neg.f64 (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 x)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 x) y)) (sqrt.f64 x) (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (fma.f64 1/2 x (log1p.f64 1)) (neg.f64 (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 x)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 x) y)) (sqrt.f64 x) (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (neg.f64 (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 x)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 x) y)) (sqrt.f64 x) (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 x)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 x) y)) (sqrt.f64 x) (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 x)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 x) y)) (sqrt.f64 x) (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (fma.f64 1/2 x (log1p.f64 1)) 1 (neg.f64 (.f64 (cbrt.f64 y) (.f64 x (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 x (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (.f64 x (pow.f64 (cbrt.f64 y) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (fma.f64 1/2 x (log1p.f64 1)) (neg.f64 (.f64 (cbrt.f64 y) (.f64 x (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 x (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (.f64 x (pow.f64 (cbrt.f64 y) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (neg.f64 (.f64 (cbrt.f64 y) (.f64 x (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 x (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (.f64 x (pow.f64 (cbrt.f64 y) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (cbrt.f64 y) (.f64 x (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 x (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (.f64 x (pow.f64 (cbrt.f64 y) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (cbrt.f64 y) (.f64 x (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 x (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (.f64 x (pow.f64 (cbrt.f64 y) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (fma.f64 1/2 x (log1p.f64 1)) 1 (neg.f64 (.f64 (sqrt.f64 y) (.f64 x (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 x (sqrt.f64 y)) (.f64 (sqrt.f64 y) (.f64 x (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (fma.f64 1/2 x (log1p.f64 1)) (neg.f64 (.f64 (sqrt.f64 y) (.f64 x (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 x (sqrt.f64 y)) (.f64 (sqrt.f64 y) (.f64 x (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (neg.f64 (.f64 (sqrt.f64 y) (.f64 x (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 x (sqrt.f64 y)) (.f64 (sqrt.f64 y) (.f64 x (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (sqrt.f64 y) (.f64 x (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 x (sqrt.f64 y)) (.f64 (sqrt.f64 y) (.f64 x (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (sqrt.f64 y) (.f64 x (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 x (sqrt.f64 y)) (.f64 (sqrt.f64 y) (.f64 x (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (fma.f64 1/2 x (log1p.f64 1)) 1 (neg.f64 (.f64 (cbrt.f64 x) (.f64 y (pow.f64 (cbrt.f64 x) 2))))) (fma.f64 (neg.f64 (cbrt.f64 x)) (.f64 y (pow.f64 (cbrt.f64 x) 2)) (.f64 (cbrt.f64 x) (.f64 y (pow.f64 (cbrt.f64 x) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (fma.f64 1/2 x (log1p.f64 1)) (neg.f64 (.f64 (cbrt.f64 x) (.f64 y (pow.f64 (cbrt.f64 x) 2))))) (fma.f64 (neg.f64 (cbrt.f64 x)) (.f64 y (pow.f64 (cbrt.f64 x) 2)) (.f64 (cbrt.f64 x) (.f64 y (pow.f64 (cbrt.f64 x) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (neg.f64 (.f64 (cbrt.f64 x) (.f64 y (pow.f64 (cbrt.f64 x) 2))))) (fma.f64 (neg.f64 (cbrt.f64 x)) (.f64 y (pow.f64 (cbrt.f64 x) 2)) (.f64 (cbrt.f64 x) (.f64 y (pow.f64 (cbrt.f64 x) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (cbrt.f64 x) (.f64 y (pow.f64 (cbrt.f64 x) 2))))) (fma.f64 (neg.f64 (cbrt.f64 x)) (.f64 y (pow.f64 (cbrt.f64 x) 2)) (.f64 (cbrt.f64 x) (.f64 y (pow.f64 (cbrt.f64 x) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (cbrt.f64 x) (.f64 y (pow.f64 (cbrt.f64 x) 2))))) (fma.f64 (neg.f64 (cbrt.f64 x)) (.f64 y (pow.f64 (cbrt.f64 x) 2)) (.f64 (cbrt.f64 x) (.f64 y (pow.f64 (cbrt.f64 x) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (fma.f64 1/2 x (log1p.f64 1)) 1 (neg.f64 (.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 x)) (.f64 y (sqrt.f64 x)) (.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (fma.f64 1/2 x (log1p.f64 1)) (neg.f64 (.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 x)) (.f64 y (sqrt.f64 x)) (.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (neg.f64 (.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 x)) (.f64 y (sqrt.f64 x)) (.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 x)) (.f64 y (sqrt.f64 x)) (.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (neg.f64 (.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 x)) (.f64 y (sqrt.f64 x)) (.f64 (sqrt.f64 x) (.f64 y (sqrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (cbrt.f64 (pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 2)) (cbrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (sqrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3) (pow.f64 (.f64 x y) 3)) (/.f64 1 (fma.f64 (.f64 x y) (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1))) (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2) (pow.f64 (.f64 x y) 2)) (/.f64 1 (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (.f64 x y))) (-.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (.f64 x y) (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1))) (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3) (pow.f64 (.f64 x y) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1))) (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2) (pow.f64 (.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3) (pow.f64 (.f64 x y) 3)) (fma.f64 (.f64 x y) (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1))) (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2) (pow.f64 (.f64 x y) 2)) (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3) (pow.f64 (.f64 x y) 3))) (neg.f64 (fma.f64 (.f64 x y) (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1))) (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2) (pow.f64 (.f64 x y) 2))) (neg.f64 (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3) (pow.f64 (.f64 x (neg.f64 y)) 3)) (+.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2) (-.f64 (.f64 (.f64 x (neg.f64 y)) (.f64 x (neg.f64 y))) (.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x (neg.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2) (.f64 (.f64 x (neg.f64 y)) (.f64 x (neg.f64 y)))) (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x (neg.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/2 x (-.f64 (log1p.f64 1) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1/2 (-.f64 (log1p.f64 1) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (neg.f64 y) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 1/2 x (log1p.f64 1)) 1 (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 1/2 x (log1p.f64 1)) 1 (.f64 (.f64 x (neg.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (neg.f64 x) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 1 (fma.f64 (.f64 x (neg.f64 y)) 1 (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 1 (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 1 (fma.f64 (neg.f64 x) y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 1/2 x (log1p.f64 1)) (.f64 (.f64 x (neg.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) (fma.f64 (.f64 x (neg.f64 y)) 1 (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) (fma.f64 (neg.f64 x) y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) (neg.f64 (+.f64 1 (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1) (neg.f64 (-.f64 1 (.f64 x (neg.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 1/2 x) (-.f64 (log1p.f64 1) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x (neg.f64 y)) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (cbrt.f64 (pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 2)) (fma.f64 (.f64 x (neg.f64 y)) 1 (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (cbrt.f64 (pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 2)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (cbrt.f64 (pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 2)) (fma.f64 (neg.f64 x) y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 2)) (cbrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (fma.f64 (.f64 x (neg.f64 y)) 1 (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 2)) (cbrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y)) 2)) (cbrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (fma.f64 (neg.f64 x) y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (.f64 (.f64 x (neg.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2)) (cbrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (.f64 (.f64 x (neg.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (neg.f64 (cbrt.f64 (.f64 x y))) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (sqrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (fma.f64 (.f64 x (neg.f64 y)) 1 (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (sqrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (sqrt.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) (fma.f64 (neg.f64 x) y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (.f64 x (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (.f64 (.f64 x (neg.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 x y)) (neg.f64 (sqrt.f64 (.f64 x y))) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3) (pow.f64 (.f64 x y) 3)) (/.f64 1 (fma.f64 (.f64 x y) (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1))) (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2))) (fma.f64 (.f64 x (neg.f64 y)) 1 (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3) (pow.f64 (.f64 x y) 3)) (/.f64 1 (fma.f64 (.f64 x y) (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1))) (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 3) (pow.f64 (.f64 x y) 3)) (/.f64 1 (fma.f64 (.f64 x y) (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1))) (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2))) (fma.f64 (neg.f64 x) y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2) (pow.f64 (.f64 x y) 2)) (/.f64 1 (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1)))) (fma.f64 (.f64 x (neg.f64 y)) 1 (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2) (pow.f64 (.f64 x y) 2)) (/.f64 1 (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (fma.f64 1/2 x (log1p.f64 1)) 2) (pow.f64 (.f64 x y) 2)) (/.f64 1 (fma.f64 x y (fma.f64 1/2 x (log1p.f64 1)))) (fma.f64 (neg.f64 x) y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 x) y (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) (cbrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1))) (cbrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) (neg.f64 (+.f64 1 (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) (cbrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1))) (cbrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) (neg.f64 (-.f64 1 (.f64 x (neg.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (.f64 x (neg.f64 y))) (cbrt.f64 (.f64 x (neg.f64 y)))) (cbrt.f64 (.f64 x (neg.f64 y))) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (.f64 1/2 x)) (cbrt.f64 (.f64 1/2 x))) (cbrt.f64 (.f64 1/2 x)) (-.f64 (log1p.f64 1) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) (sqrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) (neg.f64 (+.f64 1 (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) (sqrt.f64 (+.f64 (fma.f64 1/2 x (log1p.f64 1)) 1)) (neg.f64 (-.f64 1 (.f64 x (neg.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 x (neg.f64 y))) (sqrt.f64 (.f64 x (neg.f64 y))) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 1/2 x)) (sqrt.f64 (.f64 1/2 x)) (-.f64 (log1p.f64 1) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 y) x (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (sqrt.f64 (.f64 x y))) (sqrt.f64 (.f64 x y)) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (.f64 x y) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (.f64 x y))) (-.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (.f64 x y))) (fma.f64 (.f64 x (neg.f64 y)) 1 (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (.f64 x y))) (-.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (.f64 x y))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 x y))) (pow.f64 (cbrt.f64 (.f64 x y)) 2) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (.f64 x y))) (-.f64 (sqrt.f64 (fma.f64 1/2 x (log1p.f64 1))) (sqrt.f64 (.f64 x y))) (fma.f64 (neg.f64 x) y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2)) (cbrt.f64 (.f64 x y)) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (neg.f64 x) 1) y (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (neg.f64 x) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (neg.f64 x) (sqrt.f64 y)) (sqrt.f64 y) (fma.f64 1/2 x (log1p.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 1/2 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (-.f64 (log1p.f64 1) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 1/2 (sqrt.f64 x)) (sqrt.f64 x) (-.f64 (log1p.f64 1) (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (fma.f64 1/2 x (log1p.f64 1)) (.f64 x y))))))))

simplify39.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

581×	`associate-+l+_binary64`
477×	`associate--r+_binary64`
460×	`associate--l+_binary64`
423×	`fma-def_binary64`
216×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	101	1030
1	330	928
2	1204	875

Stop Event

1×	node limit

Counts

282 → 231

Calls

Call 1

Inputs
(log.f64 2)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(*.f64 1/2 x)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(*.f64 1/2 x)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(log.f64 2)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(*.f64 1/2 x)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(*.f64 1/2 x)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(log.f64 (+.f64 1 (log.f64 2)))
(+.f64 (*.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2)))) (.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 (+.f64 1 (log.f64 2)) 2))))
(-.f64 (+.f64 (.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 1 (log.f64 2)) 3))) (+.f64 (.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2))))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 (+.f64 1 (log.f64 2)) 2))))
(-.f64 (log.f64 1/2) (log.f64 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (+.f64 (.f64 2 (/.f64 1 x)) (log.f64 1/2))) (log.f64 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (+.f64 (.f64 2 (/.f64 1 x)) (log.f64 1/2))) (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 2))) (+.f64 (log.f64 (/.f64 1 x)) (+.f64 (.f64 4 (/.f64 (log.f64 2) (pow.f64 x 2))) (*.f64 2 (/.f64 1 (pow.f64 x 2)))))))
(-.f64 (+.f64 (.f64 8/3 (/.f64 (pow.f64 (log.f64 2) 3) (pow.f64 x 3))) (+.f64 (.f64 8 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 3))) (+.f64 (.f64 2 (/.f64 1 x)) (+.f64 (log.f64 1/2) (+.f64 (.f64 8/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (.f64 8 (/.f64 (log.f64 2) (pow.f64 x 3))))))))) (+.f64 (log.f64 (/.f64 1 x)) (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 2))) (+.f64 (.f64 2 (/.f64 1 (pow.f64 x 2))) (*.f64 4 (/.f64 (log.f64 2) (pow.f64 x 2)))))))
(-.f64 (log.f64 -1/2) (log.f64 (/.f64 -1 x)))
(-.f64 (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (+.f64 (.f64 2 (/.f64 1 x)) (log.f64 -1/2))) (log.f64 (/.f64 -1 x)))
(-.f64 (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (+.f64 (.f64 2 (/.f64 1 x)) (log.f64 -1/2))) (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 2))) (+.f64 (.f64 4 (/.f64 (log.f64 2) (pow.f64 x 2))) (+.f64 (log.f64 (/.f64 -1 x)) (*.f64 2 (/.f64 1 (pow.f64 x 2)))))))
(-.f64 (+.f64 (.f64 8/3 (/.f64 (pow.f64 (log.f64 2) 3) (pow.f64 x 3))) (+.f64 (.f64 8 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 3))) (+.f64 (.f64 2 (/.f64 1 x)) (+.f64 (.f64 8/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (+.f64 (log.f64 -1/2) (.f64 8 (/.f64 (log.f64 2) (pow.f64 x 3))))))))) (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 2))) (+.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 2 (/.f64 1 (pow.f64 x 2))) (*.f64 4 (/.f64 (log.f64 2) (pow.f64 x 2)))))))
(log.f64 2)
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(*.f64 (-.f64 1/2 y) x)
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(.f64 -1 (.f64 (-.f64 y 1/2) x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(.f64 -1 (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(.f64 -1 (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))

Outputs
(log.f64 2)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(*.f64 1/2 x)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(*.f64 1/2 x)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(log.f64 2)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(*.f64 1/2 x)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(*.f64 1/2 x)
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(log.f64 (+.f64 1 (log.f64 2)))
(log1p.f64 (log.f64 2))
(+.f64 (*.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2))))
(fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2)))
(-.f64 (+.f64 (.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2)))) (.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 (+.f64 1 (log.f64 2)) 2))))
(+.f64 (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2))) (.f64 -1/8 (/.f64 (.f64 x x) (pow.f64 (+.f64 (log.f64 2) 1) 2))))
(+.f64 (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2))) (/.f64 (.f64 -1/8 (.f64 x x)) (pow.f64 (+.f64 (log.f64 2) 1) 2)))
(fma.f64 (*.f64 (/.f64 x (pow.f64 (+.f64 (log.f64 2) 1) 2)) x) -1/8 (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2))))
(-.f64 (+.f64 (.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 1 (log.f64 2)) 3))) (+.f64 (.f64 1/2 (/.f64 x (+.f64 1 (log.f64 2)))) (log.f64 (+.f64 1 (log.f64 2))))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 (+.f64 1 (log.f64 2)) 2))))
(+.f64 (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 (log.f64 2) 1) 3)) (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2)))) (.f64 -1/8 (/.f64 (.f64 x x) (pow.f64 (+.f64 (log.f64 2) 1) 2))))
(+.f64 (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 (+.f64 (log.f64 2) 1) 3)) (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2)))) (/.f64 (.f64 -1/8 (.f64 x x)) (pow.f64 (+.f64 (log.f64 2) 1) 2)))
(fma.f64 (*.f64 (/.f64 x (pow.f64 (+.f64 (log.f64 2) 1) 2)) x) -1/8 (fma.f64 1/24 (pow.f64 (/.f64 x (+.f64 (log.f64 2) 1)) 3) (fma.f64 1/2 (/.f64 x (+.f64 (log.f64 2) 1)) (log1p.f64 (log.f64 2)))))
(-.f64 (log.f64 1/2) (log.f64 (/.f64 1 x)))
(-.f64 (log.f64 1/2) (neg.f64 (log.f64 x)))
(+.f64 (log.f64 1/2) (log.f64 x))
(-.f64 (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (+.f64 (.f64 2 (/.f64 1 x)) (log.f64 1/2))) (log.f64 (/.f64 1 x)))
(-.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (+.f64 (log.f64 1/2) (/.f64 2 x))) (neg.f64 (log.f64 x)))
(+.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (+.f64 (log.f64 1/2) (/.f64 2 x))) (log.f64 x))
(+.f64 (log.f64 1/2) (+.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (/.f64 2 x)) (log.f64 x)))
(-.f64 (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (+.f64 (.f64 2 (/.f64 1 x)) (log.f64 1/2))) (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 2))) (+.f64 (log.f64 (/.f64 1 x)) (+.f64 (.f64 4 (/.f64 (log.f64 2) (pow.f64 x 2))) (*.f64 2 (/.f64 1 (pow.f64 x 2)))))))
(-.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (+.f64 (log.f64 1/2) (/.f64 2 x))) (fma.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (.f64 x x)) (+.f64 (neg.f64 (log.f64 x)) (fma.f64 4 (/.f64 (log.f64 2) (.f64 x x)) (/.f64 2 (*.f64 x x))))))
(-.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (+.f64 (log.f64 1/2) (/.f64 2 x))) (fma.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (.f64 x x)) (-.f64 (fma.f64 4 (/.f64 (log.f64 2) (.f64 x x)) (/.f64 2 (*.f64 x x))) (log.f64 x))))
(+.f64 (/.f64 2 x) (+.f64 (log.f64 1/2) (-.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (log.f64 x)) (fma.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (*.f64 x x)) (fma.f64 (/.f64 4 x) (/.f64 (log.f64 2) x) (/.f64 (/.f64 2 x) x))))))
(-.f64 (+.f64 (.f64 8/3 (/.f64 (pow.f64 (log.f64 2) 3) (pow.f64 x 3))) (+.f64 (.f64 8 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 3))) (+.f64 (.f64 2 (/.f64 1 x)) (+.f64 (log.f64 1/2) (+.f64 (.f64 8/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (.f64 8 (/.f64 (log.f64 2) (pow.f64 x 3))))))))) (+.f64 (log.f64 (/.f64 1 x)) (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 2))) (+.f64 (.f64 2 (/.f64 1 (pow.f64 x 2))) (*.f64 4 (/.f64 (log.f64 2) (pow.f64 x 2)))))))
(-.f64 (fma.f64 8/3 (/.f64 (pow.f64 (log.f64 2) 3) (pow.f64 x 3)) (fma.f64 8 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 3)) (+.f64 (+.f64 (log.f64 1/2) (/.f64 2 x)) (+.f64 (/.f64 8/3 (pow.f64 x 3)) (fma.f64 2 (/.f64 (log.f64 2) x) (/.f64 (.f64 8 (log.f64 2)) (pow.f64 x 3))))))) (+.f64 (neg.f64 (log.f64 x)) (fma.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (.f64 x x)) (fma.f64 4 (/.f64 (log.f64 2) (.f64 x x)) (/.f64 2 (.f64 x x))))))
(-.f64 (fma.f64 8/3 (/.f64 (pow.f64 (log.f64 2) 3) (pow.f64 x 3)) (+.f64 (+.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (/.f64 8 (/.f64 (pow.f64 x 3) (log.f64 2)))) (+.f64 (log.f64 1/2) (/.f64 8/3 (pow.f64 x 3)))) (fma.f64 8 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 3)) (/.f64 2 x)))) (fma.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (.f64 x x)) (-.f64 (fma.f64 4 (/.f64 (log.f64 2) (.f64 x x)) (/.f64 2 (*.f64 x x))) (log.f64 x))))
(+.f64 (+.f64 (log.f64 1/2) (+.f64 (/.f64 8/3 (pow.f64 x 3)) (.f64 (/.f64 (log.f64 2) x) (+.f64 (/.f64 (/.f64 8 x) x) 2)))) (+.f64 (fma.f64 8 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 3)) (/.f64 2 x)) (-.f64 (fma.f64 8/3 (pow.f64 (/.f64 (log.f64 2) x) 3) (log.f64 x)) (fma.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (.f64 x x)) (fma.f64 (/.f64 4 x) (/.f64 (log.f64 2) x) (/.f64 (/.f64 2 x) x))))))
(-.f64 (log.f64 -1/2) (log.f64 (/.f64 -1 x)))
(-.f64 (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (+.f64 (.f64 2 (/.f64 1 x)) (log.f64 -1/2))) (log.f64 (/.f64 -1 x)))
(-.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (+.f64 (/.f64 2 x) (log.f64 -1/2))) (log.f64 (/.f64 -1 x)))
(fma.f64 2 (/.f64 (log.f64 2) x) (-.f64 (+.f64 (/.f64 2 x) (log.f64 -1/2)) (log.f64 (/.f64 -1 x))))
(+.f64 (/.f64 2 x) (-.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (log.f64 -1/2)) (log.f64 (/.f64 -1 x))))
(-.f64 (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (+.f64 (.f64 2 (/.f64 1 x)) (log.f64 -1/2))) (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 2))) (+.f64 (.f64 4 (/.f64 (log.f64 2) (pow.f64 x 2))) (+.f64 (log.f64 (/.f64 -1 x)) (*.f64 2 (/.f64 1 (pow.f64 x 2)))))))
(-.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (+.f64 (/.f64 2 x) (log.f64 -1/2))) (fma.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (.f64 x x)) (+.f64 (fma.f64 4 (/.f64 (log.f64 2) (.f64 x x)) (/.f64 2 (*.f64 x x))) (log.f64 (/.f64 -1 x)))))
(+.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (/.f64 2 x)) (-.f64 (log.f64 -1/2) (+.f64 (fma.f64 4 (/.f64 (log.f64 2) (.f64 x x)) (/.f64 2 (.f64 x x))) (fma.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (*.f64 x x)) (log.f64 (/.f64 -1 x))))))
(+.f64 (log.f64 -1/2) (-.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (/.f64 2 x)) (+.f64 (fma.f64 (/.f64 4 x) (/.f64 (log.f64 2) x) (/.f64 (/.f64 2 x) x)) (fma.f64 (/.f64 2 x) (/.f64 (pow.f64 (log.f64 2) 2) x) (log.f64 (/.f64 -1 x))))))
(-.f64 (+.f64 (.f64 8/3 (/.f64 (pow.f64 (log.f64 2) 3) (pow.f64 x 3))) (+.f64 (.f64 8 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 3))) (+.f64 (.f64 2 (/.f64 1 x)) (+.f64 (.f64 8/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 2 (/.f64 (log.f64 2) x)) (+.f64 (log.f64 -1/2) (.f64 8 (/.f64 (log.f64 2) (pow.f64 x 3))))))))) (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 2))) (+.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 2 (/.f64 1 (pow.f64 x 2))) (*.f64 4 (/.f64 (log.f64 2) (pow.f64 x 2)))))))
(-.f64 (fma.f64 8/3 (/.f64 (pow.f64 (log.f64 2) 3) (pow.f64 x 3)) (fma.f64 8 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 3)) (+.f64 (+.f64 (/.f64 2 x) (/.f64 8/3 (pow.f64 x 3))) (fma.f64 2 (/.f64 (log.f64 2) x) (+.f64 (/.f64 (.f64 8 (log.f64 2)) (pow.f64 x 3)) (log.f64 -1/2)))))) (fma.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (.f64 x x)) (+.f64 (fma.f64 4 (/.f64 (log.f64 2) (.f64 x x)) (/.f64 2 (.f64 x x))) (log.f64 (/.f64 -1 x)))))
(-.f64 (fma.f64 8/3 (/.f64 (pow.f64 (log.f64 2) 3) (pow.f64 x 3)) (+.f64 (+.f64 (/.f64 8/3 (pow.f64 x 3)) (fma.f64 2 (/.f64 (log.f64 2) x) (fma.f64 8 (/.f64 (log.f64 2) (pow.f64 x 3)) (log.f64 -1/2)))) (fma.f64 8 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 3)) (/.f64 2 x)))) (+.f64 (fma.f64 4 (/.f64 (log.f64 2) (.f64 x x)) (/.f64 2 (.f64 x x))) (fma.f64 2 (/.f64 (pow.f64 (log.f64 2) 2) (*.f64 x x)) (log.f64 (/.f64 -1 x)))))
(+.f64 (fma.f64 8/3 (pow.f64 (/.f64 (log.f64 2) x) 3) (fma.f64 8 (/.f64 (pow.f64 (log.f64 2) 2) (pow.f64 x 3)) (/.f64 2 x))) (+.f64 (/.f64 8/3 (pow.f64 x 3)) (-.f64 (+.f64 (*.f64 (/.f64 (log.f64 2) x) (+.f64 (/.f64 (/.f64 8 x) x) 2)) (log.f64 -1/2)) (+.f64 (fma.f64 (/.f64 4 x) (/.f64 (log.f64 2) x) (/.f64 (/.f64 2 x) x)) (fma.f64 (/.f64 2 x) (/.f64 (pow.f64 (log.f64 2) 2) x) (log.f64 (/.f64 -1 x)))))))
(log.f64 2)
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(*.f64 (-.f64 1/2 y) x)
(*.f64 x (-.f64 1/2 y))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(.f64 -1 (.f64 (-.f64 y 1/2) x))
(*.f64 x (-.f64 1/2 y))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(+.f64 (log.f64 2) (*.f64 1/2 x))
(fma.f64 1/2 x (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 x (neg.f64 y))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 x (neg.f64 y))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))
(-.f64 (+.f64 (log.f64 2) (.f64 1/2 x)) (.f64 y x))
(+.f64 (log.f64 2) (-.f64 (.f64 1/2 x) (.f64 x y)))
(+.f64 (log.f64 2) (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) (log.f64 2))

prune153.0ms (2.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	230	1	231
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	230	4	234

Error

0.2b

Counts

234 → 4

Alt Table

Status	Error	Program
✓	13.0b	(fma.f64 x (-.f64 1/2 y) (log.f64 2))
✓	20.8b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 1/2 x (log.f64 2)))) (*.f64 x y))
✓	0.5b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
	63.4b	(-.f64 (expm1.f64 (+.f64 (log.f64 1/2) (+.f64 (fma.f64 2 (/.f64 (log.f64 2) x) (/.f64 2 x)) (log.f64 x)))) (*.f64 x y))

Compiler

Compiled 5469 to 3249 computations (40.6% saved)

regimes46.0ms (0.8%)

Accuracy

Total 0.3b remaining (60.6%)

Threshold costs 0.3b (60.6%)

Counts

21 → 1

Compiler

Compiled 208 to 134 computations (35.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	13	11
2	25	11
3	31	11
4	35	11
5	36	11

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

Outputs
(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

end61.0ms (1.1%)

Stop Event

1×

fuel

Compiler

Compiled 71 to 52 computations (26.8% saved)

Details

analyze498.0ms (9.2%)

sample3.9s (72.7%)

preprocess45.0ms (0.8%)

simplify33.0ms (0.6%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series51.0ms (0.9%)

rewrite46.0ms (0.8%)

simplify40.0ms (0.7%)

prune40.0ms (0.7%)

localize8.0ms (0.1%)

series66.0ms (1.2%)

rewrite44.0ms (0.8%)

simplify40.0ms (0.7%)

prune71.0ms (1.3%)

localize5.0ms (0.1%)

series7.0ms (0.1%)

rewrite36.0ms (0.7%)

simplify28.0ms (0.5%)

prune22.0ms (0.4%)

localize9.0ms (0.2%)

series7.0ms (0.1%)

rewrite73.0ms (1.3%)

simplify39.0ms (0.7%)

prune153.0ms (2.8%)

regimes46.0ms (0.8%)

simplify3.0ms (0%)

end61.0ms (1.1%)

Profiling