Details

analyze276.0ms (9.8%)

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
25%	25%	75%	0%	0%	0%	0%	3
28.6%	25%	62.5%	0%	0%	0%	12.5%	4
30.8%	25%	56.2%	0%	0%	0%	18.7%	5
36%	28.1%	50%	0%	0%	0%	21.9%	6
38.8%	29.7%	46.9%	0%	0%	0%	23.4%	7
40.2%	30.5%	45.3%	0%	0%	0%	24.2%	8
40.7%	30.8%	44.9%	0%	0%	0%	24.2%	9
41.2%	31.2%	44.5%	0%	0%	0%	24.2%	10
41.4%	31.3%	44.4%	0%	0%	0%	24.2%	11
41.5%	31.4%	44.3%	0%	0%	0%	24.3%	12

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.8s (64.2%)

Results

765.0ms	2734×	body	1024	valid
484.0ms	3876×	body	256	valid
454.0ms	1371×	body	512	valid
91.0ms	275×	body	2048	valid
0.0ms	4×	body	256	unsamplable
0.0ms	1×	body	2048	infinite

Bogosity

preprocess14.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`
1×	`expm1-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	12	8
2	13	8
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))

Outputs
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`
1×	`expm1-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	12	8
2	13	8

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))

Outputs
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))

eval0.0ms (0%)

Compiler: Compiled 13 to 7 computations (46.2% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.5b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.5b	(/.f64 (exp.f64 x) (expm1.f64 x))

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.5b	(/.f64 (exp.f64 x) (expm1.f64 x))
✓	0.5b	(/.f64 (exp.f64 x) (expm1.f64 x))

Compiler

Compiled 11 to 4 computations (63.6% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(/.f64 (exp.f64 x) (expm1.f64 x))
1.0ms	x	@	inf	(/.f64 (exp.f64 x) (expm1.f64 x))
1.0ms	x	@	0	(/.f64 (exp.f64 x) (expm1.f64 x))

rewrite45.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

516×	`pow1_binary64`
493×	`add-sqr-sqrt_binary64`
477×	`add-log-exp_binary64`
477×	`log1p-expm1-u_binary64`
477×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	99	8
2	1287	8

Stop Event

1×	node limit

Counts

1 → 30

Calls

Call 1

Inputs
(/.f64 (exp.f64 x) (expm1.f64 x))

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

Outputs

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

simplify176.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	104
1	48	104
2	94	104
3	213	104
4	327	104
5	572	104
6	1504	104
7	2330	104
8	2416	104
9	2549	104
10	2707	104
11	2961	104
12	3283	104
13	3707	104
14	4207	104
15	4809	104
16	5533	104
17	5856	104
18	6138	104
19	6358	104
20	6534	104
21	6616	104
22	7556	104

Stop Event

1×	node limit

Counts

42 → 39

Calls

Call 1

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

Outputs
(/.f64 1 x)
(+.f64 1/2 (/.f64 1 x))
(+.f64 (/.f64 1 x) 1/2)
(+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x)))
(+.f64 1/2 (fma.f64 1/12 x (/.f64 1 x)))
(+.f64 1/2 (fma.f64 x 1/12 (/.f64 1 x)))
(+.f64 (/.f64 1 x) (fma.f64 x 1/12 1/2))
(+.f64 1/2 (+.f64 (.f64 -1/720 (pow.f64 x 3)) (+.f64 (.f64 1/12 x) (/.f64 1 x))))
(+.f64 1/2 (fma.f64 -1/720 (pow.f64 x 3) (fma.f64 1/12 x (/.f64 1 x))))
(+.f64 1/2 (fma.f64 -1/720 (pow.f64 x 3) (fma.f64 x 1/12 (/.f64 1 x))))
(+.f64 1/2 (fma.f64 x 1/12 (fma.f64 -1/720 (pow.f64 x 3) (/.f64 1 x))))
(+.f64 1/2 (fma.f64 x (fma.f64 x (*.f64 x -1/720) 1/12) (/.f64 1 x)))
(+.f64 (/.f64 1 x) (fma.f64 x (fma.f64 x (*.f64 x -1/720) 1/12) 1/2))
(+.f64 (/.f64 1 x) (fma.f64 -1/720 (pow.f64 x 3) (fma.f64 x 1/12 1/2)))
(+.f64 (/.f64 1 x) (fma.f64 x 1/12 (fma.f64 -1/720 (pow.f64 x 3) 1/2)))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))

eval7.0ms (0.2%)

Compiler: Compiled 379 to 160 computations (57.8% saved)

prune6.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	36	3	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	36	4	40

Error

0.4b

Counts

40 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.0b	(/.f64 1 x)
✓	0.5b	(/.f64 (exp.f64 x) (expm1.f64 x))
▶	21.2b	(+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x)))
▶	21.0b	(+.f64 (/.f64 1 x) 1/2)

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize5.0ms (0.2%)

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

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 1/12 x)
	0.0b	(+.f64 (*.f64 1/12 x) (/.f64 1 x))
