Details

analyze123.0ms (4.6%)

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 (70%)

Results

1.1s	2804×	body	1024	valid
321.0ms	3802×	body	256	valid
223.0ms	1358×	body	512	valid
102.0ms	292×	body	2048	valid
0.0ms	1×	body	2048	invalid
0.0ms	2×	body	256	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 9 to 6 computations (33.3% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.5b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 4 computations (63.6% saved)

series5.0ms (0.2%)

Counts

1 → 12

Calls

3 calls:

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

rewrite53.0ms (2%)

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

simplify185.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

42 → 39

Calls

Call 1

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

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

eval7.0ms (0.2%)

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

prune6.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	35	4	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	35	5	40

Error

0.4b

Counts

40 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	1.3b	(pow.f64 (cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x))) 3)
✓	0.5b	(/.f64 (exp.f64 x) (expm1.f64 x))
▶	23.9b	(+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x)))
▶	23.8b	(+.f64 (/.f64 1 x) 1/2)
▶	23.5b	(/.f64 1 x)

Compiler

Compiled 35 to 27 computations (22.9% saved)

localize12.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 20 computations (25.9% saved)

series3.0ms (0.1%)

Counts

2 → 9

Calls

6 calls:

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

rewrite54.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 46

Calls

Call 1

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

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

Outputs

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

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

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×

saturated

Counts

55 → 50

Calls

Call 1

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

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

localize21.0ms (0.8%)

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

localize3.0ms (0.1%)

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

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.4b	(cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x)))
✓	0.5b	(pow.f64 (cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x))) 3)
	0.5b	(/.f64 (exp.f64 x) (expm1.f64 x))

Compiler

Compiled 26 to 8 computations (69.2% saved)

series9.0ms (0.3%)

Counts

2 → 16

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	x	@	inf	(pow.f64 (cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x))) 3)
2.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x))) 3)
2.0ms	x	@	0	(pow.f64 (cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x))) 3)
0.0ms	x	@	0	(cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x)))
0.0ms	x	@	inf	(cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x)))

rewrite87.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

691×	`pow1_binary64`
650×	`add-log-exp_binary64`
650×	`log1p-expm1-u_binary64`
650×	`expm1-log1p-u_binary64`
633×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	168	18
2	1809	18

Stop Event

1×	node limit

Counts

2 → 72

Calls

Call 1

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

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

simplify68.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

608×	`times-frac_binary64`
525×	`fma-def_binary64`
455×	`associate-/l*_binary64`
396×	`fma-neg_binary64`
391×	`associate-/r*_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	168
1	29	144
2	42	144
3	64	144
4	113	144
5	217	144
6	617	144
7	1331	144
8	1513	144
9	1904	144
10	2994	144
11	6834	144

Stop Event

1×	node limit

Counts

88 → 75

Calls

Call 1

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

Outputs
(*.f64 (pow.f64 1 1/3) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)))
(*.f64 1 (/.f64 (exp.f64 x) (expm1.f64 x)))
(/.f64 (exp.f64 x) (expm1.f64 x))
(*.f64 (pow.f64 1 1/3) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)))
(*.f64 1 (/.f64 (exp.f64 x) (expm1.f64 x)))
(/.f64 (exp.f64 x) (expm1.f64 x))
(*.f64 (pow.f64 1 1/3) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)))
(*.f64 1 (/.f64 (exp.f64 x) (expm1.f64 x)))
(/.f64 (exp.f64 x) (expm1.f64 x))
(*.f64 (pow.f64 1 1/3) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)))
(*.f64 1 (/.f64 (exp.f64 x) (expm1.f64 x)))
(/.f64 (exp.f64 x) (expm1.f64 x))
(*.f64 (pow.f64 1 1/3) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)))
(*.f64 1 (/.f64 (exp.f64 x) (expm1.f64 x)))
(/.f64 (exp.f64 x) (expm1.f64 x))
(*.f64 (pow.f64 1 1/3) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)))
(*.f64 1 (/.f64 (exp.f64 x) (expm1.f64 x)))
(/.f64 (exp.f64 x) (expm1.f64 x))
(*.f64 (pow.f64 1 1/3) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)))
(*.f64 1 (/.f64 (exp.f64 x) (expm1.f64 x)))
(/.f64 (exp.f64 x) (expm1.f64 x))
(*.f64 (pow.f64 1 1/3) (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)))
(*.f64 1 (/.f64 (exp.f64 x) (expm1.f64 x)))
(/.f64 (exp.f64 x) (expm1.f64 x))
(pow.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 1/3)
(cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x)))
(pow.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 1/3)
(cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x)))
(pow.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 1/3)
(cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x)))
(pow.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 1/3)
(cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x)))
(pow.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 1/3)
(cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x)))
(pow.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 1/3)
(cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x)))
(pow.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 1/3)
(cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x)))
(pow.f64 (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1)) 1/3)
(cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x)))

eval47.0ms (1.8%)

Compiler: Compiled 2112 to 1126 computations (46.7% saved)

prune24.0ms (0.9%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	164	5	169

Error

0.4b

Counts

169 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.3b	(pow.f64 (cbrt.f64 (/.f64 (exp.f64 x) (expm1.f64 x))) 3)
✓	0.5b	(/.f64 (exp.f64 x) (expm1.f64 x))
✓	23.9b	(+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x)))
✓	23.8b	(+.f64 (/.f64 1 x) 1/2)
✓	23.5b	(/.f64 1 x)

Compiler

Compiled 35 to 27 computations (22.9% saved)

regimes11.0ms (0.4%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 51 to 31 computations (39.2% saved)

regimes8.0ms (0.3%)

Accuracy

Total -0.8b remaining (-3.4%)

Threshold costs -0.8b (-3.4%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(/.f64 1 x)

Calls

1 calls:

7.0ms

Results

Error	Segments	Branch
23.5b	1	`x`

Compiler

Compiled 20 to 15 computations (25% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	9	12

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 10 to 7 computations (30% saved)

soundness7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Compiler

Compiled 14 to 9 computations (35.7% saved)

end19.0ms (0.7%)

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

Details

analyze123.0ms (4.6%)

sample1.9s (70%)

preprocess15.0ms (0.6%)

simplify6.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.2%)

series5.0ms (0.2%)

rewrite53.0ms (2%)

simplify185.0ms (6.9%)

eval7.0ms (0.2%)

prune6.0ms (0.2%)

localize12.0ms (0.4%)

series3.0ms (0.1%)

rewrite54.0ms (2%)

simplify7.0ms (0.3%)

localize21.0ms (0.8%)

localize3.0ms (0.1%)

localize9.0ms (0.4%)

series9.0ms (0.3%)

rewrite87.0ms (3.3%)

simplify68.0ms (2.6%)

eval47.0ms (1.8%)

prune24.0ms (0.9%)

regimes11.0ms (0.4%)

regimes8.0ms (0.3%)

simplify3.0ms (0.1%)

soundness7.0ms (0.3%)

end19.0ms (0.7%)

Profiling