Details

analyze5.0ms (0.2%)

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%	0.4%	49.6%	10
50.2%	0.2%	49.6%	11
50.2%	0.1%	49.7%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.1s (42.4%)

Results

1.1s	8256×	body	256	valid
1.0ms	10×	body	256	invalid

preprocess99.0ms (3.8%)

Algorithm

2×	egg-herbie

Rules

658×	`div-sub_binary64`
631×	`fma-def_binary64`
417×	`times-frac_binary64`
408×	`associate-/l*_binary64`
382×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	19	9
2	50	9
3	111	7
4	236	7
5	531	7
6	1618	7
7	5638	7
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))

Outputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
(exp.f64 (+.f64 -1 (*.f64 x x)))
(exp.f64 (+.f64 (*.f64 x x) -1))
(exp.f64 (fma.f64 x x -1))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify79.0ms (3%)

Algorithm

1×	egg-herbie

Rules

658×	`div-sub_binary64`
631×	`fma-def_binary64`
417×	`times-frac_binary64`
408×	`associate-/l*_binary64`
382×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	19	9
2	50	9
3	111	7
4	236	7
5	531	7
6	1618	7
7	5638	7

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))

Outputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
(exp.f64 (+.f64 -1 (*.f64 x x)))
(exp.f64 (+.f64 (*.f64 x x) -1))
(exp.f64 (fma.f64 x x -1))

eval1.0ms (0%)

Compiler: Compiled 13 to 9 computations (30.8% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))

Compiler

Compiled 8 to 6 computations (25% saved)

localize10.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 1 (*.f64 x x))
✓	0.0b	(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))

Compiler

Compiled 24 to 12 computations (50% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite54.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

606×	`pow1_binary64`
566×	`add-log-exp_binary64`
565×	`log1p-expm1-u_binary64`
565×	`expm1-log1p-u_binary64`
554×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	18
1	145	16
2	1848	16

Stop Event

1×	node limit

Counts

2 → 76

Calls

Call 1

Inputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
(-.f64 1 (*.f64 x x))

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

Outputs

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

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

simplify60.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

691×	`distribute-lft-out_binary64`
396×	`*-commutative_binary64`
367×	`associate-l_binary64`
348×	`fma-def_binary64`
342×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	245
1	65	207
2	161	195
3	501	188
4	2076	188
5	4170	188
6	6373	188

Stop Event

1×	node limit

Counts

100 → 90

Calls

Call 1

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

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

eval104.0ms (4%)

Compiler: Compiled 1085 to 726 computations (33.1% saved)

prune12.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	87	3	90
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	87	4	91

Error

0.0b

Counts

91 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	52.6b	(exp.f64 (neg.f64 (*.f64 x (neg.f64 x))))
▶	0.7b	(*.f64 (exp.f64 -1) (fma.f64 x x 1))
▶	1.2b	(exp.f64 -1)
✓	0.0b	(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize3.0ms (0.1%)

Compiler: Compiled 4 to 4 computations (0% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (neg.f64 (*.f64 x (neg.f64 x))))

Compiler

Compiled 19 to 5 computations (73.7% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite42.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

356×	`pow1_binary64`
344×	`add-sqr-sqrt_binary64`
338×	`*-un-lft-identity_binary64`
328×	`add-log-exp_binary64`
327×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	124	6
2	1571	1

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(exp.f64 (neg.f64 (*.f64 x (neg.f64 x))))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x . 1)))))

simplify55.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

829×	`associate-/l/_binary64`
684×	`fma-def_binary64`
676×	`associate-/r/_binary64`
586×	`associate-/l*_binary64`
393×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	95
1	44	89
2	102	85
3	280	85
4	1063	85
5	2912	85
6	3743	85
7	4692	85

Stop Event

1×	node limit

Counts

13 → 9

Calls

Call 1

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

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

localize10.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (exp.f64 -1) (fma.f64 x x 1))

Compiler

Compiled 17 to 12 computations (29.4% saved)

