Details

analyze4.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	0.8%	49.2%	9
50.4%	0.4%	49.2%	10
50.4%	0.2%	49.4%	11
50.4%	0.1%	49.5%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample5.8s (63.4%)

Results

4.2s	4362×	body	2048	valid
992.0ms	2051×	body	1024	valid
329.0ms	998×	body	512	valid
256.0ms	845×	body	256	valid
0.0ms	3×	body	256	invalid

preprocess91.0ms (1%)

Algorithm

2×	egg-herbie

Rules

801×	`associate-/l*_binary64`
624×	`fma-def_binary64`
581×	`fma-neg_binary64`
548×	`unswap-sqr_binary64`
536×	`div-sub_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	20	13
2	36	13
3	60	13
4	122	13
5	273	13
6	709	13
7	1729	13
8	3145	13
9	7605	13
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Outputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(+.f64 (+.f64 (exp.f64 x) -2) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (+.f64 -2 (exp.f64 (neg.f64 x))))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify79.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

801×	`associate-/l*_binary64`
624×	`fma-def_binary64`
581×	`fma-neg_binary64`
548×	`unswap-sqr_binary64`
536×	`div-sub_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	20	13
2	36	13
3	60	13
4	122	13
5	273	13
6	709	13
7	1729	13
8	3145	13
9	7605	13

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Outputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(+.f64 (+.f64 (exp.f64 x) -2) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (+.f64 -2 (exp.f64 (neg.f64 x))))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

eval1.0ms (0%)

Compiler: Compiled 17 to 10 computations (41.2% saved)

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

26.4b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	26.5b	(+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	26.5b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize16.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
✓	2.3b	(+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 24 to 8 computations (66.7% saved)

series4.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite167.0ms (1.8%)

Algorithm

2×	egg-rewrite-iter-limit
2×	egg-rewrite
1×	batch-egg-rewrite

Rules

96×	`add-sqr-sqrt_binary64`
96×	`add-sqr-sqrt_binary64`
92×	`add-log-exp_binary64`
92×	`add-log-exp_binary64`
90×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	182	18
2	3153	18
0	8	9
1	182	9
2	3153	9
0	8	9
0	6	6
1	129	6
2	2150	6
0	6	6

Stop Event

1×	iter limit
1×	unsound
1×	iter limit
1×	unsound
1×	unsound

Counts

2 → 23

Calls

Call 1

Inputs
(+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

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

Outputs

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

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

simplify69.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

560×	`distribute-rgt-out_binary64`
421×	`associate-/l/_binary64`
415×	`unswap-sqr_binary64`
410×	`fma-def_binary64`
382×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	34	295
1	85	283
2	186	279
3	525	279
4	2241	279
5	4801	279
6	5972	279

Stop Event

1×	node limit

Counts

47 → 43

Calls

Call 1

Inputs
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
2
(+.f64 2 (pow.f64 x 2))
(+.f64 2 (+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4))))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4)))))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))

Outputs
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 x x (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 x x))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(fma.f64 1/360 (pow.f64 x 6) (+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/12 (pow.f64 x 4))))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 x x)))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 x x)))
(fma.f64 x x (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 1/360 (pow.f64 x 6) (+.f64 (.f64 x x) (fma.f64 1/12 (pow.f64 x 4) (.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) 1/20160 1/12) (fma.f64 1/360 (pow.f64 x 6) (*.f64 x x)))
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
2
(+.f64 2 (pow.f64 x 2))
(+.f64 2 (*.f64 x x))
(fma.f64 x x 2)
(+.f64 2 (+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4))))
(+.f64 (+.f64 2 (.f64 x x)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (fma.f64 x x 2))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x 2))
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) 2))
(+.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4)))))
(+.f64 2 (fma.f64 1/360 (pow.f64 x 6) (+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))))
(+.f64 2 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/12 (pow.f64 x 4)))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x 2)))
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) 2)))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) 2)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))

localize56.0ms (0.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (exp.f64 x) 2)
✓	3.0b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Compiler

Compiled 22 to 10 computations (54.5% saved)

series2.0ms (0%)

Counts

2 → 16

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(-.f64 (exp.f64 x) 2)
0.0ms	x	@	0	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.0ms	x	@	inf	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.0ms	x	@	-inf	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.0ms	x	@	-inf	(-.f64 (exp.f64 x) 2)

rewrite65.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

869×	`pow1_binary64`
818×	`add-log-exp_binary64`
815×	`log1p-expm1-u_binary64`
815×	`expm1-log1p-u_binary64`
804×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	181	17
2	2653	17

Stop Event

1×	node limit

Counts

2 → 74

Calls

Call 1

Inputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) 2)

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

Outputs

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

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

simplify60.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

749×	`unswap-sqr_binary64`
682×	`distribute-rgt-out_binary64`
678×	`distribute-lft-out_binary64`
573×	`associate-l_binary64`
555×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	43	202
1	107	196
2	240	196
3	753	191
4	3557	191

Stop Event

1×	node limit

Counts

90 → 92

Calls

Call 1

Inputs
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
-1
(-.f64 x 1)
(-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x) 1)
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x)) 1)