✓	0.0b	(+.f64 (*.f64 1/12 x) (/.f64 1 x))
✓	0.3b	(*.f64 1/12 x)

Compiler

Compiled 27 to 20 computations (25.9% saved)

series4.0ms (0.1%)

Counts

2 → 9

Calls

6 calls:

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

rewrite53.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

748×	`pow1_binary64`
701×	`add-log-exp_binary64`
701×	`log1p-expm1-u_binary64`
701×	`expm1-log1p-u_binary64`
687×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	151	12
2	1947	12

Stop Event

1×	node limit

Counts

2 → 46

Calls

Call 1

Inputs
(*.f64 1/12 x)
(+.f64 (*.f64 1/12 x) (/.f64 1 x))

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

Outputs

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

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

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`fma-def_binary64`
1×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	72
1	11	60
2	13	60

Stop Event

1×

saturated

Counts

55 → 50

Calls

Call 1

Inputs
(/.f64 1 x)
(*.f64 1/12 x)
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(*.f64 1/12 x)
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))

Outputs
(/.f64 1 x)
(*.f64 1/12 x)
(*.f64 x 1/12)
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 x 1/12))
(fma.f64 x 1/12 (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 x 1/12))
(fma.f64 x 1/12 (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 x 1/12))
(fma.f64 x 1/12 (/.f64 1 x))
(*.f64 1/12 x)
(*.f64 x 1/12)
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 x 1/12))
(fma.f64 x 1/12 (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 x 1/12))
(fma.f64 x 1/12 (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 x 1/12))
(fma.f64 x 1/12 (/.f64 1 x))

localize3.0ms (0.1%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

eval19.0ms (0.7%)

Compiler: Compiled 708 to 544 computations (23.2% saved)

prune8.0ms (0.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	49	5	54

Error

0.4b

Counts

54 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.0b	(/.f64 1 x)
▶	43.8b	(+.f64 1/2 (/.f64 (-.f64 (.f64 (.f64 x x) 1/144) (pow.f64 x -2)) (-.f64 (*.f64 1/12 x) (/.f64 1 x))))
✓	0.5b	(/.f64 (exp.f64 x) (expm1.f64 x))
✓	21.2b	(+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x)))
✓	21.0b	(+.f64 (/.f64 1 x) 1/2)

Compiler

Compiled 46 to 35 computations (23.9% saved)

localize29.0ms (1%)

Local error

Found 6 expressions with local error:

New	Error	Program
	30.9b	(/.f64 (-.f64 (.f64 (.f64 x x) 1/144) (pow.f64 x -2)) (-.f64 (*.f64 1/12 x) (/.f64 1 x)))
	0.3b	(*.f64 1/12 x)
	0.2b	(.f64 (.f64 x x) 1/144)
✓	0.2b	(.f64 (.f64 x x) 1/144)
	0.3b	(*.f64 1/12 x)
✓	30.9b	(/.f64 (-.f64 (.f64 (.f64 x x) 1/144) (pow.f64 x -2)) (-.f64 (*.f64 1/12 x) (/.f64 1 x)))

Compiler

Compiled 76 to 49 computations (35.5% saved)

series4.0ms (0.2%)

Counts

2 → 24

Calls

6 calls:

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

rewrite73.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

