Details

analyze128.0ms (5.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	62.5%	12.5%	4
25%	56.2%	18.8%	5
28.1%	50%	21.9%	6
29.7%	46.9%	23.5%	7
30.5%	45.3%	24.3%	8
30.8%	44.9%	24.3%	9
31.2%	44.5%	24.3%	10
31.3%	44.4%	24.3%	11
31.4%	44.3%	24.3%	12

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.9s (78%)

Results

962.0ms	2665×	body	1024	valid
384.0ms	1398×	body	512	valid
219.0ms	2893×	body	64	valid
131.0ms	659×	body	256	valid
117.0ms	284×	body	2048	valid
52.0ms	357×	body	128	valid
0.0ms	4×	body	64	invalid

preprocess15.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

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

Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 25 to 15 computations (40% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite37.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 30

Calls

Call 1

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

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

Outputs

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

simplify134.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

1329×	`sqr-pow_binary64`
715×	`pow-sqr_binary64`
530×	`cube-prod_binary64`
472×	`fabs-mul_binary64`
438×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	104
1	48	104
2	94	104
3	215	104
4	331	104
5	568	104
6	1456	104
7	2283	104
8	2369	104
9	2502	104
10	2660	104
11	2890	104
12	3212	104
13	3633	104
14	4133	104
15	4728	104
16	5448	104
17	5769	104
18	6053	104
19	6277	104
20	6455	104
21	6539	104
22	7479	104

Stop Event

1×	node limit

Counts

42 → 39

Calls

Call 1

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

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

prune38.0ms (1.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	2	40

Error

Counts

40 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (exp.f64 x) (expm1.f64 x))
▶	21.5b	(+.f64 (/.f64 1 x) (fma.f64 x 1/12 1/2))

Compiler

Compiled 403 to 177 computations (56.1% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 1 x) (fma.f64 x 1/12 1/2))
✓	0.1b	(fma.f64 x 1/12 1/2)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite46.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

842×	`pow1_binary64`
790×	`add-log-exp_binary64`
790×	`log1p-expm1-u_binary64`
790×	`expm1-log1p-u_binary64`
776×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	172	16
2	2127	16

Stop Event

1×	node limit

Counts

2 → 54

Calls

Call 1

Inputs
(fma.f64 x 1/12 1/2)
(+.f64 (/.f64 1 x) (fma.f64 x 1/12 1/2))

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

Outputs

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

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

simplify10.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

6×	`fma-def_binary64`
5×	`+-commutative_binary64`
2×	`associate-+r+_binary64`
2×	`associate-+l+_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	171
1	23	149
2	28	149
3	30	149

Stop Event

1×

saturated

Counts

78 → 63

Calls

Call 1

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

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

prune78.0ms (3.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	63	2	65

Error

Counts

65 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (exp.f64 x) (expm1.f64 x))
✓	21.5b	(+.f64 (/.f64 1 x) (fma.f64 x 1/12 1/2))

Compiler

Compiled 887 to 708 computations (20.2% saved)

regimes9.0ms (0.4%)

Accuracy

Total -61.7b remaining (-394915.9%)

Threshold costs -61.7b (-394915.9%)

Counts

3 → 1

Calls

Call 1

Inputs
(+.f64 (/.f64 1 x) (fma.f64 x 1/12 1/2))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))

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

Results

4.0ms	0.0b	`x`
2.0ms	0.0b	`(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))`
2.0ms	0.0b	`(exp.f64 x)`

Compiler

Compiled 34 to 21 computations (38.2% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8

Stop Event

1×

saturated

Calls

Call 1

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

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

end12.0ms (0.5%)

Stop Event

1×

done

Compiler

Compiled 12 to 8 computations (33.3% saved)

Details

analyze128.0ms (5.3%)

sample1.9s (78%)

preprocess15.0ms (0.6%)

simplify6.0ms (0.2%)

prune2.0ms (0.1%)

localize3.0ms (0.1%)

series2.0ms (0.1%)

rewrite37.0ms (1.6%)

simplify134.0ms (5.6%)

prune38.0ms (1.6%)

localize5.0ms (0.2%)

series3.0ms (0.1%)

rewrite46.0ms (1.9%)

simplify10.0ms (0.4%)

prune78.0ms (3.2%)

regimes9.0ms (0.4%)

simplify2.0ms (0.1%)

end12.0ms (0.5%)

Profiling