Outputs
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 x x (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 x x))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(fma.f64 1/360 (pow.f64 x 6) (+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/12 (pow.f64 x 4))))
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 x x)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 1/360 (pow.f64 x 6) (+.f64 (.f64 x x) (fma.f64 1/12 (pow.f64 x 4) (.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 x x (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/20160 (pow.f64 x 8) (fma.f64 1/360 (pow.f64 x 6) (*.f64 x x))))
(fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) 1/20160 1/12) (fma.f64 x x (*.f64 1/360 (pow.f64 x 6))))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 x) (-.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
-1
(-.f64 x 1)
(+.f64 x -1)
(-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x) 1)
(+.f64 (fma.f64 1/2 (*.f64 x x) x) -1)
(+.f64 -1 (fma.f64 (*.f64 x x) 1/2 x))
(+.f64 x (fma.f64 x (*.f64 x 1/2) -1))
(fma.f64 (fma.f64 x 1/2 1) x -1)
(fma.f64 x (fma.f64 x 1/2 1) -1)
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x)) 1)
(+.f64 (fma.f64 1/6 (pow.f64 x 3) (fma.f64 1/2 (*.f64 x x) x)) -1)
(+.f64 -1 (fma.f64 1/6 (pow.f64 x 3) (fma.f64 (*.f64 x x) 1/2 x)))
(+.f64 -1 (fma.f64 x (*.f64 x 1/2) (fma.f64 1/6 (pow.f64 x 3) x)))
(fma.f64 (*.f64 x x) (fma.f64 x 1/6 1/2) (-.f64 x 1))
(fma.f64 (*.f64 x x) (fma.f64 x 1/6 1/2) (+.f64 x -1))

eval38.0ms (0.4%)

Compiler: Compiled 1887 to 1095 computations (42% saved)

prune20.0ms (0.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	130	5	135
Fresh	0	0	0
Picked	1	0	1
Done	1	0	1
Total	132	5	137

Error

Counts

137 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.4b	(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))))
▶	0.5b	(fma.f64 1/12 (pow.f64 x 4) (*.f64 x x))
▶	26.5b	(+.f64 -2 (*.f64 2 (cosh.f64 x)))
▶	0.4b	(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
▶	0.6b	(*.f64 x x)

Compiler

Compiled 110 to 82 computations (25.5% saved)

localize26.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 1/20160 (pow.f64 x 8))
✓	0.0b	(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
✓	0.1b	(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8))))

Compiler

Compiled 65 to 50 computations (23.1% saved)

series37.0ms (0.4%)

Counts

3 → 24

Calls

9 calls:

Time	Variable		Point	Expression
32.0ms	x	@	inf	(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
1.0ms	x	@	inf	(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8))))
1.0ms	x	@	0	(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8))))
1.0ms	x	@	-inf	(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8))))
1.0ms	x	@	-inf	(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))

rewrite80.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

476×	`log-prod_binary64`
382×	`exp-prod_binary64`
313×	`pow2_binary64`
254×	`pow-prod-down_binary64`
218×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	42
1	299	42
2	3079	42

Stop Event

1×	node limit

Counts

3 → 97

Calls

Call 1

Inputs
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(*.f64 1/20160 (pow.f64 x 8))

Outputs

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

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

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

simplify164.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

920×	`fma-def_binary64`
754×	`sqr-pow_binary64`
646×	`cube-prod_binary64`
472×	`unswap-sqr_binary64`
387×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	336
1	40	336
2	84	336
3	218	336
4	737	336
5	1617	336
6	3017	336
7	3344	336
8	3529	336
9	3732	336
10	4009	336
11	4369	336
12	4784	336
13	5287	336
14	5894	336
15	6699	336
16	7139	336
17	7635	336

Stop Event

1×	node limit

Counts

121 → 105

Calls

Call 1

Inputs
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))

Outputs
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))
(fma.f64 1/12 (pow.f64 x 4) (.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360)))
(fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) 1/20160 1/12) (*.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))
(fma.f64 1/12 (pow.f64 x 4) (.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360)))
(fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) 1/20160 1/12) (*.f64 1/360 (pow.f64 x 6)))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))
(fma.f64 1/12 (pow.f64 x 4) (.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360)))
(fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) 1/20160 1/12) (*.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))
(fma.f64 1/12 (pow.f64 x 4) (.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360)))
(fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) 1/20160 1/12) (*.f64 1/360 (pow.f64 x 6)))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))
(fma.f64 1/12 (pow.f64 x 4) (.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360)))
(fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) 1/20160 1/12) (*.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))
(fma.f64 1/12 (pow.f64 x 4) (.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360)))
(fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) 1/20160 1/12) (*.f64 1/360 (pow.f64 x 6)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))

localize2.0ms (0%)

