Details

analyze5.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)

sample4.5s (53.5%)

Results

2.9s	4104×	body	1024	valid
861.0ms	2098×	body	512	valid
404.0ms	422×	body	2048	valid
282.0ms	1632×	body	256	valid
0.0ms	2×	body	256	invalid

Bogosity

preprocess308.0ms (3.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)

simplify303.0ms (3.6%)

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.3b	(*.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)

localize9.0ms (0.1%)

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)

series3.0ms (0%)

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)))

rewrite51.0ms (0.6%)

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)))))))

simplify61.0ms (0.7%)

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))))

localize20.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 40 to 31 computations (22.5% saved)

series3.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite61.0ms (0.7%)

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))))))))

simplify50.0ms (0.6%)

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))

eval74.0ms (0.9%)

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

prune55.0ms (0.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	143	4	147
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	143	6	149

Error

Counts

149 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
▶	0.6b	(.f64 1/2 (.f64 2 x))
✓	58.3b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
▶	0.3b	(.f64 1/2 (.f64 x (fma.f64 2/3 (*.f64 x x) 2)))
▶	0.3b	(.f64 1/2 (+.f64 (.f64 2 x) (*.f64 2/3 (pow.f64 x 3))))
▶	58.3b	(.f64 (/.f64 1 2) (log.f64 (.f64 (/.f64 1 (-.f64 1 x)) (+.f64 1 x))))

Compiler

Compiled 66 to 54 computations (18.2% saved)

localize5.0ms (0.1%)

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

localize13.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2/3 (*.f64 x x) 2)

Compiler

Compiled 32 to 18 computations (43.8% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(fma.f64 2/3 (*.f64 x x) 2)
1.0ms	x	@	0	(fma.f64 2/3 (*.f64 x x) 2)
0.0ms	x	@	-inf	(fma.f64 2/3 (*.f64 x x) 2)

rewrite61.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

498×	`pow1_binary64`
487×	`add-sqr-sqrt_binary64`
463×	`add-log-exp_binary64`
463×	`log1p-expm1-u_binary64`
463×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	121	8
2	1284	8

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(fma.f64 2/3 (*.f64 x x) 2)

Outputs

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

simplify180.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
555×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	87
1	15	87
2	27	87
3	51	87
4	118	87
5	342	87
6	1266	87
7	2164	87
8	2328	87
9	2512	87
10	2720	87
11	3019	87
12	3414	87
13	3897	87
14	4465	87
15	5151	87
16	5988	87
17	6378	87
18	6668	87
19	6944	87
20	7016	87
21	7052	87
22	7993	87

Stop Event

1×	node limit

Counts

33 → 26

Calls

Call 1

Inputs
2
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(*.f64 2/3 (pow.f64 x 2))
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(*.f64 2/3 (pow.f64 x 2))
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)

Outputs
2
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(.f64 x (.f64 2/3 x))
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(.f64 x (.f64 2/3 x))
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)

localize16.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 2/3 (pow.f64 x 3))

Compiler

Compiled 37 to 29 computations (21.6% saved)

series2.0ms (0%)

Counts

1 → 0

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(*.f64 2/3 (pow.f64 x 3))
1.0ms	x	@	0	(*.f64 2/3 (pow.f64 x 3))
1.0ms	x	@	inf	(*.f64 2/3 (pow.f64 x 3))

rewrite55.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

505×	`pow1_binary64`
498×	`add-sqr-sqrt_binary64`
476×	`add-log-exp_binary64`
476×	`log1p-expm1-u_binary64`
476×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	129	7
2	1323	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 2/3 (pow.f64 x 3))

Outputs

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

simplify23.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

11 → 11

Calls

Call 1

Inputs

Outputs

localize23.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 51 to 41 computations (19.6% saved)

series7.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
4.0ms	x	@	-inf	(*.f64 (/.f64 1 (-.f64 1 x)) (+.f64 1 x))
0.0ms	x	@	0	(/.f64 1 (-.f64 1 x))
0.0ms	x	@	inf	(/.f64 1 (-.f64 1 x))
0.0ms	x	@	0	(log.f64 (*.f64 (/.f64 1 (-.f64 1 x)) (+.f64 1 x)))
0.0ms	x	@	-inf	(/.f64 1 (-.f64 1 x))

