Details

analyze4.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample5.2s (83.2%)

Results

3.1s	4086×	body	1024	valid
1.2s	2133×	body	512	valid
428.0ms	429×	body	2048	valid
423.0ms	1008×	body	256	valid
116.0ms	511×	body	128	valid
10.0ms	89×	body	64	valid
0.0ms	4×	body	64	invalid

preprocess179.0ms (2.9%)

Algorithm

2×	egg-herbie

Rules

781×	`fma-neg_binary64`
591×	`unsub-neg_binary64`
574×	`distribute-rgt-in_binary64`
573×	`distribute-neg-in_binary64`
515×	`fma-def_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	588	13
9	1041	13
10	1479	13
11	1876	13
12	2080	13
13	2221	13
14	2514	13
15	3397	13
16	4571	13
17	5329	13
18	5603	13
19	5699	13
20	5819	13
21	5857	13
22	6281	13
23	6723	13
24	7040	13
25	7148	13
26	7196	13
27	7216	13
28	7224	13
29	7224	13
30	7224	13
31	7590	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 13 to 11 computations (15.4% saved)

simplify167.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

781×	`fma-neg_binary64`
591×	`unsub-neg_binary64`
574×	`distribute-rgt-in_binary64`
573×	`distribute-neg-in_binary64`
515×	`fma-def_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	588	13
9	1041	13
10	1479	13
11	1876	13
12	2080	13
13	2221	13
14	2514	13
15	3397	13
16	4571	13
17	5329	13
18	5603	13
19	5699	13
20	5819	13
21	5857	13
22	6281	13
23	6723	13
24	7040	13
25	7148	13
26	7196	13
27	7216	13
28	7224	13
29	7224	13
30	7224	13
31	7590	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))))

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 39 to 31 computations (20.5% saved)

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

series3.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.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)))