Compiler: Compiled 5 to 2 computations (60% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.3b	(+.f64 -2 (*.f64 2 (cosh.f64 x)))

Compiler

Compiled 16 to 10 computations (37.5% saved)

series15.0ms (0.2%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
12.0ms	x	@	inf	(+.f64 -2 (*.f64 2 (cosh.f64 x)))
1.0ms	x	@	-inf	(+.f64 -2 (*.f64 2 (cosh.f64 x)))
1.0ms	x	@	0	(+.f64 -2 (*.f64 2 (cosh.f64 x)))

rewrite54.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

754×	`pow1_binary64`
704×	`add-log-exp_binary64`
702×	`log1p-expm1-u_binary64`
702×	`expm1-log1p-u_binary64`
692×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	154	7
2	1888	7

Stop Event

1×	node limit

Counts

1 → 32

Calls

Call 1

Inputs
(+.f64 -2 (*.f64 2 (cosh.f64 x)))

Outputs

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

simplify71.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

508×	`distribute-rgt-out_binary64`
413×	`unswap-sqr_binary64`
382×	`distribute-lft-out_binary64`
338×	`associate-l_binary64`
320×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	168
1	63	162
2	142	162
3	414	162
4	1949	162
5	4406	162
6	5019	162
7	6528	162

Stop Event

1×	node limit

Counts

44 → 42

Calls

Call 1

Inputs
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)

Outputs
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 x x (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 x x))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(fma.f64 1/360 (pow.f64 x 6) (+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/12 (pow.f64 x 4))))
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 x x)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 1/360 (pow.f64 x 6) (+.f64 (.f64 x x) (fma.f64 1/12 (pow.f64 x 4) (.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 x x))))
(fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) 1/20160 1/12) (fma.f64 1/360 (pow.f64 x 6) (*.f64 x x)))
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8)))))
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (/.f64 1 (exp.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 1/12 (pow.f64 x 4) (*.f64 x x))

Compiler

Compiled 18 to 10 computations (44.4% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite49.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

562×	`pow1_binary64`
525×	`add-log-exp_binary64`
525×	`log1p-expm1-u_binary64`
525×	`expm1-log1p-u_binary64`
513×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	145	11
2	1510	11

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(fma.f64 1/12 (pow.f64 x 4) (*.f64 x x))

Outputs

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

simplify191.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1057×	`sqr-pow_binary64`
963×	`fma-def_binary64`
506×	`pow-sqr_binary64`
451×	`cube-prod_binary64`
363×	`fabs-mul_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	135
1	18	117
2	38	117
3	86	117
4	293	117
5	1235	117
6	2593	117
7	3274	117
8	3485	117
9	3726	117
10	4023	117
11	4409	117
12	4874	117
13	5415	117
14	6041	117
15	6792	117
16	7102	117
17	7324	117
18	7520	117
19	7578	117
20	7602	117

Stop Event

1×	node limit

Counts

33 → 26

Calls

Call 1

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

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

localize59.0ms (0.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 1/360 (pow.f64 x 6))
✓	0.1b	(*.f64 1/12 (pow.f64 x 4))

Compiler

Compiled 50 to 39 computations (22% saved)

series2.0ms (0%)

Counts

2 → 0

Calls

6 calls:

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

rewrite52.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

807×	`pow1_binary64`
759×	`add-log-exp_binary64`
759×	`log1p-expm1-u_binary64`
759×	`expm1-log1p-u_binary64`
743×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	14
1	213	14
2	2239	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/360 (pow.f64 x 6))

Outputs

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

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

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

22 → 22

Calls

Call 1

Inputs

Outputs

eval148.0ms (1.6%)

Compiler: Compiled 3735 to 2831 computations (24.2% saved)

prune63.0ms (0.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	191	4	195
Fresh	0	0	0
Picked	1	0	1
Done	2	2	4
Total	194	6	200

Error

Counts

200 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.6b	(*.f64 x x)
▶	0.5b	(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
▶	26.9b	(*.f64 1/12 (pow.f64 x 4))
▶	0.4b	(fma.f64 x x (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
▶	0.4b	(fma.f64 x x (.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12)))
✓	26.5b	(+.f64 -2 (*.f64 2 (cosh.f64 x)))

Compiler

Compiled 62 to 45 computations (27.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.1b	(*.f64 1/12 (pow.f64 x 4))

Compiler

Compiled 12 to 9 computations (25% saved)

localize24.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.1b	(*.f64 1/12 (pow.f64 x 4))

Compiler

Compiled 24 to 15 computations (37.5% saved)

localize16.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 1/360 (*.f64 x x) 1/12)
✓	0.1b	(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))

Compiler

Compiled 40 to 23 computations (42.5% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite64.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

740×	`pow1_binary64`
692×	`add-log-exp_binary64`
692×	`log1p-expm1-u_binary64`
692×	`expm1-log1p-u_binary64`
678×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	186	22
2	1954	22

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

Inputs
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(fma.f64 1/360 (*.f64 x x) 1/12)

Outputs

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

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

simplify189.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1124×	`sqr-pow_binary64`
748×	`cube-prod_binary64`
653×	`pow-sqr_binary64`
429×	`unpow3_binary64`
423×	`cube-mult_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	252
1	32	234
2	66	234
3	175	234
4	730	234
5	1822	234
6	2172	234
7	2371	234
8	2565	234
9	2816	234
10	3131	234
11	3540	234
12	3976	234
13	4473	234
14	5076	234
15	5334	234
16	5584	234
17	5848	234
18	6118	234
19	6380	234
20	7785	234

Stop Event

1×	node limit

Counts

60 → 45

Calls

Call 1

Inputs
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
1/12
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(*.f64 1/360 (pow.f64 x 2))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(*.f64 1/360 (pow.f64 x 2))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))

