Details

analyze4.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	25%	25%	0%	3
50%	25%	25%	0%	25%	25%	0%	4
75%	37.5%	12.5%	0%	25%	25%	0%	5
87.5%	43.7%	6.2%	0%	25%	25%	0%	6
93.8%	46.9%	3.1%	0%	25%	25%	0%	7
96.9%	48.4%	1.6%	0%	25%	25%	0%	8
98.4%	49.2%	0.8%	0%	25%	25%	0%	9
99.2%	49.6%	0.4%	0%	25%	25%	0%	10
99.6%	49.8%	0.2%	0%	25%	25%	0%	11
99.8%	49.9%	0.1%	0%	25%	25%	0%	12

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample3.8s (67%)

Results

2.6s	4141×	body	1024	valid
615.0ms	2071×	body	512	valid
303.0ms	419×	body	2048	valid
231.0ms	1625×	body	256	valid
0.0ms	1×	body	256	invalid

Bogosity

preprocess322.0ms (5.7%)

Algorithm

2×	egg-herbie

Rules

781×	`fma-neg_binary64`
596×	`distribute-rgt-in_binary64`
596×	`unsub-neg_binary64`
511×	`fma-def_binary64`
419×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	20	13
2	28	13
3	43	13
4	73	13
5	109	13
6	153	13
7	272	13
8	591	13
9	1042	13
10	1481	13
11	1877	13
12	2081	13
13	2223	13
14	2569	13
15	3712	13
16	4950	13
17	5726	13
18	6008	13
19	6104	13
20	6224	13
21	6262	13
22	6686	13
23	7128	13
24	7436	13
25	7544	13
26	7592	13
27	7612	13
28	7620	13
29	7620	13
30	7620	13
31	7980	13
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

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

Compiler

Compiled 14 to 12 computations (14.3% saved)

simplify300.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

781×	`fma-neg_binary64`
596×	`distribute-rgt-in_binary64`
596×	`unsub-neg_binary64`
511×	`fma-def_binary64`
419×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	20	13
2	28	13
3	43	13
4	73	13
5	109	13
6	153	13
7	272	13
8	591	13
9	1042	13
10	1481	13
11	1877	13
12	2081	13
13	2223	13
14	2569	13
15	3712	13
16	4950	13
17	5726	13
18	6008	13
19	6104	13
20	6224	13
21	6262	13
22	6686	13
23	7128	13
24	7436	13
25	7544	13
26	7592	13
27	7612	13
28	7620	13
29	7620	13
30	7620	13
31	7980	13

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 21 to 17 computations (19% saved)

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	58.8b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
▶	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))

Compiler

Compiled 22 to 18 computations (18.2% saved)

localize19.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

Compiler

Compiled 24 to 8 computations (66.7% saved)