rewrite80.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

947×	`pow1_binary64`
884×	`log1p-expm1-u_binary64`
884×	`expm1-log1p-u_binary64`
883×	`add-log-exp_binary64`
88×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	29
1	177	27
2	2460	27

Stop Event

1×	node limit

Counts

3 → 96

Calls

Call 1

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

Outputs

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

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

simplify61.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

857×	`times-frac_binary64`
620×	`associate-/l/_binary64`
342×	`sub-neg_binary64`
286×	`fma-def_binary64`
219×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	69	502
1	204	472
2	598	465
3	1753	464
4	4214	464

Stop Event

1×	node limit

Counts

132 → 137

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)))))))
1
(+.f64 1 x)
(+.f64 1 (+.f64 (pow.f64 x 2) x))
(+.f64 1 (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 3) x)))
(/.f64 -1 x)
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x)))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x))))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)))))
(/.f64 -1 x)
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x)))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x))))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)))))

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 (.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/5 (pow.f64 x 5) (*.f64 2 x)))
(+.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/7 (pow.f64 x 7) (fma.f64 2/3 (pow.f64 x 3) (fma.f64 2/5 (pow.f64 x 5) (*.f64 2 x))))
(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)))))
(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 2/3 (pow.f64 x 3)) (+.f64 (+.f64 (log.f64 -1) (/.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 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 (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 2/3 (pow.f64 x 3)) (+.f64 (+.f64 (log.f64 -1) (/.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 x) (+.f64 (/.f64 2/3 (pow.f64 x 3)) (/.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))
(+.f64 1 (*.f64 2 (fma.f64 x x x)))
(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) (+.f64 1 (*.f64 2 (fma.f64 x x x))))
(+.f64 1 (*.f64 2 (fma.f64 x (fma.f64 x x x) x)))
-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))))))
(neg.f64 (+.f64 1 (+.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 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)))))))
(+.f64 -1 (neg.f64 (+.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 -2 (pow.f64 x 3)) (/.f64 (/.f64 -2 x) x)))
(+.f64 (-.f64 -1 (/.f64 2 x)) (-.f64 (/.f64 -2 (pow.f64 x 3)) (/.f64 (/.f64 2 x) x)))
-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))))))
(neg.f64 (+.f64 1 (+.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 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)))))))
(+.f64 -1 (neg.f64 (+.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 -2 (pow.f64 x 3)) (/.f64 (/.f64 -2 x) x)))
(+.f64 (-.f64 -1 (/.f64 2 x)) (-.f64 (/.f64 -2 (pow.f64 x 3)) (/.f64 (/.f64 2 x) x)))
1
(+.f64 1 x)
(+.f64 x 1)
(+.f64 1 (+.f64 (pow.f64 x 2) x))
(+.f64 1 (+.f64 x (*.f64 x x)))
(+.f64 1 (fma.f64 x x x))
(+.f64 x (fma.f64 x x 1))
(+.f64 1 (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 3) x)))
(+.f64 1 (+.f64 (*.f64 x x) (+.f64 x (pow.f64 x 3))))
(+.f64 (+.f64 1 (*.f64 x (fma.f64 x x x))) x)
(fma.f64 x (fma.f64 x x x) (+.f64 x 1))
(*.f64 (+.f64 x 1) (fma.f64 x x 1))
(/.f64 -1 x)
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x)))
(neg.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))))
(+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 x))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x))))
(neg.f64 (+.f64 (/.f64 1 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))))
(-.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 -1 x) (/.f64 -1 (pow.f64 x 3))))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)))))
(neg.f64 (+.f64 (+.f64 (/.f64 1 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4))))
(+.f64 (-.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))) (/.f64 -1 (pow.f64 x 4)))
(+.f64 (+.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 -1 x) (/.f64 -1 (pow.f64 x 3)))) (/.f64 -1 (pow.f64 x 4)))
(+.f64 (+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 x)) (-.f64 (/.f64 -1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 4))))
(+.f64 (+.f64 (/.f64 -1 (.f64 x x)) (/.f64 -1 x)) (.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 -1 (/.f64 -1 x))))
(/.f64 -1 x)
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x)))
(neg.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))))
(+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 x))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x))))
(neg.f64 (+.f64 (/.f64 1 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))))
(-.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 -1 x) (/.f64 -1 (pow.f64 x 3))))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)))))
(neg.f64 (+.f64 (+.f64 (/.f64 1 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4))))
(+.f64 (-.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3)))) (/.f64 -1 (pow.f64 x 4)))
(+.f64 (+.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 -1 x) (/.f64 -1 (pow.f64 x 3)))) (/.f64 -1 (pow.f64 x 4)))
(+.f64 (+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 x)) (-.f64 (/.f64 -1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 4))))
(+.f64 (+.f64 (/.f64 -1 (.f64 x x)) (/.f64 -1 x)) (.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 -1 (/.f64 -1 x))))