Outputs
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
1/12
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (.f64 1/360 (.f64 x x)))
(fma.f64 1/360 (*.f64 x x) 1/12)
(fma.f64 x (*.f64 x 1/360) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (.f64 1/360 (.f64 x x)))
(fma.f64 1/360 (*.f64 x x) 1/12)
(fma.f64 x (*.f64 x 1/360) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (.f64 1/360 (.f64 x x)))
(fma.f64 1/360 (*.f64 x x) 1/12)
(fma.f64 x (*.f64 x 1/360) 1/12)
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(.f64 x (.f64 x 1/360))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (.f64 1/360 (.f64 x x)))
(fma.f64 1/360 (*.f64 x x) 1/12)
(fma.f64 x (*.f64 x 1/360) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (.f64 1/360 (.f64 x x)))
(fma.f64 1/360 (*.f64 x x) 1/12)
(fma.f64 x (*.f64 x 1/360) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (.f64 1/360 (.f64 x x)))
(fma.f64 1/360 (*.f64 x x) 1/12)
(fma.f64 x (*.f64 x 1/360) 1/12)
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(.f64 x (.f64 x 1/360))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (.f64 1/360 (.f64 x x)))
(fma.f64 1/360 (*.f64 x x) 1/12)
(fma.f64 x (*.f64 x 1/360) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (.f64 1/360 (.f64 x x)))
(fma.f64 1/360 (*.f64 x x) 1/12)
(fma.f64 x (*.f64 x 1/360) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (.f64 1/360 (.f64 x x)))
(fma.f64 1/360 (*.f64 x x) 1/12)
(fma.f64 x (*.f64 x 1/360) 1/12)

localize64.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
	0.0b	(*.f64 1/20160 (pow.f64 x 8))
	0.0b	(*.f64 1/360 (pow.f64 x 6))
	0.1b	(*.f64 1/12 (pow.f64 x 4))

Compiler

Compiled 80 to 63 computations (21.3% saved)

series1.0ms (0%)

Counts

1 → 6

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

inf

(+.f64 (*.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))

0.0ms

(+.f64 (*.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))

0.0ms

-inf

(+.f64 (*.f64 1/360 (pow.f64 x 6)) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))

rewrite74.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

673×	`log-prod_binary64`
627×	`fma-def_binary64`
330×	`fma-neg_binary64`
276×	`expm1-udef_binary64`
276×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	21
1	361	21
2	4395	21

Stop Event

1×	node limit

Counts

1 → 88

Calls

Call 1