712×	`log-prod_binary64`
600×	`fma-def_binary64`
339×	`fma-neg_binary64`
251×	`expm1-udef_binary64`
251×	`log1p-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	32
1	320	15
2	4426	15

Stop Event

1×	node limit

Counts

2 → 111

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 (.f64 x x) 1/144) (pow.f64 x -2)) (-.f64 (*.f64 1/12 x) (/.f64 1 x)))
(.f64 (.f64 x x) 1/144)

Outputs

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

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

simplify134.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
543×	`associate-/l/_binary64`
518×	`associate-l_binary64`
490×	`cube-prod_binary64`
482×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	168
1	21	168
2	31	168
3	58	168
4	138	168
5	429	168
6	1530	168
7	2618	168
8	3538	168
9	3752	168
10	3977	168
11	4285	168
12	4712	168
13	5291	168
14	5859	168
15	6551	168
16	7388	168
17	7780	168

Stop Event

1×	node limit

Counts

135 → 118

Calls

Call 1

Inputs
(/.f64 1 x)
(+.f64 (*.f64 1/12 x) (/.f64 1 x))
(+.f64 (*.f64 1/12 x) (/.f64 1 x))
(+.f64 (*.f64 1/12 x) (/.f64 1 x))
(*.f64 1/12 x)
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(*.f64 1/12 x)
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(*.f64 1/144 (pow.f64 x 2))
(*.f64 1/144 (pow.f64 x 2))
(*.f64 1/144 (pow.f64 x 2))
(*.f64 1/144 (pow.f64 x 2))
(*.f64 1/144 (pow.f64 x 2))
(*.f64 1/144 (pow.f64 x 2))
(*.f64 1/144 (pow.f64 x 2))
(*.f64 1/144 (pow.f64 x 2))
(*.f64 1/144 (pow.f64 x 2))
(*.f64 1/144 (pow.f64 x 2))
(*.f64 1/144 (pow.f64 x 2))
(*.f64 1/144 (pow.f64 x 2))

Outputs
(/.f64 1 x)
(+.f64 (*.f64 1/12 x) (/.f64 1 x))
(fma.f64 1/12 x (/.f64 1 x))
(fma.f64 x 1/12 (/.f64 1 x))
(+.f64 (*.f64 1/12 x) (/.f64 1 x))
(fma.f64 1/12 x (/.f64 1 x))
(fma.f64 x 1/12 (/.f64 1 x))
(+.f64 (*.f64 1/12 x) (/.f64 1 x))
(fma.f64 1/12 x (/.f64 1 x))
(fma.f64 x 1/12 (/.f64 1 x))
(*.f64 1/12 x)
(*.f64 x 1/12)
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(fma.f64 1/12 x (/.f64 1 x))
(fma.f64 x 1/12 (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(fma.f64 1/12 x (/.f64 1 x))
(fma.f64 x 1/12 (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(fma.f64 1/12 x (/.f64 1 x))
(fma.f64 x 1/12 (/.f64 1 x))
(*.f64 1/12 x)
(*.f64 x 1/12)
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(fma.f64 1/12 x (/.f64 1 x))
(fma.f64 x 1/12 (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(fma.f64 1/12 x (/.f64 1 x))
(fma.f64 x 1/12 (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 1/12 x))
(fma.f64 1/12 x (/.f64 1 x))
(fma.f64 x 1/12 (/.f64 1 x))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))
(*.f64 1/144 (pow.f64 x 2))
(.f64 1/144 (.f64 x x))
(.f64 x (.f64 x 1/144))

eval57.0ms (2%)

Compiler: Compiled 2715 to 2019 computations (25.6% saved)

prune17.0ms (0.6%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	129	5	134

Error

0.4b

Counts

134 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.0b	(/.f64 1 x)
✓	43.8b	(+.f64 1/2 (/.f64 (-.f64 (.f64 (.f64 x x) 1/144) (pow.f64 x -2)) (-.f64 (*.f64 1/12 x) (/.f64 1 x))))
✓	0.5b	(/.f64 (exp.f64 x) (expm1.f64 x))
✓	21.2b	(+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x)))
✓	21.0b	(+.f64 (/.f64 1 x) 1/2)

Compiler

Compiled 46 to 35 computations (23.9% saved)

regimes12.0ms (0.4%)

Counts

6 → 1

Calls

Call 1

Inputs
(/.f64 1 x)
(+.f64 (/.f64 1 x) 1/2)
(+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x)))
(+.f64 1/2 (/.f64 (-.f64 (.f64 (.f64 x x) 1/144) (pow.f64 x -2)) (-.f64 (*.f64 1/12 x) (/.f64 1 x))))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))

Outputs
(/.f64 (exp.f64 x) (expm1.f64 x))

Calls

3 calls:

5.0ms	x
3.0ms	(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
2.0ms	(exp.f64 x)

Results

Error	Segments	Branch
0.5b	1	`x`
0.5b	1	`(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))`
0.5b	1	`(exp.f64 x)`

Compiler

Compiled 62 to 42 computations (32.3% saved)

regimes5.0ms (0.2%)

Accuracy

Total -23.3b remaining (-111.2%)

Threshold costs -23.3b (-111.2%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(/.f64 1 x)

Calls

1 calls:

4.0ms

Results

Error	Segments	Branch
21.0b	1	`x`

Compiler

Compiled 39 to 29 computations (25.6% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	9	12

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 1 x)

Outputs
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 1 x)

Compiler

Compiled 10 to 7 computations (30% saved)

soundness7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`
1×	`expm1-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	12	8
2	13	8

Stop Event

1×

saturated

Compiler

Compiled 14 to 9 computations (35.7% saved)

end19.0ms (0.7%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

Details

analyze276.0ms (9.8%)

sample1.8s (64.2%)

preprocess14.0ms (0.5%)

simplify6.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite45.0ms (1.6%)

simplify176.0ms (6.3%)

eval7.0ms (0.2%)

prune6.0ms (0.2%)

localize5.0ms (0.2%)

localize11.0ms (0.4%)

series4.0ms (0.1%)

rewrite53.0ms (1.9%)

simplify8.0ms (0.3%)

localize3.0ms (0.1%)

eval19.0ms (0.7%)

prune8.0ms (0.3%)

localize29.0ms (1%)

series4.0ms (0.2%)

rewrite73.0ms (2.6%)

simplify134.0ms (4.8%)

eval57.0ms (2%)

prune17.0ms (0.6%)

regimes12.0ms (0.4%)

regimes5.0ms (0.2%)

simplify3.0ms (0.1%)

soundness7.0ms (0.2%)

end19.0ms (0.7%)

Profiling