eval117.0ms (1.4%)

Compiler: Compiled 2930 to 2225 computations (24.1% saved)

prune48.0ms (0.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	171	3	174
Fresh	0	0	0
Picked	0	1	1
Done	2	3	5
Total	173	7	180

Error

Counts

180 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.3b	(.f64 1/2 (.f64 x (/.f64 (-.f64 (.f64 (.f64 2/3 (.f64 x x)) (.f64 2/3 (.f64 x x))) 4) (-.f64 (.f64 2/3 (*.f64 x x)) 2))))
▶	0.3b	(.f64 1/2 (+.f64 (.f64 2 x) (-.f64 (+.f64 1 (*.f64 2/3 (pow.f64 x 3))) 1)))
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
✓	0.6b	(.f64 1/2 (.f64 2 x))
✓	58.3b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
▶	0.3b	(.f64 1/2 (.f64 x (+.f64 (.f64 2/3 (.f64 x x)) 2)))
✓	58.3b	(.f64 (/.f64 1 2) (log.f64 (.f64 (/.f64 1 (-.f64 1 x)) (+.f64 1 x))))

Compiler

Compiled 97 to 76 computations (21.6% saved)

localize29.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 2/3 (.f64 x x)) 2)
✓	0.1b	(.f64 2/3 (.f64 x x))

Compiler

Compiled 40 to 23 computations (42.5% saved)

series3.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(.f64 2/3 (.f64 x x))
1.0ms	x	@	0	(.f64 2/3 (.f64 x x))
0.0ms	x	@	inf	(+.f64 (.f64 2/3 (.f64 x x)) 2)
0.0ms	x	@	-inf	(+.f64 (.f64 2/3 (.f64 x x)) 2)
0.0ms	x	@	-inf	(.f64 2/3 (.f64 x x))

rewrite86.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

722×	`pow1_binary64`
678×	`add-log-exp_binary64`
677×	`log1p-expm1-u_binary64`
677×	`expm1-log1p-u_binary64`
666×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	154	15
2	1844	15

Stop Event

1×	node limit

Counts

2 → 44

Calls

Call 1

Inputs
(.f64 2/3 (.f64 x x))
(+.f64 (.f64 2/3 (.f64 x x)) 2)

Outputs

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

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

simplify202.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
549×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
448×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	171
1	15	171
2	27	171
3	51	171
4	115	171
5	355	171
6	1296	171
7	2193	171
8	2357	171
9	2541	171
10	2749	171
11	3047	171
12	3440	171
13	3923	171
14	4489	171
15	5175	171
16	6012	171
17	6404	171
18	6690	171
19	6962	171
20	7034	171
21	7068	171

Stop Event

1×	node limit

Counts

68 → 48

Calls

Call 1

Inputs
(*.f64 2/3 (pow.f64 x 2))
(*.f64 2/3 (pow.f64 x 2))
(*.f64 2/3 (pow.f64 x 2))
(*.f64 2/3 (pow.f64 x 2))
(*.f64 2/3 (pow.f64 x 2))
(*.f64 2/3 (pow.f64 x 2))
(*.f64 2/3 (pow.f64 x 2))
(*.f64 2/3 (pow.f64 x 2))
(*.f64 2/3 (pow.f64 x 2))
(*.f64 2/3 (pow.f64 x 2))
(*.f64 2/3 (pow.f64 x 2))
(*.f64 2/3 (pow.f64 x 2))
2
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(*.f64 2/3 (pow.f64 x 2))
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(*.f64 2/3 (pow.f64 x 2))
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)