Inputs
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (pow.f64 x 12) 1/129600) (-.f64 (*.f64 1/360 (pow.f64 x 6)) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))) (/.f64 (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 2) (-.f64 (*.f64 1/360 (pow.f64 x 6)) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))) (pow.f64 (cbrt.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))) 2) (cbrt.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))) (sqrt.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (pow.f64 (pow.f64 x 6) 3) 1/46656000 (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 3)) (/.f64 1 (fma.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) (-.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) (*.f64 1/360 (pow.f64 x 6))) (*.f64 (pow.f64 x 12) 1/129600))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (pow.f64 x 12) 1/129600) (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 2)) (/.f64 1 (-.f64 (*.f64 1/360 (pow.f64 x 6)) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) (-.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) (*.f64 1/360 (pow.f64 x 6))) (*.f64 (pow.f64 x 12) 1/129600)) (fma.f64 (pow.f64 (pow.f64 x 6) 3) 1/46656000 (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (*.f64 1/360 (pow.f64 x 6)) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) (-.f64 (*.f64 (pow.f64 x 12) 1/129600) (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 (pow.f64 x 6) 3) 1/46656000 (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 3)) (fma.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) (-.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) (*.f64 1/360 (pow.f64 x 6))) (*.f64 (pow.f64 x 12) 1/129600)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 (pow.f64 x 6) 3) 1/46656000 (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 3)) (+.f64 (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 2) (-.f64 (*.f64 (pow.f64 x 12) 1/129600) (*.f64 (*.f64 1/360 (pow.f64 x 6)) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 x 12) 1/129600) (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 2)) (-.f64 (*.f64 1/360 (pow.f64 x 6)) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 (pow.f64 (pow.f64 x 6) 3) 1/46656000 (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 3))) (neg.f64 (fma.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) (-.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) (*.f64 1/360 (pow.f64 x 6))) (*.f64 (pow.f64 x 12) 1/129600))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 12) 1/129600) (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 2))) (neg.f64 (-.f64 (*.f64 1/360 (pow.f64 x 6)) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))) 3) (*.f64 1/8193540096000 (pow.f64 (pow.f64 x 8) 3))) (fma.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))) (-.f64 (*.f64 1/406425600 (pow.f64 x 16)) (*.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))) (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 2) (*.f64 (pow.f64 x 12) 1/129600)) (-.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) (*.f64 1/360 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))) (neg.f64 (*.f64 1/406425600 (pow.f64 x 16)))) (-.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/360 (pow.f64 x 6)))) (exp.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 x 6)) 1/360) (+.f64 1 (expm1.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/360 (pow.f64 x 6)))) (+.f64 1 (expm1.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 x 8)) 1/20160) (exp.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/20160 (pow.f64 x 8)))) (exp.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 x 8)) 1/20160) (*.f64 (pow.f64 (exp.f64 (pow.f64 x 6)) 1/360) (pow.f64 (exp.f64 (pow.f64 x 4)) 1/12))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 1/20160 (pow.f64 x 8)))) (*.f64 (pow.f64 (exp.f64 (pow.f64 x 6)) 1/360) (pow.f64 (exp.f64 (pow.f64 x 4)) 1/12))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))) (pow.f64 (exp.f64 (pow.f64 x 6)) 1/360)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) (+.f64 1 (expm1.f64 (*.f64 1/360 (pow.f64 x 6))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))) (+.f64 1 (expm1.f64 (*.f64 1/360 (pow.f64 x 6))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 x 6)) 1/360) (pow.f64 (exp.f64 (pow.f64 x 4)) 1/12)) (pow.f64 (exp.f64 (pow.f64 x 8)) 1/20160)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))) (+.f64 1 (expm1.f64 (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 x 6)) 1/360) (pow.f64 (exp.f64 (pow.f64 x 4)) 1/12)) (+.f64 1 (expm1.f64 (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/360 (pow.f64 x 6) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 6) 1/360 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/360 (pow.f64 x 6)) 1 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 4) 1/12 (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 4) 1/20160) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 4) (*.f64 (*.f64 x x) 1/360) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/12 (pow.f64 x 4)) 1 (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/20160 (pow.f64 x 8) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 8) 1/20160 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/20160 (pow.f64 x 8)) 1 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) 1 (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1/360 (pow.f64 x 6)) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1/12 (pow.f64 x 4)) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1/20160 (pow.f64 x 8)) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))) (*.f64 1/20160 (pow.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) (*.f64 (*.f64 x x) 1/12) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 3) (*.f64 (pow.f64 x 3) 1/360) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) 2) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) 2) (cbrt.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 x x) (cbrt.f64 1/360)) (cbrt.f64 (*.f64 (pow.f64 x 12) 1/129600)) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 x 12) 1/129600)) (*.f64 (*.f64 x x) (cbrt.f64 1/360)) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/20160 (pow.f64 x 8))) (cbrt.f64 (*.f64 1/406425600 (pow.f64 x 16))) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/406425600 (pow.f64 x 16))) (cbrt.f64 (*.f64 1/20160 (pow.f64 x 8))) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 8)) (*.f64 (cbrt.f64 (pow.f64 x 4)) 1/12) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 16)) (*.f64 (cbrt.f64 (pow.f64 x 8)) 1/20160) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/12 (pow.f64 x 4))) (cbrt.f64 (*.f64 (pow.f64 x 8) 1/144)) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 x 8) 1/144)) (cbrt.f64 (*.f64 1/12 (pow.f64 x 4))) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) (sqrt.f64 (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8)))) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (pow.f64 x 3) (sqrt.f64 1/360)) (*.f64 (pow.f64 x 3) (sqrt.f64 1/360)) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (pow.f64 x 4) (sqrt.f64 1/20160)) (*.f64 (pow.f64 x 4) (sqrt.f64 1/20160)) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 x x) (sqrt.f64 1/12)) (*.f64 (*.f64 x x) (sqrt.f64 1/12)) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 1/8193540096000 (pow.f64 (pow.f64 x 8) 3) (*.f64 (pow.f64 x 12) 1/1728)) (/.f64 1 (-.f64 (fma.f64 (pow.f64 x 8) 1/144 (*.f64 1/406425600 (pow.f64 x 16))) (*.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 x 8) 1/144) (*.f64 1/406425600 (pow.f64 x 16))) (/.f64 1 (fma.f64 1/12 (pow.f64 x 4) (*.f64 -1/20160 (pow.f64 x 8)))) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))) 1 (*.f64 1/20160 (pow.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))) (cbrt.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))) (cbrt.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))) (*.f64 1/20160 (pow.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))) (sqrt.f64 (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))) (*.f64 1/20160 (pow.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/20160 (pow.f64 x 4)) (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/20160 (cbrt.f64 (pow.f64 x 16))) (cbrt.f64 (pow.f64 x 8)) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/360 (pow.f64 x 4)) (*.f64 x x) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/360 (pow.f64 x 3)) (pow.f64 x 3) (fma.f64 1/12 (pow.f64 x 4) (*.f64 1/20160 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/12 (cbrt.f64 (pow.f64 x 8))) (cbrt.f64 (pow.f64 x 4)) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/12 (*.f64 x x)) (*.f64 x x) (fma.f64 1/20160 (pow.f64 x 8) (*.f64 1/360 (pow.f64 x 6))))))))

simplify180.0ms (2%)

Algorithm

1×	egg-herbie

Rules