series3.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(*.f64 (exp.f64 -1) (fma.f64 x x 1))
1.0ms	x	@	0	(*.f64 (exp.f64 -1) (fma.f64 x x 1))
1.0ms	x	@	-inf	(*.f64 (exp.f64 -1) (fma.f64 x x 1))

rewrite42.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

517×	`pow1_binary64`
497×	`add-sqr-sqrt_binary64`
474×	`add-log-exp_binary64`
473×	`log1p-expm1-u_binary64`
473×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	123	10
2	1287	10

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

Inputs
(*.f64 (exp.f64 -1) (fma.f64 x x 1))

Outputs

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

simplify166.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

1101×	`sqr-pow_binary64`
569×	`cube-prod_binary64`
562×	`fabs-mul_binary64`
528×	`pow-sqr_binary64`
469×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	129
1	16	129
2	30	111
3	57	111
4	134	111
5	392	111
6	1403	111
7	2323	111
8	2513	111
9	2728	111
10	2948	111
11	3258	111
12	3662	111
13	4149	111
14	4717	111
15	5403	111
16	6240	111
17	6634	111
18	6928	111
19	7204	111
20	7276	111
21	7310	111

Stop Event

1×	node limit

Counts

25 → 19

Calls

Call 1

Inputs
(exp.f64 -1)
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))

Outputs
(exp.f64 -1)
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))

eval48.0ms (1.9%)

Compiler: Compiled 233 to 180 computations (22.7% saved)

prune6.0ms (0.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	24	4	28
Fresh	0	0	0
Picked	1	0	1
Done	0	3	3
Total	25	7	32

Error

0.0b

Counts

32 → 7

Alt Table

Click to see full alt table

Status	Error	Program
	52.6b	1
✓	52.6b	(exp.f64 (neg.f64 (*.f64 x (neg.f64 x))))
✓	1.2b	(exp.f64 -1)
▶	0.7b	(+.f64 (.f64 (.f64 x x) (exp.f64 -1)) (exp.f64 -1))
▶	61.3b	(.f64 (exp.f64 -1) (.f64 x x))
✓	0.0b	(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
▶	52.6b	(fma.f64 x x 1)

Compiler

Compiled 42 to 32 computations (23.8% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (exp.f64 -1) (.f64 x x))

Compiler

Compiled 14 to 8 computations (42.9% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite51.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

483×	`pow1_binary64`
462×	`add-sqr-sqrt_binary64`
454×	`*-un-lft-identity_binary64`
445×	`add-log-exp_binary64`
445×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	112	9
2	1268	9

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify174.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
552×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
456×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	108
1	13	108
2	24	108
3	45	108
4	105	108
5	335	108
6	1260	108
7	2136	108
8	2300	108
9	2484	108
10	2692	108
11	2987	108
12	3382	108
13	3863	108
14	4429	108
15	5115	108
16	5946	108
17	6340	108
18	6632	108
19	6908	108
20	6978	108
21	7012	108
22	7953	108

Stop Event

1×	node limit

Counts

23 → 13

Calls

Call 1

Inputs
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))

Outputs
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(.f64 x (.f64 (exp.f64 -1) x))

localize34.0ms (1.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 (.f64 x x) (exp.f64 -1)) (exp.f64 -1))
✓	0.1b	(.f64 (.f64 x x) (exp.f64 -1))

Compiler

Compiled 23 to 14 computations (39.1% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite100.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

747×	`pow1_binary64`
697×	`add-log-exp_binary64`
696×	`log1p-expm1-u_binary64`
696×	`expm1-log1p-u_binary64`
680×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	21
1	146	19
2	1967	19

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

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

Outputs

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

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

simplify185.0ms (7.1%)

Algorithm

1×	egg-herbie

Rules

1101×	`sqr-pow_binary64`
569×	`cube-prod_binary64`
562×	`fabs-mul_binary64`
528×	`pow-sqr_binary64`
469×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	237
1	16	237
2	30	219
3	57	219
4	134	219
5	392	219
6	1403	219
7	2323	219
8	2513	219
9	2728	219
10	2948	219
11	3258	219
12	3662	219
13	4149	219
14	4717	219
15	5403	219
16	6240	219
17	6634	219
18	6928	219
19	7204	219
20	7276	219
21	7310	219

Stop Event

1×	node limit

Counts

76 → 57

Calls

Call 1

Inputs
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(exp.f64 -1)
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))