Outputs
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
2
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)
(+.f64 (*.f64 2/3 (pow.f64 x 2)) 2)
(fma.f64 2/3 (*.f64 x x) 2)

localize75.0ms (0.9%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.1b	(.f64 2/3 (.f64 x x))
✓	0.1b	(.f64 (.f64 2/3 (.f64 x x)) (.f64 2/3 (*.f64 x x)))

Compiler

Compiled 114 to 64 computations (43.9% saved)

series3.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 (.f64 2/3 (.f64 x x)) (.f64 2/3 (*.f64 x x)))
1.0ms	x	@	inf	(.f64 (.f64 2/3 (.f64 x x)) (.f64 2/3 (*.f64 x x)))
1.0ms	x	@	-inf	(.f64 (.f64 2/3 (.f64 x x)) (.f64 2/3 (*.f64 x x)))

rewrite68.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

535×	`pow1_binary64`
517×	`add-sqr-sqrt_binary64`
497×	`add-log-exp_binary64`
497×	`log1p-expm1-u_binary64`
497×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	126	7
2	1468	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 2/3 (.f64 x x)) (.f64 2/3 (*.f64 x x)))

Outputs

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

simplify212.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1319×	`sqr-pow_binary64`
659×	`pow-sqr_binary64`
576×	`cube-prod_binary64`
430×	`associate-l_binary64`
399×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	11	84
2	21	84
3	43	84
4	102	84
5	310	84
6	1147	84
7	1815	84
8	1939	84
9	2108	84
10	2307	84
11	2578	84
12	2937	84
13	3390	84
14	3921	84
15	4545	84
16	5298	84
17	5604	84
18	5826	84
19	6026	84
20	6080	84
21	6102	84
22	6936	84
23	7849	84

Stop Event

1×	node limit

Counts

23 → 12

Calls

Call 1

Inputs
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))

Outputs
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))
(*.f64 4/9 (pow.f64 x 4))

localize49.0ms (0.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.1b	(*.f64 2/3 (pow.f64 x 3))
✓	2.0b	(-.f64 (+.f64 1 (*.f64 2/3 (pow.f64 x 3))) 1)

Compiler

Compiled 62 to 52 computations (16.1% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(-.f64 (+.f64 1 (*.f64 2/3 (pow.f64 x 3))) 1)
1.0ms	x	@	0	(-.f64 (+.f64 1 (*.f64 2/3 (pow.f64 x 3))) 1)
0.0ms	x	@	-inf	(-.f64 (+.f64 1 (*.f64 2/3 (pow.f64 x 3))) 1)

rewrite78.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

877×	`pow1_binary64`
829×	`add-log-exp_binary64`
828×	`log1p-expm1-u_binary64`
828×	`expm1-log1p-u_binary64`
815×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	204	7
2	2535	7

Stop Event

1×	node limit

Counts

1 → 45

Calls

Call 1

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

Outputs

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

simplify179.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1274×	`sqr-pow_binary64`
666×	`pow-sqr_binary64`
529×	`cube-prod_binary64`
471×	`fabs-mul_binary64`
438×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	15	84
2	32	84
3	56	84
4	114	84
5	326	84
6	1180	84
7	1869	84
8	1956	84
9	2089	84
10	2247	84
11	2486	84
12	2808	84
13	3231	84
14	3733	84
15	4335	84
16	5057	84
17	5378	84
18	5664	84
19	5886	84
20	6064	84
21	6144	84
22	7084	84

Stop Event

1×	node limit

Counts

57 → 45

Calls

Call 1

Inputs
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))

Outputs
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))

eval119.0ms (1.4%)

Compiler: Compiled 3105 to 2300 computations (25.9% saved)