773×	`cube-prod_binary64`
754×	`sqr-pow_binary64`
537×	`fabs-mul_binary64`
533×	`unpow3_binary64`
526×	`cube-mult_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	63
1	33	63
2	70	63
3	178	63
4	639	63
5	1246	63
6	2268	63
7	2393	63
8	2563	63
9	2766	63
10	3043	63
11	3411	63
12	3826	63
13	4329	63
14	4937	63
15	5740	63
16	6182	63
17	6680	63
18	7244	63
19	7874	63

Stop Event

1×	node limit

Counts

94 → 94

Calls

Call 1

Inputs
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))

Outputs
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))
(.f64 (pow.f64 x 6) (fma.f64 x (.f64 x 1/20160) 1/360))

eval116.0ms (1.3%)

Compiler: Compiled 4556 to 3376 computations (25.9% saved)

prune25.0ms (0.3%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	206	1	207
Fresh	0	0	0
Picked	0	1	1
Done	1	4	5
Total	207	6	213

Error

Counts

213 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.6b	(*.f64 x x)
✓	0.5b	(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
✓	26.9b	(*.f64 1/12 (pow.f64 x 4))
✓	0.4b	(fma.f64 x x (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
▶	0.4b	(fma.f64 x x (.f64 (pow.f64 x 4) (+.f64 (.f64 1/360 (*.f64 x x)) 1/12)))
✓	26.5b	(+.f64 -2 (*.f64 2 (cosh.f64 x)))

Compiler

Compiled 63 to 46 computations (27% saved)

localize19.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 1/360 (.f64 x x)) 1/12)
✓	0.1b	(.f64 (pow.f64 x 4) (+.f64 (.f64 1/360 (*.f64 x x)) 1/12))
✓	0.1b	(.f64 1/360 (.f64 x x))

Compiler

Compiled 48 to 28 computations (41.7% saved)

series4.0ms (0%)

Counts

3 → 36

Calls

9 calls:

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

rewrite75.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

466×	`log-prod_binary64`
401×	`prod-diff_binary64`
350×	`exp-prod_binary64`
310×	`pow-prod-down_binary64`
259×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	29
1	225	29
2	2717	29

Stop Event

1×	node limit

Counts

3 → 140

Calls

Call 1

Inputs
(.f64 1/360 (.f64 x x))
(.f64 (pow.f64 x 4) (+.f64 (.f64 1/360 (*.f64 x x)) 1/12))
(+.f64 (.f64 1/360 (.f64 x x)) 1/12)

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 1/12) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 1/360 (pow.f64 x 6)) 1) (*.f64 (*.f64 (pow.f64 x 4) 1/12) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 1/360 (*.f64 x x) 1/12)) (pow.f64 x 4))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 1/360 (*.f64 x x) 1/12)) (pow.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 1/360 (*.f64 x x) 1/12)) (pow.f64 x 4)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (fma.f64 1/360 (*.f64 x x) 1/12)) (pow.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 1/360 (pow.f64 x 6)) 3) (pow.f64 (*.f64 (pow.f64 x 4) 1/12) 3)) (+.f64 (pow.f64 (*.f64 1/360 (pow.f64 x 6)) 2) (-.f64 (pow.f64 (*.f64 (pow.f64 x 4) 1/12) 2) (*.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 (pow.f64 x 4) 1/12)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 1/360 (pow.f64 x 6)) 2) (pow.f64 (*.f64 (pow.f64 x 4) 1/12) 2)) (-.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 (pow.f64 x 4) 1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (fma.f64 1/46656000 (pow.f64 x 6) 1/1728) (pow.f64 x 4)) (-.f64 (fma.f64 (pow.f64 x 4) 1/129600 1/144) (*.f64 (*.f64 x x) 1/4320)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (fma.f64 (pow.f64 x 4) 1/129600 -1/144) (pow.f64 x 4)) (fma.f64 1/360 (*.f64 x x) -1/12))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/46656000 (pow.f64 x 6) 1/1728)) (-.f64 (fma.f64 (pow.f64 x 4) 1/129600 1/144) (*.f64 (*.f64 x x) 1/4320)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) 1/129600 -1/144)) (fma.f64 1/360 (*.f64 x x) -1/12))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (fma.f64 1/360 (*.f64 x x) 1/12) 2) (pow.f64 x 8)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (fma.f64 1/360 (*.f64 x x) 1/12) 3) (pow.f64 x 12)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 x x) (sqrt.f64 (fma.f64 1/360 (*.f64 x x) 1/12))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12)))) 2)) (cbrt.f64 (log.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12))))) (sqrt.f64 (log.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (fma.f64 1/360 (*.f64 x x) 1/12) 2) (pow.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (fma.f64 1/360 (*.f64 x x) 1/12)) (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/360 (*.f64 x x) 1/12) 3) (pow.f64 x 12)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 (fma.f64 1/360 (*.f64 x x) 1/12) 3) (pow.f64 x 12))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 x x) (sqrt.f64 (fma.f64 1/360 (*.f64 x x) 1/12)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (pow.f64 x 4) (fma.f64 1/360 (*.f64 x x) 1/12))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/360 (pow.f64 x 6) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) (pow.f64 (*.f64 x (*.f64 x (sqrt.f64 1/360))) 2) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) (*.f64 (*.f64 x x) 1/12) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 4)) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/360 (*.f64 x x)) (pow.f64 x 4) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 4) (*.f64 1/360 (*.f64 x x)) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 4) 1/12 (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/12 (pow.f64 x 4) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1/360 (pow.f64 x 6)) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 (pow.f64 x 4) 1/12) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 6) 1/360 (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 1/129600)) (*.f64 (cbrt.f64 (*.f64 1/360 (*.f64 x x))) (pow.f64 x 4)) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 8) (*.f64 (*.f64 (cbrt.f64 x) x) 1/12) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 8) (*.f64 (*.f64 (cbrt.f64 x) x) (*.f64 1/360 (*.f64 x x))) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 1/360)) (*.f64 (*.f64 x (sqrt.f64 1/360)) (pow.f64 x 4)) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/360 (pow.f64 x 6)) 1 (*.f64 (*.f64 (pow.f64 x 4) 1/12) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/360 x) (pow.f64 x 5) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/360 (pow.f64 x 6))) 2) (cbrt.f64 (*.f64 1/360 (pow.f64 x 6))) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 1/12)) 2) (cbrt.f64 (*.f64 (pow.f64 x 4) 1/12)) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 1/360 (pow.f64 x 6))) (sqrt.f64 (*.f64 1/360 (pow.f64 x 6))) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 (pow.f64 x 4) 1/12)) (sqrt.f64 (*.f64 (pow.f64 x 4) 1/12)) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (*.f64 (*.f64 x (sqrt.f64 1/360)) x) 2) (*.f64 x x) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/12 (*.f64 x x)) (*.f64 x x) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 1/12 (pow.f64 (cbrt.f64 x) 8)) (*.f64 (cbrt.f64 x) x) (*.f64 1/360 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (pow.f64 x 4) 1/360) (*.f64 x x) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (pow.f64 x 4) (cbrt.f64 (*.f64 (pow.f64 x 4) 1/129600))) (cbrt.f64 (*.f64 1/360 (*.f64 x x))) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (pow.f64 x 4) (*.f64 x (sqrt.f64 1/360))) (*.f64 x (sqrt.f64 1/360)) (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (pow.f64 x 4) (*.f64 1/360 x)) x (*.f64 (pow.f64 x 4) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 1/360 (*.f64 x x)) (pow.f64 (cbrt.f64 x) 8)) (*.f64 (cbrt.f64 x) x) (*.f64 (pow.f64 x 4) 1/12))))))

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

simplify200.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1124×	`sqr-pow_binary64`
748×	`cube-prod_binary64`
653×	`pow-sqr_binary64`
429×	`unpow3_binary64`
423×	`cube-mult_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	336
1	32	318
2	66	318
3	175	318
4	728	318
5	1824	318
6	2174	318
7	2369	318
8	2563	318
9	2814	318
10	3129	318
11	3537	318
12	3973	318
13	4463	318
14	5070	318
15	5322	318
16	5570	318
17	5834	318
18	6104	318
19	6366	318
20	7771	318