Outputs
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(exp.f64 -1)
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (*.f64 (exp.f64 -1) (pow.f64 x 2)) (exp.f64 -1))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(*.f64 (exp.f64 -1) (pow.f64 x 2))
(.f64 (exp.f64 -1) (.f64 x x))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(+.f64 (exp.f64 -1) (*.f64 (exp.f64 -1) (pow.f64 x 2)))
(fma.f64 (exp.f64 -1) (*.f64 x x) (exp.f64 -1))
(.f64 (+.f64 (.f64 x x) 1) (exp.f64 -1))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))

localize3.0ms (0.1%)

Compiler: Compiled 7 to 4 computations (42.9% saved)

eval22.0ms (0.9%)

Compiler: Compiled 861 to 672 computations (22% saved)

prune35.0ms (1.4%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	70	7	77

Error

0.0b

Counts

77 → 7

Alt Table

Click to see full alt table

Status	Error	Program
	52.6b	1
✓	52.6b	(exp.f64 (neg.f64 (*.f64 x (neg.f64 x))))
✓	1.2b	(exp.f64 -1)
✓	0.7b	(+.f64 (.f64 (.f64 x x) (exp.f64 -1)) (exp.f64 -1))
✓	61.3b	(.f64 (exp.f64 -1) (.f64 x x))
✓	0.0b	(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
✓	52.6b	(fma.f64 x x 1)

Compiler

Compiled 42 to 32 computations (23.8% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune3.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	6	6
Total	7	7

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
	52.6b	1
✓	52.6b	(exp.f64 (neg.f64 (*.f64 x (neg.f64 x))))
✓	1.2b	(exp.f64 -1)
✓	0.7b	(+.f64 (.f64 (.f64 x x) (exp.f64 -1)) (exp.f64 -1))
✓	61.3b	(.f64 (exp.f64 -1) (.f64 x x))
✓	0.0b	(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
✓	52.6b	(fma.f64 x x 1)

Compiler

Compiled 42 to 32 computations (23.8% saved)

regimes19.0ms (0.7%)

Counts

8 → 1

Calls

Call 1

Inputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
(exp.f64 (neg.f64 (*.f64 x (neg.f64 x))))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(fma.f64 x x 1)
(+.f64 (.f64 (.f64 x x) (exp.f64 -1)) (exp.f64 -1))
(.f64 (exp.f64 -1) (.f64 x x))
1
(exp.f64 -1)

Outputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))

Calls

5 calls:

7.0ms	x
3.0ms	(*.f64 x x)
2.0ms	(-.f64 1 (*.f64 x x))
2.0ms	(neg.f64 (-.f64 1 (*.f64 x x)))
2.0ms	(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))`
0.0b	1	`(neg.f64 (-.f64 1 (*.f64 x x)))`
0.0b	1	`(-.f64 1 (*.f64 x x))`
0.0b	1	`(*.f64 x x)`

Compiler

Compiled 70 to 47 computations (32.9% saved)

regimes16.0ms (0.6%)

Counts

7 → 1

Calls

Call 1

Inputs
(exp.f64 (neg.f64 (*.f64 x (neg.f64 x))))
(*.f64 (exp.f64 -1) (fma.f64 x x 1))
(fma.f64 x x 1)
(+.f64 (.f64 (.f64 x x) (exp.f64 -1)) (exp.f64 -1))
(.f64 (exp.f64 -1) (.f64 x x))
1
(exp.f64 -1)

Outputs
(+.f64 (.f64 (.f64 x x) (exp.f64 -1)) (exp.f64 -1))

Calls

2 calls:

5.0ms	x
3.0ms	(*.f64 x x)

Results

Error	Segments	Branch
0.7b	1	`x`
0.7b	1	`(*.f64 x x)`

Compiler

Compiled 42 to 28 computations (33.3% saved)

regimes7.0ms (0.3%)

Accuracy

Total -60.1b remaining (-5119.7%)

Threshold costs -60.1b (-5119.7%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(exp.f64 -1)

Calls

2 calls:

4.0ms	x
2.0ms	(*.f64 x x)

Results

Error	Segments	Branch
1.2b	1	`x`
1.2b	1	`(*.f64 x x)`

Compiler

Compiled 16 to 11 computations (31.3% saved)

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

22×	`distribute-rgt-neg-in_binary64`
20×	`cancel-sign-sub-inv_binary64`
13×	`distribute-lft-neg-in_binary64`
13×	`distribute-lft-neg-out_binary64`
13×	`neg-sub0_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	28
1	22	28
2	35	26
3	51	26
4	74	26
5	96	26
6	110	26
7	125	26
8	144	26
9	155	26
10	160	26
11	169	26
12	173	26

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
(+.f64 (.f64 (.f64 x x) (exp.f64 -1)) (exp.f64 -1))
(exp.f64 -1)

Outputs
(exp.f64 (neg.f64 (-.f64 1 (*.f64 x x))))
(exp.f64 (+.f64 (*.f64 x x) -1))
(+.f64 (.f64 (.f64 x x) (exp.f64 -1)) (exp.f64 -1))
(+.f64 (exp.f64 -1) (.f64 (.f64 x x) (exp.f64 -1)))
(exp.f64 -1)

Compiler

Compiled 20 to 16 computations (20% saved)

soundness0.0ms (0%)

end28.0ms (1.1%)

Compiler: Compiled 18 to 13 computations (27.8% saved)

Iter	Nodes	Cost
0	11	28
1	22	28
2	35	26
3	51	26
4	74	26
5	96	26
6	110	26
7	125	26
8	144	26
9	155	26
10	160	26
11	169	26
12	173	26

Iter	Nodes	Cost
0	11	28
1	22	28
2	35	26
3	51	26
4	74	26
5	96	26
6	110	26
7	125	26
8	144	26
9	155	26
10	160	26
11	169	26
12	173	26

Details

analyze5.0ms (0.2%)

sample1.1s (42.4%)

preprocess99.0ms (3.8%)

simplify79.0ms (3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize10.0ms (0.4%)

series3.0ms (0.1%)

rewrite54.0ms (2.1%)

simplify60.0ms (2.3%)

eval104.0ms (4%)

prune12.0ms (0.5%)

localize3.0ms (0.1%)

localize7.0ms (0.3%)

series1.0ms (0%)

rewrite42.0ms (1.6%)

simplify55.0ms (2.1%)

localize10.0ms (0.4%)

series3.0ms (0.1%)

rewrite42.0ms (1.6%)

simplify166.0ms (6.3%)

eval48.0ms (1.9%)

prune6.0ms (0.2%)

localize9.0ms (0.3%)

series2.0ms (0.1%)

rewrite51.0ms (2%)

simplify174.0ms (6.6%)

localize34.0ms (1.3%)

series2.0ms (0.1%)

rewrite100.0ms (3.8%)

simplify185.0ms (7.1%)

localize3.0ms (0.1%)

eval22.0ms (0.9%)

prune35.0ms (1.4%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes19.0ms (0.7%)

regimes16.0ms (0.6%)

regimes7.0ms (0.3%)

simplify7.0ms (0.3%)

soundness0.0ms (0%)

end28.0ms (1.1%)

Profiling

Iter	Nodes	Cost
0	11	28
1	22	28
2	35	26
3	51	26
4	74	26
5	96	26
6	110	26
7	125	26
8	144	26
9	155	26
10	160	26
11	169	26
12	173	26