prune40.0ms (0.5%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	0	0	0
Picked	0	1	1
Done	1	5	6
Total	155	7	162

Error

Counts

162 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
✓	0.6b	(.f64 1/2 (.f64 2 x))
▶	0.3b	(.f64 1/2 (+.f64 (.f64 2 x) (.f64 (.f64 x x) (*.f64 x 2/3))))
✓	58.3b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
✓	0.3b	(.f64 1/2 (+.f64 (.f64 2 x) (-.f64 (+.f64 1 (*.f64 2/3 (pow.f64 x 3))) 1)))
✓	0.3b	(.f64 1/2 (.f64 x (+.f64 (.f64 2/3 (.f64 x x)) 2)))
✓	58.3b	(.f64 (/.f64 1 2) (log.f64 (.f64 (/.f64 1 (-.f64 1 x)) (+.f64 1 x))))

Compiler

Compiled 85 to 69 computations (18.8% saved)

localize30.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x x) (*.f64 x 2/3))
✓	0.4b	(*.f64 x 2/3)

Compiler

Compiled 45 to 26 computations (42.2% saved)

series4.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(*.f64 x 2/3)
1.0ms	x	@	inf	(*.f64 x 2/3)
1.0ms	x	@	-inf	(*.f64 x 2/3)
0.0ms	x	@	-inf	(.f64 (.f64 x x) (*.f64 x 2/3))
0.0ms	x	@	0	(.f64 (.f64 x x) (*.f64 x 2/3))

rewrite85.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

540×	`pow1_binary64`
520×	`add-sqr-sqrt_binary64`
501×	`add-log-exp_binary64`
501×	`log1p-expm1-u_binary64`
501×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	14
1	123	11
2	1429	11

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(*.f64 x 2/3)
(.f64 (.f64 x x) (*.f64 x 2/3))

Outputs

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

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

simplify187.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1274×	`sqr-pow_binary64`
666×	`pow-sqr_binary64`
529×	`cube-prod_binary64`
471×	`fabs-mul_binary64`
442×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	132
1	17	132
2	32	132
3	55	132
4	114	132
5	321	132
6	1182	132
7	1862	132
8	1949	132
9	2082	132
10	2240	132
11	2479	132
12	2801	132
13	3222	132
14	3724	132
15	4323	132
16	5041	132
17	5362	132
18	5650	132
19	5872	132
20	6052	132
21	6134	132
22	7074	132

Stop Event

1×	node limit

Counts

46 → 24

Calls

Call 1

Inputs
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))

Outputs
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 x)
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))
(*.f64 2/3 (pow.f64 x 3))

eval15.0ms (0.2%)

Compiler: Compiled 347 to 259 computations (25.4% saved)