Stop Event

1×	node limit

Counts

176 → 148

Calls

Call 1

Inputs
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/360 (pow.f64 x 2))
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
1/12
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(*.f64 1/360 (pow.f64 x 2))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(*.f64 1/360 (pow.f64 x 2))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))

Outputs
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/360 (pow.f64 x 6) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12))
1/12
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 (.f64 1/360 (.f64 x x)) 1/12)
(fma.f64 1/360 (*.f64 x x) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 (.f64 1/360 (.f64 x x)) 1/12)
(fma.f64 1/360 (*.f64 x x) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 (.f64 1/360 (.f64 x x)) 1/12)
(fma.f64 1/360 (*.f64 x x) 1/12)
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 (.f64 1/360 (.f64 x x)) 1/12)
(fma.f64 1/360 (*.f64 x x) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 (.f64 1/360 (.f64 x x)) 1/12)
(fma.f64 1/360 (*.f64 x x) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 (.f64 1/360 (.f64 x x)) 1/12)
(fma.f64 1/360 (*.f64 x x) 1/12)
(*.f64 1/360 (pow.f64 x 2))
(.f64 1/360 (.f64 x x))
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 (.f64 1/360 (.f64 x x)) 1/12)
(fma.f64 1/360 (*.f64 x x) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 (.f64 1/360 (.f64 x x)) 1/12)
(fma.f64 1/360 (*.f64 x x) 1/12)
(+.f64 1/12 (*.f64 1/360 (pow.f64 x 2)))
(+.f64 (.f64 1/360 (.f64 x x)) 1/12)
(fma.f64 1/360 (*.f64 x x) 1/12)

eval107.0ms (1.2%)

Compiler: Compiled 2779 to 1843 computations (33.7% saved)

prune18.0ms (0.2%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	148	6	154

Error

Counts

154 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.6b	(*.f64 x x)
✓	0.5b	(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
✓	26.9b	(*.f64 1/12 (pow.f64 x 4))
✓	0.4b	(fma.f64 x x (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
✓	0.4b	(fma.f64 x x (.f64 (pow.f64 x 4) (+.f64 (.f64 1/360 (*.f64 x x)) 1/12)))
✓	26.5b	(+.f64 -2 (*.f64 2 (cosh.f64 x)))

Compiler

Compiled 63 to 46 computations (27% saved)

regimes15.0ms (0.2%)

Counts

12 → 1

Calls

Call 1

Inputs
(*.f64 x x)
(*.f64 1/12 (pow.f64 x 4))
(+.f64 -2 (*.f64 2 (cosh.f64 x)))
(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 x x))
(+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(fma.f64 x x (.f64 (pow.f64 x 4) (+.f64 (.f64 1/360 (*.f64 x x)) 1/12)))
(fma.f64 x x (.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(fma.f64 x x (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))))

Outputs
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))))

Calls

2 calls:

7.0ms	x
4.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Results

Error	Segments	Branch
0.4b	1	`x`
0.4b	1	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 139 to 92 computations (33.8% saved)

regimes13.0ms (0.1%)

Counts

11 → 1

Calls

Call 1