rewrite36.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	1862	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 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)))))) (#(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 log1p.f64 (expm1.f64 (-.f64 (log1p.f64 x) (log1p.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (log1p.f64 x) (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 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)))))) (#(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 log1p.f64 (expm1.f64 (-.f64 (log1p.f64 x) (log1p.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (log1p.f64 x) (log1p.f64 x))))))))

simplify46.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

829×	`fma-def_binary64`
624×	`unswap-sqr_binary64`
567×	`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	595	174
4	1170	174
5	2736	174
6	7334	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)))
(.f64 x (fma.f64 x (.f64 x 2/3) 2))
(.f64 x (fma.f64 2/3 (.f64 x x) 2))
(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)))
(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/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/5 (pow.f64 x 5) (fma.f64 2/3 (pow.f64 x 3) (*.f64 2/7 (pow.f64 x 7)))))
(fma.f64 2/5 (pow.f64 x 5) (fma.f64 x (fma.f64 x (.f64 x 2/3) 2) (.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 2/3 (pow.f64 x 3)) (-.f64 (/.f64 2 x) (log.f64 -1)))
(+.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 2/3 (pow.f64 x 3)) (-.f64 (/.f64 2 x) (log.f64 -1))) (/.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 2/5 (pow.f64 x 5)) (-.f64 (/.f64 2/3 (pow.f64 x 3)) (log.f64 -1))))
(+.f64 (/.f64 2 x) (+.f64 (/.f64 2/3 (pow.f64 x 3)) (-.f64 (/.f64 2/5 (pow.f64 x 5)) (log.f64 -1))))
(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/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 (/.f64 2 x) (/.f64 2/5 (pow.f64 x 5))) (+.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 x 3))))
(+.f64 (/.f64 2/3 (pow.f64 x 3)) (+.f64 (/.f64 2/5 (pow.f64 x 5)) (+.f64 (log.f64 -1) (/.f64 2 x))))
(+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (+.f64 (/.f64 2/3 (pow.f64 x 3)) (/.f64 2/5 (pow.f64 x 5)))))

prune32.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	56	1	57
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	1	58

Error

Counts

58 → 1

Alt Table

Status	Error	Program
▶	0b	(.f64 1/2 (+.f64 (.f64 2 x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))))

Compiler

Compiled 879 to 532 computations (39.5% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series5.0ms (0.1%)

Counts

3 → 6

Calls

9 calls:

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

rewrite61.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

476×	`log-prod_binary64`
363×	`exp-prod_binary64`
316×	`prod-exp_binary64`
309×	`fma-def_binary64`
283×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	28
1	247	28
2	2867	28

Stop Event

1×	node limit

Counts

3 → 119

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 2/3) (pow.f64 x 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 2/3) (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2/3) (pow.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2/3) (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.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 (pow.f64 x 6) 4/9) 1/2)))) (#(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 x 9) 8/27) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (fma.f64 3 (log.f64 x) (log.f64 2/3)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 3 (log.f64 x) (log.f64 2/3))) 2)) (cbrt.f64 (fma.f64 3 (log.f64 x) (log.f64 2/3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (fma.f64 3 (log.f64 x) (log.f64 2/3)))) (sqrt.f64 (fma.f64 3 (log.f64 x) (log.f64 2/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 log.f64 (+.f64 1 (expm1.f64 (.f64 2/3 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 9) 8/27))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (fma.f64 3 (log.f64 x) (log.f64 2/3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (fma.f64 3 (log.f64 x) (log.f64 2/3)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 x (cbrt.f64 2/3))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 2/3) (pow.f64 x 3/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 9) 8/27)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 (fma.f64 3 (log.f64 x) (log.f64 2/3)) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 (fma.f64 3 (log.f64 x) (log.f64 2/3)) 3) 1/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 expm1.f64 (log1p.f64 (*.f64 2/3 (pow.f64 x 3))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 2/5) (pow.f64 x 5))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 2/5) (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2/5) (pow.f64 x 5)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2/5) (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 2/5 (pow.f64 x 5)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2/5 (pow.f64 x 5)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 x 10) 4/25) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 2/5 (pow.f64 x 5))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (sqrt.f64 2/5) (pow.f64 x 5/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 x 15) 8/125) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (fma.f64 5 (log.f64 x) (log1p.f64 -3/5)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 5 (log.f64 x) (log1p.f64 -3/5))) 2)) (cbrt.f64 (fma.f64 5 (log.f64 x) (log1p.f64 -3/5))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (fma.f64 5 (log.f64 x) (log1p.f64 -3/5)))) (sqrt.f64 (fma.f64 5 (log.f64 x) (log1p.f64 -3/5))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 x 10) 4/25))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 2/5) (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 2/5 (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 15) 8/125))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (fma.f64 5 (log.f64 x) (log1p.f64 -3/5)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (fma.f64 5 (log.f64 x) (log1p.f64 -3/5)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 2/5 (pow.f64 x 5)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 2/5) (pow.f64 x 5/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 15) 8/125)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 x) (log1p.f64 -3/5)) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 x) (log1p.f64 -3/5)) 3) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 2/5 (pow.f64 x 5))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 2/5 (pow.f64 x 5))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (pow.f64 x 6) 4/9) (fma.f64 2/3 (pow.f64 x 3) (.f64 -2/5 (pow.f64 x 5)))) (/.f64 (.f64 (pow.f64 x 10) 4/25) (fma.f64 2/3 (pow.f64 x 3) (.f64 -2/5 (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))) (pow.f64 (cbrt.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))) 2) (cbrt.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))) (sqrt.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 (pow.f64 x 9) 8/27 (.f64 (pow.f64 x 15) 8/125)) (/.f64 1 (-.f64 (fma.f64 (pow.f64 x 6) 4/9 (.f64 (pow.f64 x 10) 4/25)) (.f64 2/3 (.f64 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 (pow.f64 x 6) 4/9) (.f64 (pow.f64 x 10) 4/25)) (/.f64 1 (fma.f64 2/3 (pow.f64 x 3) (.f64 -2/5 (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (fma.f64 (pow.f64 x 6) 4/9 (.f64 (pow.f64 x 10) 4/25)) (.f64 2/3 (.f64 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))) (fma.f64 (pow.f64 x 9) 8/27 (.f64 (pow.f64 x 15) 8/125))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 -2/5 (pow.f64 x 5))) (-.f64 (.f64 (pow.f64 x 6) 4/9) (.f64 (pow.f64 x 10) 4/25))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 x 9) 8/27 (.f64 (pow.f64 x 15) 8/125)) (-.f64 (fma.f64 (pow.f64 x 6) 4/9 (.f64 (pow.f64 x 10) 4/25)) (.f64 2/3 (.f64 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 x 9) 8/27 (.f64 (pow.f64 x 15) 8/125)) (fma.f64 (pow.f64 x 10) 4/25 (-.f64 (.f64 (pow.f64 x 6) 4/9) (.f64 2/3 (.f64 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 6) 4/9) (.f64 (pow.f64 x 10) 4/25)) (fma.f64 2/3 (pow.f64 x 3) (.f64 -2/5 (pow.f64 x 5))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 (pow.f64 x 9) 8/27 (.f64 (pow.f64 x 15) 8/125))) (neg.f64 (-.f64 (fma.f64 (pow.f64 x 6) 4/9 (.f64 (pow.f64 x 10) 4/25)) (.f64 2/3 (.f64 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 (pow.f64 x 6) 4/9) (.f64 (pow.f64 x 10) 4/25))) (neg.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 -2/5 (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 10) 4/25) (.f64 (pow.f64 x 6) 4/9)) (-.f64 (.f64 2/5 (pow.f64 x 5)) (.f64 2/3 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 (fma.f64 (pow.f64 x 6) 4/9 (.f64 (pow.f64 x 10) 4/25)) (.f64 2/3 (.f64 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))) (fma.f64 (pow.f64 x 9) 8/27 (.f64 (pow.f64 x 15) 8/125))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 -2/5 (pow.f64 x 5))) (-.f64 (.f64 (pow.f64 x 6) 4/9) (.f64 (pow.f64 x 10) 4/25))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))) 2)) (cbrt.f64 (log.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))) (sqrt.f64 (log.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2/3 (pow.f64 x 3)))) (pow.f64 (exp.f64 2/5) (pow.f64 x 5))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (exp.f64 2/3) (pow.f64 x 3)) (+.f64 1 (expm1.f64 (.f64 2/5 (pow.f64 x 5))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2/3 (pow.f64 x 3)))) (+.f64 1 (expm1.f64 (.f64 2/5 (pow.f64 x 5))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2/5 (pow.f64 x 5)))) (pow.f64 (exp.f64 2/3) (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (exp.f64 2/5) (pow.f64 x 5)) (+.f64 1 (expm1.f64 (.f64 2/3 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2/5 (pow.f64 x 5)))) (+.f64 1 (expm1.f64 (.f64 2/3 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (.f64 (.f64 x x) 2/3) (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 3) 2/3 (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2/3 (pow.f64 x 3)) 1 (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2/5 (pow.f64 x 5) (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 5) 2/5 (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2/5 (pow.f64 x 5)) 1 (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 2/5 (pow.f64 x 5)) (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x x) (.f64 x 2/3) (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 10)) (.f64 (pow.f64 (cbrt.f64 x) 5) 2/5) (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (cbrt.f64 2/3)) (cbrt.f64 (.f64 (pow.f64 x 6) 4/9)) (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (pow.f64 x 6) 4/9)) (.f64 x (cbrt.f64 2/3)) (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 2/5 (pow.f64 x 5))) (cbrt.f64 (.f64 (pow.f64 x 10) 4/25)) (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (pow.f64 x 10) 4/25)) (cbrt.f64 (.f64 2/5 (pow.f64 x 5))) (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sqrt.f64 2/3) (pow.f64 x 3/2)) (.f64 (sqrt.f64 2/3) (pow.f64 x 3/2)) (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sqrt.f64 2/5) (pow.f64 x 5/2)) (.f64 (sqrt.f64 2/5) (pow.f64 x 5/2)) (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 3/2) (.f64 (pow.f64 x 3/2) 2/3) (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 5/2) (.f64 (pow.f64 x 5/2) 2/5) (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2/3 x) (.f64 x x) (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2/3 (.f64 x x)) x (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2/3 (pow.f64 x 3/2)) (pow.f64 x 3/2) (.f64 2/5 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2/5 (cbrt.f64 (pow.f64 x 10))) (pow.f64 (cbrt.f64 x) 5) (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2/5 (pow.f64 x 5/2)) (pow.f64 x 5/2) (.f64 2/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cbrt.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (sqrt.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 (log.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 2/3 (pow.f64 x 3) (.f64 2/5 (pow.f64 x 5)))))))))

Outputs

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

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

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

simplify111.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1252×	`sqr-pow_binary64`
710×	`cube-prod_binary64`
698×	`pow-sqr_binary64`
679×	`fabs-mul_binary64`
416×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	63
1	27	63
2	56	63
3	113	63
4	234	63
5	647	63
6	954	63
7	1590	63
8	1698	63
9	1860	63
10	2075	63
11	2405	63
12	2861	63
13	3458	63
14	4209	63
15	5139	63
16	5645	63
17	6131	63
18	6531	63
19	6855	63
20	7015	63

Stop Event

1×	node limit

Counts

125 → 122

Calls

Call 1

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

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

prune361.0ms (5.8%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	122	1	123

Error

Counts

123 → 1

Alt Table

Status	Error	Program
✓	0b	(.f64 1/2 (+.f64 (.f64 2 x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))))

Compiler

Compiled 2767 to 2301 computations (16.8% saved)

regimes11.0ms (0.2%)

Accuracy

Total -58.9b remaining (-∞%)

Threshold costs -58.9b (-∞%)

Counts

3 → 1

Calls

Call 1

Inputs

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

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

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

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

Results

3.0ms	0b	`x`
2.0ms	0b	`(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))`
2.0ms	0b	`(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))`
2.0ms	0b	`(/.f64 (+.f64 1 x) (-.f64 1 x))`

Compiler

Compiled 70 to 56 computations (20% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
2×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	22	25

Stop Event

1×

saturated

Calls

Call 1

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

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

end20.0ms (0.3%)

Stop Event

1×

done

Compiler

Compiled 36 to 30 computations (16.7% saved)

Details

analyze4.0ms (0.1%)

sample5.2s (83.2%)

preprocess179.0ms (2.9%)

simplify167.0ms (2.7%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series3.0ms (0%)

rewrite36.0ms (0.6%)

simplify46.0ms (0.7%)

prune32.0ms (0.5%)

localize9.0ms (0.1%)

series5.0ms (0.1%)

rewrite61.0ms (1%)

simplify111.0ms (1.8%)

prune361.0ms (5.8%)

regimes11.0ms (0.2%)

simplify2.0ms (0%)

end20.0ms (0.3%)

Profiling