prune12.0ms (0.1%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	24	0	24
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	24	7	31

Error

Counts

31 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
✓	0.6b	(.f64 1/2 (.f64 2 x))
✓	0.3b	(.f64 1/2 (+.f64 (.f64 2 x) (.f64 (.f64 x x) (*.f64 x 2/3))))
✓	58.3b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
✓	0.3b	(.f64 1/2 (+.f64 (.f64 2 x) (-.f64 (+.f64 1 (*.f64 2/3 (pow.f64 x 3))) 1)))
✓	0.3b	(.f64 1/2 (.f64 x (+.f64 (.f64 2/3 (.f64 x x)) 2)))
✓	58.3b	(.f64 (/.f64 1 2) (log.f64 (.f64 (/.f64 1 (-.f64 1 x)) (+.f64 1 x))))

Compiler

Compiled 85 to 69 computations (18.8% saved)

regimes35.0ms (0.4%)

Counts

10 → 1

Calls

Call 1

Inputs
(.f64 1/2 (.f64 2 x))
(.f64 1/2 (.f64 x (+.f64 (.f64 2/3 (.f64 x x)) 2)))
(.f64 1/2 (+.f64 (.f64 2 x) (.f64 (.f64 x x) (*.f64 x 2/3))))
(.f64 1/2 (.f64 x (/.f64 (-.f64 (.f64 (.f64 2/3 (.f64 x x)) (.f64 2/3 (.f64 x x))) 4) (-.f64 (.f64 2/3 (*.f64 x x)) 2))))
(.f64 1/2 (.f64 x (fma.f64 2/3 (*.f64 x x) 2)))
(.f64 1/2 (+.f64 (.f64 2 x) (*.f64 2/3 (pow.f64 x 3))))
(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
(.f64 (/.f64 1 2) (log.f64 (.f64 (/.f64 1 (-.f64 1 x)) (+.f64 1 x))))
(.f64 1/2 (+.f64 (.f64 2 x) (-.f64 (+.f64 1 (*.f64 2/3 (pow.f64 x 3))) 1)))
(*.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:

12.0ms	x
7.0ms	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
5.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
5.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 157 to 117 computations (25.5% saved)

regimes33.0ms (0.4%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

4 calls:

11.0ms	x
6.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
5.0ms	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
5.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

Results

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

Compiler

Compiled 149 to 111 computations (25.5% saved)

regimes9.0ms (0.1%)

Accuracy

Total -0.3b remaining (-114.2%)

Threshold costs -0.3b (-114.2%)

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 1/2 (.f64 2 x))
(.f64 1/2 (.f64 x (+.f64 (.f64 2/3 (.f64 x x)) 2)))

Outputs
(.f64 1/2 (.f64 x (+.f64 (.f64 2/3 (.f64 x x)) 2)))

Calls

1 calls:

7.0ms

Results

Error	Segments	Branch
0.3b	1	`x`

Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
5×	`+-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	21	55
1	38	55
2	43	55
3	46	55
4	47	55

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 (.f64 2 x) (.f64 (.f64 x x) (*.f64 x 2/3))))
(.f64 1/2 (.f64 x (+.f64 (.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 (.f64 2 x) (.f64 (.f64 x x) (*.f64 x 2/3))))
(.f64 1/2 (+.f64 (.f64 x 2) (.f64 (.f64 x x) (*.f64 x 2/3))))
(.f64 1/2 (.f64 x (+.f64 (.f64 2/3 (.f64 x x)) 2)))
(.f64 1/2 (.f64 x (+.f64 2 (.f64 (.f64 x x) 2/3))))
(.f64 1/2 (.f64 2 x))
(.f64 1/2 (.f64 x 2))

Compiler

Compiled 41 to 31 computations (24.4% saved)

soundness563.0ms (6.7%)

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)

end61.0ms (0.7%)

Compiler: Compiled 38 to 27 computations (28.9% saved)

Details

analyze5.0ms (0.1%)

sample4.5s (53.5%)

preprocess308.0ms (3.7%)

simplify303.0ms (3.6%)

eval1.0ms (0%)

prune2.0ms (0%)

localize9.0ms (0.1%)

series3.0ms (0%)

rewrite51.0ms (0.6%)

simplify61.0ms (0.7%)

localize20.0ms (0.2%)

series3.0ms (0%)

rewrite61.0ms (0.7%)

simplify50.0ms (0.6%)

eval74.0ms (0.9%)

prune55.0ms (0.7%)

localize5.0ms (0.1%)

localize13.0ms (0.2%)

series1.0ms (0%)

rewrite61.0ms (0.7%)

simplify180.0ms (2.2%)

localize16.0ms (0.2%)

series2.0ms (0%)

rewrite55.0ms (0.7%)

simplify23.0ms (0.3%)

localize23.0ms (0.3%)

series7.0ms (0.1%)

rewrite80.0ms (1%)

simplify61.0ms (0.7%)

eval117.0ms (1.4%)

prune48.0ms (0.6%)

localize29.0ms (0.3%)

series3.0ms (0%)

rewrite86.0ms (1%)

simplify202.0ms (2.4%)

localize75.0ms (0.9%)

series3.0ms (0%)

rewrite68.0ms (0.8%)

simplify212.0ms (2.5%)

localize49.0ms (0.6%)

series2.0ms (0%)

rewrite78.0ms (0.9%)

simplify179.0ms (2.1%)

eval119.0ms (1.4%)

prune40.0ms (0.5%)

localize30.0ms (0.4%)

series4.0ms (0%)

rewrite85.0ms (1%)

simplify187.0ms (2.2%)

eval15.0ms (0.2%)

prune12.0ms (0.1%)

regimes35.0ms (0.4%)

regimes33.0ms (0.4%)

regimes9.0ms (0.1%)

simplify10.0ms (0.1%)

soundness563.0ms (6.7%)

end61.0ms (0.7%)

Profiling