Inputs
(*.f64 x x)
(*.f64 1/12 (pow.f64 x 4))
(+.f64 -2 (*.f64 2 (cosh.f64 x)))
(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 x x))
(+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(fma.f64 x x (.f64 (pow.f64 x 4) (+.f64 (.f64 1/360 (*.f64 x x)) 1/12)))
(fma.f64 x x (.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(fma.f64 x x (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))

Outputs
(fma.f64 x x (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))

Calls

2 calls:

7.0ms	x
2.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Results

Error	Segments	Branch
0.4b	1	`x`
0.4b	1	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 121 to 79 computations (34.7% saved)

regimes13.0ms (0.1%)

Counts

10 → 1

Calls

Call 1

Inputs
(*.f64 x x)
(*.f64 1/12 (pow.f64 x 4))
(+.f64 -2 (*.f64 2 (cosh.f64 x)))
(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 x x))
(+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(fma.f64 x x (.f64 (pow.f64 x 4) (+.f64 (.f64 1/360 (*.f64 x x)) 1/12)))
(fma.f64 x x (.f64 (pow.f64 x 4) (fma.f64 1/360 (.f64 x x) 1/12)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))

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

Calls

2 calls:

6.0ms	x
2.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Results

Error	Segments	Branch
0.4b	1	`x`
0.4b	1	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 101 to 64 computations (36.6% saved)

regimes9.0ms (0.1%)

Counts

7 → 1

Calls

Call 1

Inputs
(*.f64 x x)
(*.f64 1/12 (pow.f64 x 4))
(+.f64 -2 (*.f64 2 (cosh.f64 x)))
(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
(fma.f64 1/12 (pow.f64 x 4) (*.f64 x x))
(+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Outputs
(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))

Calls

2 calls:

5.0ms	x
2.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Results

Error	Segments	Branch
0.5b	1	`x`
0.5b	1	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 59 to 37 computations (37.3% saved)

regimes38.0ms (0.4%)

Accuracy

Total -26.6b remaining (-4586.4%)

Threshold costs -26.6b (-4586.4%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(*.f64 x x)

Calls

1 calls:

37.0ms

Results

Error	Segments	Branch
0.6b	1	`x`

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
4×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	91
1	35	91

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 x x (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 x x (.f64 (pow.f64 x 4) (+.f64 (.f64 1/360 (*.f64 x x)) 1/12)))
(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
(*.f64 x x)

Outputs
(fma.f64 x x (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 x x (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(fma.f64 x x (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/20160 (pow.f64 x 8)) (*.f64 1/12 (pow.f64 x 4)))))
(fma.f64 x x (.f64 (pow.f64 x 4) (+.f64 (.f64 1/360 (*.f64 x x)) 1/12)))
(fma.f64 x x (.f64 (pow.f64 x 4) (+.f64 1/12 (.f64 1/360 (*.f64 x x)))))
(+.f64 (.f64 x x) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 x x))
(*.f64 x x)

Compiler

Compiled 69 to 49 computations (29% saved)

soundness319.0ms (3.5%)

Algorithm

2×	egg-herbie

Rules

801×	`associate-/l*_binary64`
624×	`fma-def_binary64`
581×	`fma-neg_binary64`
560×	`distribute-rgt-out_binary64`
548×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	20	13
2	36	13
3	60	13
4	122	13
5	273	13
6	709	13
7	1729	13
8	3145	13
9	7605	13
0	34	295
1	85	283
2	186	279
3	525	279
4	2241	279
5	4801	279
6	5972	279

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 237 to 185 computations (21.9% saved)

end56.0ms (0.6%)

Compiler: Compiled 65 to 43 computations (33.8% saved)

Details

analyze4.0ms (0%)

sample5.8s (63.4%)

preprocess91.0ms (1%)

simplify79.0ms (0.9%)

eval1.0ms (0%)

prune2.0ms (0%)

localize16.0ms (0.2%)

series4.0ms (0%)

rewrite167.0ms (1.8%)

simplify69.0ms (0.7%)

localize56.0ms (0.6%)

series2.0ms (0%)

rewrite65.0ms (0.7%)

simplify60.0ms (0.7%)

eval38.0ms (0.4%)

prune20.0ms (0.2%)

localize26.0ms (0.3%)

series37.0ms (0.4%)

rewrite80.0ms (0.9%)

simplify164.0ms (1.8%)

localize2.0ms (0%)

localize6.0ms (0.1%)

series15.0ms (0.2%)

rewrite54.0ms (0.6%)

simplify71.0ms (0.8%)

localize8.0ms (0.1%)

series2.0ms (0%)

rewrite49.0ms (0.5%)

simplify191.0ms (2.1%)

localize59.0ms (0.6%)

series2.0ms (0%)

rewrite52.0ms (0.6%)

simplify6.0ms (0.1%)

eval148.0ms (1.6%)

prune63.0ms (0.7%)

localize5.0ms (0.1%)

localize24.0ms (0.3%)

localize16.0ms (0.2%)

series2.0ms (0%)

rewrite64.0ms (0.7%)

simplify189.0ms (2.1%)

localize64.0ms (0.7%)

series1.0ms (0%)

rewrite74.0ms (0.8%)

simplify180.0ms (2%)

eval116.0ms (1.3%)

prune25.0ms (0.3%)

localize19.0ms (0.2%)

series4.0ms (0%)

rewrite75.0ms (0.8%)

simplify200.0ms (2.2%)

eval107.0ms (1.2%)

prune18.0ms (0.2%)

regimes15.0ms (0.2%)

regimes13.0ms (0.1%)

regimes13.0ms (0.1%)

regimes9.0ms (0.1%)

regimes38.0ms (0.4%)

simplify6.0ms (0.1%)

soundness319.0ms (3.5%)

end56.0ms (0.6%)

Profiling