series5.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))
1.0ms	x	@	inf	(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))
1.0ms	x	@	-inf	(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

rewrite58.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

519×	`pow1_binary64`
484×	`add-log-exp_binary64`
484×	`expm1-log1p-u_binary64`
482×	`log1p-expm1-u_binary64`
475×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	130	8
2	1865	8

Stop Event

1×	node limit

Counts

1 → 35

Calls

Call 1

Inputs
(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

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

Outputs

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

simplify71.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

829×	`fma-def_binary64`
624×	`unswap-sqr_binary64`
565×	`associate-/r*_binary64`
503×	`associate-/l/_binary64`
384×	`times-frac_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	40	177
1	109	174
2	258	174
3	593	174
4	1163	174
5	2767	174
6	7370	174

Stop Event

1×	node limit

Counts

47 → 57

Calls

Call 1

Inputs
(*.f64 2 x)
(+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5))))
(+.f64 (.f64 2/7 (pow.f64 x 7)) (+.f64 (.f64 2 x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))))
(*.f64 -1 (log.f64 -1))
(+.f64 (.f64 -1 (log.f64 -1)) (.f64 2 (/.f64 1 x)))
(+.f64 (.f64 -1 (log.f64 -1)) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (*.f64 2 (/.f64 1 x))))
(+.f64 (.f64 -1 (log.f64 -1)) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 2 (/.f64 1 x)) (.f64 2/5 (/.f64 1 (pow.f64 x 5))))))
(log.f64 -1)
(+.f64 (log.f64 -1) (*.f64 2 (/.f64 1 x)))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (.f64 2 (/.f64 1 x))))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 x)) (*.f64 2/5 (/.f64 1 (pow.f64 x 5))))))

Outputs
(*.f64 2 x)
(+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3)))
(fma.f64 2 x (*.f64 2/3 (pow.f64 x 3)))
(fma.f64 2/3 (pow.f64 x 3) (*.f64 2 x))
(.f64 x (fma.f64 x (.f64 x 2/3) 2))
(.f64 x (fma.f64 2/3 (.f64 x x) 2))
(+.f64 (.f64 2 x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5))))
(fma.f64 2 x (fma.f64 2/3 (pow.f64 x 3) (*.f64 2/5 (pow.f64 x 5))))
(fma.f64 2/3 (pow.f64 x 3) (fma.f64 2 x (*.f64 2/5 (pow.f64 x 5))))
(fma.f64 x (fma.f64 2/3 (.f64 x x) 2) (.f64 2/5 (pow.f64 x 5)))
(+.f64 (.f64 2/7 (pow.f64 x 7)) (+.f64 (.f64 2 x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))))
(fma.f64 2/7 (pow.f64 x 7) (fma.f64 2 x (fma.f64 2/3 (pow.f64 x 3) (*.f64 2/5 (pow.f64 x 5)))))
(fma.f64 2 x (fma.f64 2/7 (pow.f64 x 7) (fma.f64 2/3 (pow.f64 x 3) (*.f64 2/5 (pow.f64 x 5)))))
(fma.f64 2/3 (pow.f64 x 3) (fma.f64 2/5 (pow.f64 x 5) (fma.f64 2/7 (pow.f64 x 7) (*.f64 2 x))))
(fma.f64 2 x (fma.f64 2/3 (pow.f64 x 3) (fma.f64 2/5 (pow.f64 x 5) (*.f64 2/7 (pow.f64 x 7)))))
(*.f64 -1 (log.f64 -1))
(neg.f64 (log.f64 -1))
(+.f64 (.f64 -1 (log.f64 -1)) (.f64 2 (/.f64 1 x)))
(fma.f64 -1 (log.f64 -1) (/.f64 2 x))
(-.f64 (/.f64 2 x) (log.f64 -1))
(+.f64 (.f64 -1 (log.f64 -1)) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (*.f64 2 (/.f64 1 x))))
(fma.f64 -1 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
(+.f64 (-.f64 (/.f64 2 x) (log.f64 -1)) (/.f64 2/3 (pow.f64 x 3)))
(+.f64 (/.f64 2 x) (-.f64 (/.f64 2/3 (pow.f64 x 3)) (log.f64 -1)))
(+.f64 (.f64 -1 (log.f64 -1)) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 2 (/.f64 1 x)) (.f64 2/5 (/.f64 1 (pow.f64 x 5))))))
(fma.f64 -1 (log.f64 -1) (+.f64 (/.f64 2/3 (pow.f64 x 3)) (+.f64 (/.f64 2 x) (/.f64 2/5 (pow.f64 x 5)))))
(+.f64 (+.f64 (-.f64 (/.f64 2 x) (log.f64 -1)) (/.f64 2/3 (pow.f64 x 3))) (/.f64 2/5 (pow.f64 x 5)))
(+.f64 (/.f64 2/3 (pow.f64 x 3)) (+.f64 (/.f64 2 x) (-.f64 (/.f64 2/5 (pow.f64 x 5)) (log.f64 -1))))
(-.f64 (/.f64 2 x) (-.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 x 3))) (/.f64 2/5 (pow.f64 x 5))))
(+.f64 (-.f64 (/.f64 2 x) (log.f64 -1)) (+.f64 (/.f64 2/3 (pow.f64 x 3)) (/.f64 2/5 (pow.f64 x 5))))
(+.f64 (/.f64 2 x) (-.f64 (-.f64 (/.f64 2/3 (pow.f64 x 3)) (log.f64 -1)) (/.f64 -2/5 (pow.f64 x 5))))
(log.f64 -1)
(+.f64 (log.f64 -1) (*.f64 2 (/.f64 1 x)))
(+.f64 (log.f64 -1) (/.f64 2 x))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (.f64 2 (/.f64 1 x))))
(+.f64 (/.f64 2/3 (pow.f64 x 3)) (+.f64 (log.f64 -1) (/.f64 2 x)))
(+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
(+.f64 (/.f64 2 x) (+.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 x 3))))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 x)) (*.f64 2/5 (/.f64 1 (pow.f64 x 5))))))
(+.f64 (/.f64 2/3 (pow.f64 x 3)) (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/5 (pow.f64 x 5)))))
(+.f64 (/.f64 2 x) (+.f64 (/.f64 2/3 (pow.f64 x 3)) (+.f64 (log.f64 -1) (/.f64 2/5 (pow.f64 x 5)))))
(+.f64 (log.f64 -1) (+.f64 (/.f64 2/3 (pow.f64 x 3)) (+.f64 (/.f64 2 x) (/.f64 2/5 (pow.f64 x 5)))))
(+.f64 (log.f64 -1) (+.f64 (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))) (/.f64 2/5 (pow.f64 x 5))))
(+.f64 (/.f64 2/5 (pow.f64 x 5)) (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3)))))
(+.f64 (/.f64 2/3 (pow.f64 x 3)) (-.f64 (+.f64 (log.f64 -1) (/.f64 2 x)) (/.f64 -2/5 (pow.f64 x 5))))

localize35.0ms (0.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
✓	6.4b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

Compiler

Compiled 40 to 31 computations (22.5% saved)

series5.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
1.0ms	x	@	inf	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
1.0ms	x	@	-inf	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
1.0ms	x	@	inf	(/.f64 (+.f64 1 x) (-.f64 1 x))
1.0ms	x	@	-inf	(/.f64 (+.f64 1 x) (-.f64 1 x))

rewrite75.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

843×	`pow1_binary64`
786×	`log1p-expm1-u_binary64`
786×	`expm1-log1p-u_binary64`
785×	`add-log-exp_binary64`
771×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	22
1	151	20
2	2079	20

Stop Event

1×	node limit

Counts

2 → 62

Calls

Call 1

Inputs
(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
(/.f64 (+.f64 1 x) (-.f64 1 x))

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

Outputs

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

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

simplify64.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

843×	`fma-def_binary64`
834×	`fma-neg_binary64`
586×	`associate-/r*_binary64`
560×	`times-frac_binary64`
548×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	52	319
1	154	307
2	437	301
3	1298	298
4	3752	294

Stop Event

1×	node limit

Counts

86 → 90

Calls

Call 1

Inputs
(*.f64 2 x)
(+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5))))
(+.f64 (.f64 2/7 (pow.f64 x 7)) (+.f64 (.f64 2 x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))))
(log.f64 -1)
(+.f64 (log.f64 -1) (*.f64 2 (/.f64 1 x)))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (.f64 2 (/.f64 1 x))))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 x)) (*.f64 2/5 (/.f64 1 (pow.f64 x 5))))))
(log.f64 -1)
(+.f64 (log.f64 -1) (*.f64 2 (/.f64 1 x)))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (.f64 2 (/.f64 1 x))))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 x)) (*.f64 2/5 (/.f64 1 (pow.f64 x 5))))))
1
(+.f64 (*.f64 2 x) 1)
(+.f64 (.f64 2 (pow.f64 x 2)) (+.f64 (.f64 2 x) 1))
(+.f64 (.f64 2 (pow.f64 x 3)) (+.f64 (.f64 2 (pow.f64 x 2)) (+.f64 (*.f64 2 x) 1)))
-1
(neg.f64 (+.f64 1 (*.f64 2 (/.f64 1 x))))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 1 x)) (.f64 2 (/.f64 1 (pow.f64 x 2))))))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 1 x)) (+.f64 (.f64 2 (/.f64 1 (pow.f64 x 2))) (*.f64 2 (/.f64 1 (pow.f64 x 3)))))))
-1
(neg.f64 (+.f64 1 (*.f64 2 (/.f64 1 x))))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 1 x)) (.f64 2 (/.f64 1 (pow.f64 x 2))))))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 1 x)) (+.f64 (.f64 2 (/.f64 1 (pow.f64 x 2))) (*.f64 2 (/.f64 1 (pow.f64 x 3)))))))

Outputs
(*.f64 2 x)
(+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3)))
(fma.f64 2 x (*.f64 2/3 (pow.f64 x 3)))
(fma.f64 2/3 (pow.f64 x 3) (*.f64 2 x))
(.f64 x (fma.f64 2/3 (.f64 x x) 2))
(.f64 x (fma.f64 x (.f64 x 2/3) 2))
(+.f64 (.f64 2 x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5))))
(fma.f64 2 x (fma.f64 2/3 (pow.f64 x 3) (*.f64 2/5 (pow.f64 x 5))))
(fma.f64 x (fma.f64 2/3 (.f64 x x) 2) (.f64 2/5 (pow.f64 x 5)))
(+.f64 (.f64 2/7 (pow.f64 x 7)) (+.f64 (.f64 2 x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))))
(fma.f64 2/7 (pow.f64 x 7) (fma.f64 2 x (fma.f64 2/3 (pow.f64 x 3) (*.f64 2/5 (pow.f64 x 5)))))
(fma.f64 2 x (fma.f64 2/7 (pow.f64 x 7) (fma.f64 2/3 (pow.f64 x 3) (*.f64 2/5 (pow.f64 x 5)))))
(fma.f64 2 x (fma.f64 2/3 (pow.f64 x 3) (fma.f64 2/5 (pow.f64 x 5) (*.f64 2/7 (pow.f64 x 7)))))
(log.f64 -1)
(+.f64 (log.f64 -1) (*.f64 2 (/.f64 1 x)))
(+.f64 (log.f64 -1) (/.f64 2 x))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (.f64 2 (/.f64 1 x))))
(+.f64 (+.f64 (log.f64 -1) (/.f64 2 x)) (/.f64 2/3 (pow.f64 x 3)))
(+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 x)) (*.f64 2/5 (/.f64 1 (pow.f64 x 5))))))
(+.f64 (/.f64 2/3 (pow.f64 x 3)) (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/5 (pow.f64 x 5)))))
(+.f64 (+.f64 (log.f64 -1) (/.f64 2 x)) (+.f64 (/.f64 2/5 (pow.f64 x 5)) (/.f64 2/3 (pow.f64 x 3))))
(+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (+.f64 (/.f64 2/3 (pow.f64 x 3)) (/.f64 2/5 (pow.f64 x 5)))))
(+.f64 (log.f64 -1) (+.f64 (/.f64 2/5 (pow.f64 x 5)) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3)))))
(+.f64 (log.f64 -1) (+.f64 (/.f64 2/3 (pow.f64 x 3)) (+.f64 (/.f64 2 x) (/.f64 2/5 (pow.f64 x 5)))))
(log.f64 -1)
(+.f64 (log.f64 -1) (*.f64 2 (/.f64 1 x)))
(+.f64 (log.f64 -1) (/.f64 2 x))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (.f64 2 (/.f64 1 x))))
(+.f64 (+.f64 (log.f64 -1) (/.f64 2 x)) (/.f64 2/3 (pow.f64 x 3)))
(+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
(+.f64 (.f64 2/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 x)) (*.f64 2/5 (/.f64 1 (pow.f64 x 5))))))
(+.f64 (/.f64 2/3 (pow.f64 x 3)) (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/5 (pow.f64 x 5)))))
(+.f64 (+.f64 (log.f64 -1) (/.f64 2 x)) (+.f64 (/.f64 2/5 (pow.f64 x 5)) (/.f64 2/3 (pow.f64 x 3))))
(+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (+.f64 (/.f64 2/3 (pow.f64 x 3)) (/.f64 2/5 (pow.f64 x 5)))))
(+.f64 (log.f64 -1) (+.f64 (/.f64 2/5 (pow.f64 x 5)) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3)))))
(+.f64 (log.f64 -1) (+.f64 (/.f64 2/3 (pow.f64 x 3)) (+.f64 (/.f64 2 x) (/.f64 2/5 (pow.f64 x 5)))))
1
(+.f64 (*.f64 2 x) 1)
(fma.f64 2 x 1)
(+.f64 (.f64 2 (pow.f64 x 2)) (+.f64 (.f64 2 x) 1))
(fma.f64 2 (*.f64 x x) (fma.f64 2 x 1))
(fma.f64 2 (fma.f64 x x x) 1)
(+.f64 (.f64 2 (pow.f64 x 3)) (+.f64 (.f64 2 (pow.f64 x 2)) (+.f64 (*.f64 2 x) 1)))
(fma.f64 2 (pow.f64 x 3) (fma.f64 2 (*.f64 x x) (fma.f64 2 x 1)))
(fma.f64 2 (pow.f64 x 3) (fma.f64 2 (fma.f64 x x x) 1))
(fma.f64 2 (fma.f64 x (fma.f64 x x x) x) 1)
-1
(neg.f64 (+.f64 1 (*.f64 2 (/.f64 1 x))))
(+.f64 -1 (neg.f64 (/.f64 2 x)))
(+.f64 -1 (/.f64 -2 x))
(-.f64 -1 (/.f64 2 x))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 1 x)) (.f64 2 (/.f64 1 (pow.f64 x 2))))))
(+.f64 -1 (neg.f64 (+.f64 (/.f64 2 x) (/.f64 2 (*.f64 x x)))))
(-.f64 -1 (+.f64 (/.f64 2 x) (/.f64 2 (*.f64 x x))))
(+.f64 -1 (+.f64 (/.f64 -2 x) (/.f64 (/.f64 -2 x) x)))
(+.f64 -1 (+.f64 (/.f64 -2 x) (/.f64 -2 (*.f64 x x))))
(+.f64 (/.f64 -2 x) (-.f64 -1 (/.f64 (/.f64 2 x) x)))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 1 x)) (+.f64 (.f64 2 (/.f64 1 (pow.f64 x 2))) (*.f64 2 (/.f64 1 (pow.f64 x 3)))))))
(neg.f64 (+.f64 1 (+.f64 (/.f64 2 x) (+.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 (pow.f64 x 3))))))
(-.f64 -1 (+.f64 (/.f64 2 (*.f64 x x)) (+.f64 (/.f64 2 x) (/.f64 2 (pow.f64 x 3)))))
(+.f64 (+.f64 -1 (/.f64 -2 x)) (+.f64 (/.f64 (/.f64 -2 x) x) (/.f64 -2 (pow.f64 x 3))))
(+.f64 (+.f64 -1 (/.f64 -2 x)) (+.f64 (/.f64 -2 (*.f64 x x)) (/.f64 -2 (pow.f64 x 3))))
(-.f64 (/.f64 -2 x) (fma.f64 (/.f64 1 (*.f64 x x)) (+.f64 2 (/.f64 2 x)) 1))
-1
(neg.f64 (+.f64 1 (*.f64 2 (/.f64 1 x))))
(+.f64 -1 (neg.f64 (/.f64 2 x)))
(+.f64 -1 (/.f64 -2 x))
(-.f64 -1 (/.f64 2 x))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 1 x)) (.f64 2 (/.f64 1 (pow.f64 x 2))))))
(+.f64 -1 (neg.f64 (+.f64 (/.f64 2 x) (/.f64 2 (*.f64 x x)))))
(-.f64 -1 (+.f64 (/.f64 2 x) (/.f64 2 (*.f64 x x))))
(+.f64 -1 (+.f64 (/.f64 -2 x) (/.f64 (/.f64 -2 x) x)))
(+.f64 -1 (+.f64 (/.f64 -2 x) (/.f64 -2 (*.f64 x x))))
(+.f64 (/.f64 -2 x) (-.f64 -1 (/.f64 (/.f64 2 x) x)))
(neg.f64 (+.f64 1 (+.f64 (.f64 2 (/.f64 1 x)) (+.f64 (.f64 2 (/.f64 1 (pow.f64 x 2))) (*.f64 2 (/.f64 1 (pow.f64 x 3)))))))
(neg.f64 (+.f64 1 (+.f64 (/.f64 2 x) (+.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 (pow.f64 x 3))))))
(-.f64 -1 (+.f64 (/.f64 2 (*.f64 x x)) (+.f64 (/.f64 2 x) (/.f64 2 (pow.f64 x 3)))))
(+.f64 (+.f64 -1 (/.f64 -2 x)) (+.f64 (/.f64 (/.f64 -2 x) x) (/.f64 -2 (pow.f64 x 3))))
(+.f64 (+.f64 -1 (/.f64 -2 x)) (+.f64 (/.f64 -2 (*.f64 x x)) (/.f64 -2 (pow.f64 x 3))))
(-.f64 (/.f64 -2 x) (fma.f64 (/.f64 1 (*.f64 x x)) (+.f64 2 (/.f64 2 x)) 1))

eval120.0ms (2.1%)

Compiler: Compiled 2331 to 1600 computations (31.4% saved)

prune32.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	145	2	147
Fresh	0	0	0
Picked	0	1	1
Done	1	0	1
Total	146	3	149

Error

Counts

149 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.8b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
▶	0.2b	(.f64 1/2 (.f64 x (fma.f64 2/3 (*.f64 x x) 2)))
▶	0.3b	(.f64 1/2 (.f64 2 x))

Compiler

Compiled 30 to 24 computations (20% saved)

localize10.0ms (0.2%)

Compiler: Compiled 12 to 9 computations (25% saved)

localize77.0ms (1.4%)

Compiler: Compiled 32 to 18 computations (43.8% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.8b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
✓	0.2b	(.f64 1/2 (.f64 x (fma.f64 2/3 (*.f64 x x) 2)))
✓	0.3b	(.f64 1/2 (.f64 2 x))

Compiler

Compiled 30 to 24 computations (20% saved)

regimes23.0ms (0.4%)

Counts

4 → 1

Calls

Call 1

Inputs
(.f64 1/2 (.f64 2 x))
(.f64 1/2 (.f64 x (fma.f64 2/3 (*.f64 x x) 2)))
(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))

Outputs
(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))

Calls

4 calls:

8.0ms	x
4.0ms	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
4.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
4.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))`
0.0b	1	`(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))`
0.0b	1	`(/.f64 (+.f64 1 x) (-.f64 1 x))`

Compiler

Compiled 68 to 53 computations (22.1% saved)

regimes21.0ms (0.4%)

Accuracy

Total -58.8b remaining (-33630.9%)

Threshold costs -58.8b (-33630.9%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(.f64 1/2 (.f64 x (fma.f64 2/3 (*.f64 x x) 2)))

Calls

4 calls:

7.0ms	x
4.0ms	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
4.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))
4.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

Results

Error	Segments	Branch
0.2b	1	`x`
0.2b	1	`(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))`
0.2b	1	`(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))`
0.2b	1	`(/.f64 (+.f64 1 x) (-.f64 1 x))`

Compiler

Compiled 60 to 47 computations (21.7% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	27	34
2	32	34
3	35	34
4	36	34

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
(.f64 1/2 (.f64 x (fma.f64 2/3 (*.f64 x x) 2)))
(.f64 1/2 (.f64 2 x))

Outputs
(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
(.f64 1/2 (.f64 x (fma.f64 2/3 (*.f64 x x) 2)))
(.f64 1/2 (.f64 2 x))
(.f64 1/2 (.f64 x 2))

Compiler

Compiled 26 to 20 computations (23.1% saved)

soundness528.0ms (9.4%)

Algorithm

1×	egg-herbie

Rules

781×	`fma-neg_binary64`
596×	`distribute-rgt-in_binary64`
596×	`unsub-neg_binary64`
511×	`fma-def_binary64`
419×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	20	13
2	28	13
3	43	13
4	73	13
5	109	13
6	153	13
7	272	13
8	591	13
9	1042	13
10	1481	13
11	1877	13
12	2081	13
13	2223	13
14	2569	13
15	3712	13
16	4950	13
17	5726	13
18	6008	13
19	6104	13
20	6224	13
21	6262	13
22	6686	13
23	7128	13
24	7436	13
25	7544	13
26	7592	13
27	7612	13
28	7620	13
29	7620	13
30	7620	13
31	7980	13

Stop Event

1×	node limit

Compiler

Compiled 75 to 63 computations (16% saved)

end74.0ms (1.3%)

Compiler: Compiled 24 to 18 computations (25% saved)

Details

analyze4.0ms (0.1%)

sample3.8s (67%)

preprocess322.0ms (5.7%)

simplify300.0ms (5.3%)

eval1.0ms (0%)

prune2.0ms (0%)

localize19.0ms (0.3%)

series5.0ms (0.1%)

rewrite58.0ms (1%)

simplify71.0ms (1.3%)

localize35.0ms (0.6%)

series5.0ms (0.1%)

rewrite75.0ms (1.3%)

simplify64.0ms (1.1%)

eval120.0ms (2.1%)

prune32.0ms (0.6%)

localize10.0ms (0.2%)

localize77.0ms (1.4%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes23.0ms (0.4%)

regimes21.0ms (0.4%)

simplify7.0ms (0.1%)

soundness528.0ms (9.4%)

end74.0ms (1.3%)

Profiling