Details

analyze856.0ms (5.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	50%	0.1%	7
50%	50%	0.1%	8
50%	50%	0.1%	9
50%	50%	0.1%	10
50%	50%	0.1%	11
50%	50%	0.1%	12
50%	50%	0.1%	13
50%	50%	0.1%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample12.2s (84%)

Results

9.4s	7745×	body	8192	exit
1.4s	1984×	body	1024	valid
601.0ms	4553×	body	128	valid
448.0ms	1046×	body	512	valid
167.0ms	192×	body	2048	valid
120.0ms	481×	body	256	valid

Compiler

Compiled 18 to 14 computations (22.2% saved)

preprocess19.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

1×	`swap-a-b`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	9	20
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))

Outputs
(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

Symmetry

(sort a b)

Compiler

Compiled 8 to 6 computations (25% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	8	10

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

Outputs
(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

29.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	29.0b	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 24 to 18 computations (25% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
✓	5.6b	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

series96.0ms (0.7%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
32.0ms	a	@	inf	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
25.0ms	a	@	-inf	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
17.0ms	b	@	inf	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
14.0ms	b	@	-inf	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
3.0ms	b	@	0	(+.f64 (exp.f64 a) (exp.f64 b))

rewrite48.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

721×	`pow1_binary64`
666×	`add-log-exp_binary64`
666×	`log1p-expm1-u_binary64`
666×	`expm1-log1p-u_binary64`
73×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	18
1	138	18
2	1818	18

Stop Event

1×	node limit

Counts

2 → 57

Calls

Call 1

Inputs
(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
(+.f64 (exp.f64 a) (exp.f64 b))

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

Outputs

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

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

simplify39.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

562×	`fma-neg_binary64`
396×	`associate-+l+_binary64`
328×	`fma-def_binary64`
238×	`times-frac_binary64`
220×	`associate-+r+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	746
1	248	742
2	902	714
3	4283	710

Stop Event

1×	node limit

Counts

105 → 89

Calls

Call 1

Inputs
(log.f64 (+.f64 1 (exp.f64 b)))
(+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (log.f64 (+.f64 1 (exp.f64 b))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (log.f64 (+.f64 1 (exp.f64 b))))) (.f64 1/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(-.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 a 3) (+.f64 1 (exp.f64 b)))) (+.f64 (.f64 1/3 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (log.f64 (+.f64 1 (exp.f64 b))))))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (*.f64 1/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (.f64 1/2 (/.f64 (pow.f64 b 2) (pow.f64 (+.f64 1 (exp.f64 a)) 2))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (+.f64 (.f64 1/3 (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 3))) (+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (.f64 1/6 (/.f64 (pow.f64 b 3) (+.f64 1 (exp.f64 a)))))))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (*.f64 1/2 (/.f64 (pow.f64 b 2) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(+.f64 (exp.f64 b) 1)
(+.f64 1 (+.f64 (exp.f64 b) a))
(+.f64 (*.f64 1/2 (pow.f64 a 2)) (+.f64 1 (+.f64 (exp.f64 b) a)))
(+.f64 (.f64 1/2 (pow.f64 a 2)) (+.f64 (.f64 1/6 (pow.f64 a 3)) (+.f64 1 (+.f64 (exp.f64 b) a))))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 1 (exp.f64 a))
(+.f64 1 (+.f64 b (exp.f64 a)))
(+.f64 1 (+.f64 b (+.f64 (*.f64 1/2 (pow.f64 b 2)) (exp.f64 a))))
(+.f64 1 (+.f64 b (+.f64 (.f64 1/2 (pow.f64 b 2)) (+.f64 (exp.f64 a) (.f64 1/6 (pow.f64 b 3))))))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))

Outputs
(log.f64 (+.f64 1 (exp.f64 b)))
(log1p.f64 (exp.f64 b))
(+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (log.f64 (+.f64 1 (exp.f64 b))))
(+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (log.f64 (+.f64 1 (exp.f64 b))))) (.f64 1/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b))))) (.f64 -1/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))))
(+.f64 (+.f64 (log1p.f64 (exp.f64 b)) (fma.f64 1/2 (/.f64 a (/.f64 (+.f64 1 (exp.f64 b)) a)) (/.f64 a (+.f64 1 (exp.f64 b))))) (.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) -1/2))
(+.f64 (log1p.f64 (exp.f64 b)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (*.f64 (/.f64 a (/.f64 (+.f64 1 (exp.f64 b)) a)) (-.f64 1/2 (/.f64 1/2 (+.f64 1 (exp.f64 b)))))))
(-.f64 (+.f64 (.f64 1/6 (/.f64 (pow.f64 a 3) (+.f64 1 (exp.f64 b)))) (+.f64 (.f64 1/3 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (+.f64 1 (exp.f64 b)))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (log.f64 (+.f64 1 (exp.f64 b))))))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (*.f64 1/2 (/.f64 (pow.f64 a 2) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(-.f64 (fma.f64 1/6 (/.f64 (pow.f64 a 3) (+.f64 1 (exp.f64 b))) (fma.f64 1/3 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b))) (+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b))))))) (.f64 1/2 (+.f64 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(+.f64 (fma.f64 1/6 (/.f64 (pow.f64 a 3) (+.f64 1 (exp.f64 b))) (fma.f64 1/3 (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (log1p.f64 (exp.f64 b)) (fma.f64 1/2 (/.f64 a (/.f64 (+.f64 1 (exp.f64 b)) a)) (/.f64 a (+.f64 1 (exp.f64 b))))))) (.f64 -1/2 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (/.f64 (pow.f64 a 3) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
(+.f64 (fma.f64 1/3 (pow.f64 (/.f64 a (+.f64 1 (exp.f64 b))) 3) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (fma.f64 1/2 (/.f64 a (/.f64 (+.f64 1 (exp.f64 b)) a)) (log1p.f64 (exp.f64 b))))) (+.f64 (.f64 (/.f64 (pow.f64 a 3) (+.f64 1 (exp.f64 b))) (-.f64 1/6 (/.f64 1/2 (+.f64 1 (exp.f64 b))))) (.f64 (*.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) a) -1/2)))
(+.f64 (fma.f64 1/3 (pow.f64 (/.f64 a (+.f64 1 (exp.f64 b))) 3) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (fma.f64 1/2 (/.f64 a (/.f64 (+.f64 1 (exp.f64 b)) a)) (log1p.f64 (exp.f64 b))))) (fma.f64 (/.f64 (pow.f64 a 3) (+.f64 1 (exp.f64 b))) (-.f64 1/6 (/.f64 1/2 (+.f64 1 (exp.f64 b)))) (.f64 (.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) a) -1/2)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (.f64 1/2 (/.f64 (pow.f64 b 2) (pow.f64 (+.f64 1 (exp.f64 a)) 2))))
(-.f64 (fma.f64 1/2 (/.f64 (.f64 b b) (+.f64 1 (exp.f64 a))) (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))) (/.f64 (.f64 1/2 (*.f64 b b)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))
(+.f64 (+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (fma.f64 1/2 (/.f64 (.f64 b b) (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))) (/.f64 (.f64 -1/2 (*.f64 b b)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))
(+.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) (.f64 (/.f64 (.f64 b b) (+.f64 1 (exp.f64 a))) (-.f64 1/2 (/.f64 1/2 (+.f64 1 (exp.f64 a))))))
(+.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (.f64 (/.f64 (.f64 b b) (+.f64 1 (exp.f64 a))) (-.f64 1/2 (/.f64 1/2 (+.f64 1 (exp.f64 a)))))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (+.f64 (.f64 1/3 (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 3))) (+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (.f64 1/6 (/.f64 (pow.f64 b 3) (+.f64 1 (exp.f64 a)))))))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (*.f64 1/2 (/.f64 (pow.f64 b 2) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))
(-.f64 (fma.f64 1/2 (/.f64 (.f64 b b) (+.f64 1 (exp.f64 a))) (+.f64 (log1p.f64 (exp.f64 a)) (fma.f64 1/3 (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (.f64 1/6 (/.f64 (pow.f64 b 3) (+.f64 1 (exp.f64 a)))))))) (.f64 1/2 (+.f64 (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (/.f64 (.f64 b b) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))
(+.f64 (+.f64 (fma.f64 1/3 (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (fma.f64 1/6 (/.f64 (pow.f64 b 3) (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (fma.f64 1/2 (/.f64 (.f64 b b) (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))) (.f64 -1/2 (+.f64 (/.f64 (*.f64 b b) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))
(+.f64 (log1p.f64 (exp.f64 a)) (+.f64 (fma.f64 1/3 (pow.f64 (/.f64 b (+.f64 1 (exp.f64 a))) 3) (fma.f64 1/6 (/.f64 (pow.f64 b 3) (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (+.f64 (.f64 (/.f64 (.f64 b b) (+.f64 1 (exp.f64 a))) (-.f64 1/2 (/.f64 1/2 (+.f64 1 (exp.f64 a))))) (*.f64 (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) -1/2))))
(+.f64 (log1p.f64 (exp.f64 a)) (+.f64 (fma.f64 1/3 (pow.f64 (/.f64 b (+.f64 1 (exp.f64 a))) 3) (fma.f64 1/6 (/.f64 (pow.f64 b 3) (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (fma.f64 (/.f64 (.f64 b b) (+.f64 1 (exp.f64 a))) (-.f64 1/2 (/.f64 1/2 (+.f64 1 (exp.f64 a)))) (.f64 (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) -1/2))))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(+.f64 (exp.f64 b) 1)
(+.f64 1 (exp.f64 b))
(+.f64 1 (+.f64 (exp.f64 b) a))
(+.f64 (*.f64 1/2 (pow.f64 a 2)) (+.f64 1 (+.f64 (exp.f64 b) a)))
(fma.f64 1/2 (*.f64 a a) (+.f64 1 (+.f64 (exp.f64 b) a)))
(+.f64 (+.f64 (exp.f64 b) a) (fma.f64 1/2 (*.f64 a a) 1))
(+.f64 (.f64 1/2 (pow.f64 a 2)) (+.f64 (.f64 1/6 (pow.f64 a 3)) (+.f64 1 (+.f64 (exp.f64 b) a))))
(fma.f64 1/2 (*.f64 a a) (fma.f64 1/6 (pow.f64 a 3) (+.f64 1 (+.f64 (exp.f64 b) a))))
(fma.f64 1/2 (*.f64 a a) (+.f64 (+.f64 (exp.f64 b) a) (fma.f64 1/6 (pow.f64 a 3) 1)))
(fma.f64 1/6 (pow.f64 a 3) (+.f64 (+.f64 (exp.f64 b) a) (fma.f64 1/2 (*.f64 a a) 1)))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 1 (exp.f64 a))
(+.f64 1 (+.f64 b (exp.f64 a)))
(+.f64 (exp.f64 a) (+.f64 1 b))
(+.f64 1 (+.f64 b (+.f64 (*.f64 1/2 (pow.f64 b 2)) (exp.f64 a))))
(+.f64 (+.f64 1 b) (fma.f64 1/2 (*.f64 b b) (exp.f64 a)))
(+.f64 1 (+.f64 b (fma.f64 1/2 (*.f64 b b) (exp.f64 a))))
(+.f64 (exp.f64 a) (+.f64 1 (fma.f64 b (*.f64 b 1/2) b)))
(+.f64 1 (+.f64 b (+.f64 (.f64 1/2 (pow.f64 b 2)) (+.f64 (exp.f64 a) (.f64 1/6 (pow.f64 b 3))))))
(+.f64 (+.f64 1 b) (+.f64 (fma.f64 1/2 (.f64 b b) (exp.f64 a)) (.f64 1/6 (pow.f64 b 3))))
(+.f64 1 (+.f64 b (fma.f64 1/2 (*.f64 b b) (fma.f64 1/6 (pow.f64 b 3) (exp.f64 a)))))
(+.f64 1 (+.f64 b (fma.f64 b (*.f64 b 1/2) (fma.f64 1/6 (pow.f64 b 3) (exp.f64 a)))))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))
(+.f64 (exp.f64 b) (exp.f64 a))

prune54.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	86	4	90

Error

0.8b

Counts

90 → 4

Alt Table

Status	Error	Program
▶	1.4b	(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
	31.3b	(+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b))))
	29.8b	(log.f64 (pow.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2))
✓	29.0b	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 1446 to 729 computations (49.6% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
✓	0.0b	(log1p.f64 (exp.f64 a))
✓	0.0b	(/.f64 b (+.f64 1 (exp.f64 a)))

series61.0ms (0.4%)

Counts

3 → 40

Calls

15 calls:

Time	Variable		Point	Expression
21.0ms	a	@	inf	(/.f64 b (+.f64 1 (exp.f64 a)))
16.0ms	a	@	inf	(log1p.f64 (exp.f64 a))
14.0ms	a	@	-inf	(log1p.f64 (exp.f64 a))
4.0ms	b	@	0	(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
1.0ms	a	@	0	(/.f64 b (+.f64 1 (exp.f64 a)))

rewrite60.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

816×	`prod-diff_binary64`
317×	`fma-def_binary64`
170×	`expm1-udef_binary64`
170×	`log1p-udef_binary64`
153×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	30
1	189	30
2	2657	30

Stop Event

1×	node limit

Counts

3 → 108

Calls

Call 1

Inputs
(/.f64 b (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))

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

Outputs

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

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

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

simplify28.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

443×	`associate-+l+_binary64`
437×	`cancel-sign-sub-inv_binary64`
406×	`associate-l_binary64`
334×	`associate-r_binary64`
318×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	51	554
1	149	535
2	444	517
3	1661	513

Stop Event

1×	node limit

Counts

148 → 134

Calls

Call 1

Inputs
(*.f64 1/2 b)
(-.f64 (.f64 1/2 b) (.f64 1/4 (*.f64 a b)))
(-.f64 (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b)) (.f64 1/4 (*.f64 a b)))
(-.f64 (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b)) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 1/480 (*.f64 (pow.f64 a 5) b))))
(log.f64 2)
(+.f64 (*.f64 1/2 a) (log.f64 2))
(+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (log.f64 2)))
(-.f64 (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (log.f64 2))) (*.f64 1/192 (pow.f64 a 4)))
(log.f64 (+.f64 1 (exp.f64 a)))
(log.f64 (+.f64 1 (exp.f64 a)))
(log.f64 (+.f64 1 (exp.f64 a)))
(log.f64 (+.f64 1 (exp.f64 a)))
(log.f64 (+.f64 1 (exp.f64 a)))
(log.f64 (+.f64 1 (exp.f64 a)))
(log.f64 (+.f64 1 (exp.f64 a)))
(log.f64 (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 2) (*.f64 1/2 b))
(-.f64 (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (.f64 1/2 b))) (.f64 1/4 (.f64 a b)))
(-.f64 (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (.f64 1/2 b)))) (.f64 1/4 (*.f64 a b)))
(-.f64 (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b))))) (.f64 1/4 (*.f64 a b)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(log.f64 (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))

Outputs
(*.f64 1/2 b)
(-.f64 (.f64 1/2 b) (.f64 1/4 (*.f64 a b)))
(+.f64 (.f64 1/2 b) (.f64 -1/4 (*.f64 b a)))
(.f64 b (-.f64 1/2 (.f64 1/4 a)))
(-.f64 (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b)) (.f64 1/4 (*.f64 a b)))
(+.f64 (fma.f64 1/48 (.f64 b (pow.f64 a 3)) (.f64 1/2 b)) (.f64 -1/4 (.f64 b a)))
(fma.f64 1/48 (.f64 b (pow.f64 a 3)) (.f64 b (-.f64 1/2 (*.f64 1/4 a))))
(.f64 b (-.f64 (fma.f64 1/48 (pow.f64 a 3) 1/2) (.f64 1/4 a)))
(.f64 b (+.f64 1/2 (fma.f64 1/48 (pow.f64 a 3) (.f64 a -1/4))))
(-.f64 (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b)) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 1/480 (*.f64 (pow.f64 a 5) b))))
(-.f64 (fma.f64 1/48 (.f64 b (pow.f64 a 3)) (.f64 1/2 b)) (fma.f64 1/4 (.f64 b a) (.f64 1/480 (*.f64 b (pow.f64 a 5)))))
(-.f64 (.f64 b (+.f64 1/2 (.f64 1/48 (pow.f64 a 3)))) (.f64 b (+.f64 (.f64 1/4 a) (*.f64 1/480 (pow.f64 a 5)))))
(.f64 b (-.f64 (fma.f64 1/48 (pow.f64 a 3) 1/2) (fma.f64 1/4 a (.f64 1/480 (pow.f64 a 5)))))
(.f64 b (+.f64 1/2 (fma.f64 1/48 (pow.f64 a 3) (fma.f64 a -1/4 (.f64 (pow.f64 a 5) -1/480)))))
(log.f64 2)
(+.f64 (*.f64 1/2 a) (log.f64 2))
(fma.f64 1/2 a (log.f64 2))
(+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (log.f64 2)))
(fma.f64 1/8 (*.f64 a a) (fma.f64 1/2 a (log.f64 2)))
(fma.f64 1/2 a (fma.f64 a (*.f64 a 1/8) (log.f64 2)))
(-.f64 (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (log.f64 2))) (*.f64 1/192 (pow.f64 a 4)))
(-.f64 (fma.f64 1/8 (.f64 a a) (fma.f64 1/2 a (log.f64 2))) (.f64 1/192 (pow.f64 a 4)))
(+.f64 (fma.f64 1/8 (.f64 a a) (fma.f64 1/2 a (log.f64 2))) (.f64 (pow.f64 a 4) -1/192))
(fma.f64 (pow.f64 a 4) -1/192 (fma.f64 1/2 a (fma.f64 a (*.f64 a 1/8) (log.f64 2))))
(log.f64 (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(log.f64 (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(log.f64 (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(log.f64 (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(log.f64 (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(log.f64 (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(log.f64 (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(log.f64 (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(+.f64 (log.f64 2) (*.f64 1/2 b))
(+.f64 (*.f64 1/2 b) (log.f64 2))
(fma.f64 1/2 b (log.f64 2))
(-.f64 (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (.f64 1/2 b))) (.f64 1/4 (.f64 a b)))
(+.f64 (+.f64 (fma.f64 1/2 a (log.f64 2)) (.f64 1/2 b)) (.f64 -1/4 (*.f64 b a)))
(+.f64 (fma.f64 1/2 a (log.f64 2)) (.f64 b (-.f64 1/2 (.f64 1/4 a))))
(fma.f64 (*.f64 b a) -1/4 (fma.f64 1/2 b (fma.f64 1/2 a (log.f64 2))))
(fma.f64 (*.f64 b a) -1/4 (fma.f64 1/2 a (fma.f64 1/2 b (log.f64 2))))
(-.f64 (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (.f64 1/2 b)))) (.f64 1/4 (*.f64 a b)))
(+.f64 (fma.f64 1/8 (.f64 a a) (+.f64 (fma.f64 1/2 a (log.f64 2)) (.f64 1/2 b))) (.f64 -1/4 (.f64 b a)))
(fma.f64 1/8 (.f64 a a) (+.f64 (fma.f64 1/2 a (log.f64 2)) (.f64 b (-.f64 1/2 (*.f64 1/4 a)))))
(fma.f64 a (.f64 a 1/8) (fma.f64 (.f64 b a) -1/4 (fma.f64 1/2 b (fma.f64 1/2 a (log.f64 2)))))
(+.f64 (fma.f64 1/2 b (log.f64 2)) (.f64 a (+.f64 1/2 (fma.f64 a 1/8 (.f64 b -1/4)))))
(-.f64 (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b))))) (.f64 1/4 (*.f64 a b)))
(+.f64 (fma.f64 1/8 (.f64 a a) (+.f64 (fma.f64 1/2 a (log.f64 2)) (fma.f64 1/48 (.f64 b (pow.f64 a 3)) (.f64 1/2 b)))) (.f64 -1/4 (*.f64 b a)))
(fma.f64 1/8 (.f64 a a) (+.f64 (fma.f64 1/2 a (log.f64 2)) (fma.f64 1/48 (.f64 b (pow.f64 a 3)) (.f64 b (-.f64 1/2 (.f64 1/4 a))))))
(fma.f64 (.f64 b a) -1/4 (fma.f64 1/2 a (fma.f64 a (.f64 a 1/8) (fma.f64 b (fma.f64 1/48 (pow.f64 a 3) 1/2) (log.f64 2)))))
(+.f64 (fma.f64 b (fma.f64 1/48 (pow.f64 a 3) 1/2) (log.f64 2)) (.f64 a (+.f64 1/2 (fma.f64 a 1/8 (.f64 b -1/4)))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(log.f64 (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))

prune119.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	131	3	134
Fresh	0	2	2
Picked	0	1	1
Done	1	0	1
Total	132	6	138

Error

0.8b

Counts

138 → 6

Alt Table

Status	Error	Program
	28.9b	(+.f64 (log1p.f64 (exp.f64 a)) (-.f64 (exp.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) 1))
✓	1.4b	(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
	31.3b	(+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b))))
	1.9b	(expm1.f64 (log1p.f64 (+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))))
	29.8b	(log.f64 (pow.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2))
▶	1.9b	(+.f64 (log1p.f64 (exp.f64 a)) (expm1.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a))))))

Compiler

Compiled 2403 to 1329 computations (44.7% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (log1p.f64 (exp.f64 a)) (expm1.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a))))))
	0.0b	(log1p.f64 (exp.f64 a))
	0.0b	(/.f64 b (+.f64 1 (exp.f64 a)))
✓	0.1b	(expm1.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))

series6.0ms (0%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	a	@	-inf	(expm1.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))
0.0ms	b	@	0	(expm1.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))
0.0ms	a	@	0	(+.f64 (log1p.f64 (exp.f64 a)) (expm1.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a))))))
0.0ms	a	@	inf	(expm1.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))
0.0ms	b	@	-inf	(expm1.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))

rewrite55.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

492×	`log-prod_binary64`
348×	`fma-def_binary64`
185×	`expm1-udef_binary64`
185×	`log1p-udef_binary64`
175×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	210	25
2	2869	25

Stop Event

1×	node limit

Counts

2 → 113

Calls

Call 1

Inputs
(expm1.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a)))))
(+.f64 (log1p.f64 (exp.f64 a)) (expm1.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a))))))

Outputs

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

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

simplify43.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

404×	`associate-+l+_binary64`
357×	`cancel-sign-sub-inv_binary64`
290×	`associate-+r+_binary64`
289×	`associate-l_binary64`
286×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	44	647
1	127	628
2	387	612
3	1430	608
4	4264	608

Stop Event

1×	node limit

Counts

161 → 133

Calls

Call 1

Inputs
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(*.f64 1/2 b)
(-.f64 (.f64 1/2 b) (.f64 1/4 (*.f64 a b)))
(-.f64 (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b)) (.f64 1/4 (*.f64 a b)))
(-.f64 (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b)) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 1/480 (*.f64 (pow.f64 a 5) b))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 2) (*.f64 1/2 b))
(-.f64 (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (.f64 1/2 b))) (.f64 1/4 (.f64 a b)))
(-.f64 (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (.f64 1/2 b)))) (.f64 1/4 (*.f64 a b)))
(-.f64 (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b))))) (.f64 1/4 (*.f64 a b)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(log.f64 (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))

Outputs
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(*.f64 1/2 b)
(*.f64 b 1/2)
(-.f64 (.f64 1/2 b) (.f64 1/4 (*.f64 a b)))
(+.f64 (.f64 b 1/2) (.f64 -1/4 (*.f64 b a)))
(.f64 b (-.f64 1/2 (.f64 a 1/4)))
(.f64 b (+.f64 (.f64 a -1/4) 1/2))
(.f64 b (+.f64 1/2 (.f64 a -1/4)))
(-.f64 (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b)) (.f64 1/4 (*.f64 a b)))
(+.f64 (fma.f64 1/48 (.f64 b (pow.f64 a 3)) (.f64 b 1/2)) (.f64 -1/4 (.f64 b a)))
(fma.f64 1/48 (.f64 b (pow.f64 a 3)) (.f64 b (-.f64 1/2 (*.f64 a 1/4))))
(.f64 b (-.f64 (fma.f64 1/48 (pow.f64 a 3) 1/2) (.f64 a 1/4)))
(.f64 b (+.f64 1/2 (fma.f64 1/48 (pow.f64 a 3) (.f64 a -1/4))))
(-.f64 (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b)) (+.f64 (.f64 1/4 (.f64 a b)) (.f64 1/480 (*.f64 (pow.f64 a 5) b))))
(-.f64 (fma.f64 1/48 (.f64 b (pow.f64 a 3)) (.f64 b 1/2)) (fma.f64 1/4 (.f64 b a) (.f64 1/480 (*.f64 b (pow.f64 a 5)))))
(-.f64 (.f64 b (+.f64 1/2 (.f64 1/48 (pow.f64 a 3)))) (.f64 b (+.f64 (.f64 a 1/4) (*.f64 1/480 (pow.f64 a 5)))))
(.f64 b (-.f64 (fma.f64 1/48 (pow.f64 a 3) 1/2) (fma.f64 1/480 (pow.f64 a 5) (.f64 a 1/4))))
(.f64 b (+.f64 1/2 (fma.f64 1/48 (pow.f64 a 3) (fma.f64 a -1/4 (.f64 (pow.f64 a 5) -1/480)))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 2) (*.f64 1/2 b))
(+.f64 (*.f64 b 1/2) (log.f64 2))
(fma.f64 b 1/2 (log.f64 2))
(-.f64 (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (.f64 1/2 b))) (.f64 1/4 (.f64 a b)))
(+.f64 (fma.f64 1/2 a (+.f64 (.f64 b 1/2) (log.f64 2))) (.f64 -1/4 (*.f64 b a)))
(+.f64 (fma.f64 a 1/2 (log.f64 2)) (.f64 b (-.f64 1/2 (.f64 a 1/4))))
(fma.f64 (*.f64 b a) -1/4 (fma.f64 b 1/2 (fma.f64 a 1/2 (log.f64 2))))
(-.f64 (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (.f64 1/2 b)))) (.f64 1/4 (*.f64 a b)))
(+.f64 (fma.f64 1/8 (.f64 a a) (fma.f64 1/2 a (+.f64 (.f64 b 1/2) (log.f64 2)))) (.f64 -1/4 (.f64 b a)))
(fma.f64 1/8 (.f64 a a) (+.f64 (fma.f64 a 1/2 (log.f64 2)) (.f64 b (-.f64 1/2 (*.f64 a 1/4)))))
(fma.f64 a (.f64 a 1/8) (fma.f64 (.f64 b a) -1/4 (fma.f64 b 1/2 (fma.f64 a 1/2 (log.f64 2)))))
(+.f64 (fma.f64 b 1/2 (log.f64 2)) (.f64 a (+.f64 1/2 (fma.f64 a 1/8 (.f64 b -1/4)))))
(-.f64 (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (+.f64 (.f64 1/48 (.f64 (pow.f64 a 3) b)) (.f64 1/2 b))))) (.f64 1/4 (*.f64 a b)))
(+.f64 (fma.f64 1/8 (.f64 a a) (fma.f64 1/2 a (+.f64 (fma.f64 1/48 (.f64 b (pow.f64 a 3)) (.f64 b 1/2)) (log.f64 2)))) (.f64 -1/4 (*.f64 b a)))
(fma.f64 1/8 (.f64 a a) (+.f64 (fma.f64 a 1/2 (log.f64 2)) (fma.f64 1/48 (.f64 b (pow.f64 a 3)) (.f64 b (-.f64 1/2 (.f64 a 1/4))))))
(fma.f64 (.f64 b a) -1/4 (fma.f64 a (.f64 a 1/8) (fma.f64 b (fma.f64 1/48 (pow.f64 a 3) 1/2) (fma.f64 a 1/2 (log.f64 2)))))
(+.f64 (fma.f64 b (fma.f64 1/48 (pow.f64 a 3) 1/2) (log.f64 2)) (.f64 a (+.f64 1/2 (fma.f64 a 1/8 (.f64 b -1/4)))))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(log.f64 (+.f64 1 (exp.f64 a)))
(log1p.f64 (exp.f64 a))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(/.f64 b (+.f64 1 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))
(+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a)))

prune163.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	201	2	203
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	203	6	209

Error

0.8b

Counts

209 → 6

Alt Table

Status	Error	Program
	28.5b	(+.f64 (log1p.f64 (exp.f64 a)) (fma.f64 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (+.f64 1 (/.f64 b (+.f64 1 (exp.f64 a)))))) (cbrt.f64 (+.f64 1 (/.f64 b (+.f64 1 (exp.f64 a))))) -1))
	28.9b	(+.f64 (log1p.f64 (exp.f64 a)) (-.f64 (exp.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) 1))
✓	1.4b	(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
	31.3b	(+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b))))
	29.8b	(log.f64 (pow.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2))
▶	25.8b	(+.f64 (log1p.f64 (exp.f64 a)) (expm1.f64 (log1p.f64 (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))))))

Compiler

Compiled 3751 to 2139 computations (43% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(log1p.f64 (exp.f64 a))
✓	0.1b	(expm1.f64 (log1p.f64 (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))))
✓	0.1b	(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
✓	3.5b	(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))

series119.0ms (0.8%)

Counts

3 → 72

Calls

18 calls:

Time	Variable		Point	Expression
66.0ms	b	@	-inf	(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
24.0ms	b	@	0	(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
12.0ms	a	@	inf	(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
7.0ms	b	@	inf	(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
5.0ms	b	@	inf	(expm1.f64 (log1p.f64 (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))))

rewrite49.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

823×	`expm1-log1p-u_binary64`
821×	`log1p-expm1-u_binary64`
91×	`pow1_binary64`
90×	`add-sqr-sqrt_binary64`
89×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	177	28
2	2241	28

Stop Event

1×	node limit

Counts

3 → 98

Calls

Call 1

Inputs
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(expm1.f64 (log1p.f64 (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))))

Outputs

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

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

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

simplify35.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

593×	`associate-l_binary64`
552×	`cancel-sign-sub-inv_binary64`
498×	`fma-neg_binary64`
204×	`sub-neg_binary64`
143×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	59	1047
1	167	795
2	474	759
3	1773	749

Stop Event

1×	node limit

Counts

170 → 93

Calls

Call 1

Inputs
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 2)))
(-.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(-.f64 (+.f64 (.f64 1/24 (.f64 (pow.f64 a 3) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(-.f64 (+.f64 (.f64 1/24 (.f64 (pow.f64 a 3) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (+.f64 (.f64 1/240 (.f64 (pow.f64 a 5) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(*.f64 -1 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b))))
(*.f64 -1 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b))))
(*.f64 -1 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b))))
(*.f64 -1 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b))))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b))))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b))))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b))))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b))))
(-.f64 (log.f64 b) (log.f64 2))
(-.f64 (log.f64 b) (+.f64 (*.f64 1/2 a) (log.f64 2)))
(-.f64 (log.f64 b) (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (log.f64 2))))
(-.f64 (+.f64 (.f64 1/192 (pow.f64 a 4)) (log.f64 b)) (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (*.f64 1/2 a) (log.f64 2))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 2)))
(-.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(-.f64 (+.f64 (.f64 1/24 (.f64 (pow.f64 a 3) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(-.f64 (+.f64 (.f64 1/24 (.f64 (pow.f64 a 3) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (+.f64 (.f64 1/240 (.f64 (pow.f64 a 5) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))

Outputs
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 2)))
(/.f64 b 2)
(*.f64 1/2 b)
(-.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(+.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (.f64 -1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(-.f64 (/.f64 b 2) (/.f64 (.f64 (.f64 a 1/2) b) 2))
(-.f64 (.f64 1/2 b) (.f64 a (*.f64 b 1/4)))
(fma.f64 1/2 b (.f64 a (.f64 b -1/4)))
(-.f64 (+.f64 (.f64 1/24 (.f64 (pow.f64 a 3) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(-.f64 (fma.f64 1/24 (.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (pow.f64 a 3)) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (.f64 1/2 (*.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(+.f64 (.f64 (+.f64 (.f64 1/24 (pow.f64 a 3)) 1) (/.f64 b 2)) (.f64 (.f64 a (/.f64 b 2)) -1/2))
(.f64 (.f64 1/2 b) (-.f64 (fma.f64 1/24 (pow.f64 a 3) 1) (*.f64 a 1/2)))
(.f64 (.f64 1/2 b) (+.f64 (fma.f64 1/24 (pow.f64 a 3) 1) (*.f64 a -1/2)))
(-.f64 (+.f64 (.f64 1/24 (.f64 (pow.f64 a 3) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (+.f64 (.f64 1/240 (.f64 (pow.f64 a 5) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))))))
(-.f64 (fma.f64 1/24 (.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (pow.f64 a 3)) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (fma.f64 1/240 (.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (pow.f64 a 5)) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))))))
(-.f64 (.f64 (+.f64 (.f64 1/24 (pow.f64 a 3)) 1) (/.f64 b 2)) (.f64 (/.f64 b 2) (+.f64 (.f64 1/240 (pow.f64 a 5)) (*.f64 a 1/2))))
(fma.f64 b 1/2 (.f64 (.f64 1/2 b) (-.f64 (.f64 1/24 (pow.f64 a 3)) (fma.f64 a 1/2 (.f64 1/240 (pow.f64 a 5))))))
(.f64 (.f64 1/2 b) (-.f64 (fma.f64 1/24 (pow.f64 a 3) 1) (fma.f64 a 1/2 (*.f64 1/240 (pow.f64 a 5)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(*.f64 -1 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(*.f64 -1 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(*.f64 -1 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(*.f64 -1 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 2))
(-.f64 (log.f64 b) (+.f64 (*.f64 1/2 a) (log.f64 2)))
(-.f64 (log.f64 b) (fma.f64 1/2 a (log.f64 2)))
(-.f64 (log.f64 b) (fma.f64 a 1/2 (log.f64 2)))
(-.f64 (log.f64 b) (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (.f64 1/2 a) (log.f64 2))))
(-.f64 (log.f64 b) (fma.f64 1/8 (*.f64 a a) (fma.f64 1/2 a (log.f64 2))))
(-.f64 (log.f64 b) (fma.f64 1/8 (*.f64 a a) (fma.f64 a 1/2 (log.f64 2))))
(-.f64 (log.f64 b) (fma.f64 a 1/2 (fma.f64 1/8 (*.f64 a a) (log.f64 2))))
(-.f64 (log.f64 b) (fma.f64 a (*.f64 a 1/8) (fma.f64 a 1/2 (log.f64 2))))
(-.f64 (+.f64 (.f64 1/192 (pow.f64 a 4)) (log.f64 b)) (+.f64 (.f64 1/8 (pow.f64 a 2)) (+.f64 (*.f64 1/2 a) (log.f64 2))))
(-.f64 (fma.f64 1/192 (pow.f64 a 4) (log.f64 b)) (fma.f64 1/8 (*.f64 a a) (fma.f64 1/2 a (log.f64 2))))
(-.f64 (fma.f64 1/192 (pow.f64 a 4) (log.f64 b)) (fma.f64 1/8 (*.f64 a a) (fma.f64 a 1/2 (log.f64 2))))
(-.f64 (fma.f64 1/192 (pow.f64 a 4) (log.f64 b)) (fma.f64 a 1/2 (fma.f64 1/8 (*.f64 a a) (log.f64 2))))
(-.f64 (fma.f64 1/192 (pow.f64 a 4) (log.f64 b)) (fma.f64 a (*.f64 a 1/8) (fma.f64 a 1/2 (log.f64 2))))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a))))
(-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (neg.f64 (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (log.f64 (/.f64 -1 b)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 2)))
(/.f64 b 2)
(*.f64 1/2 b)
(-.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(+.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (.f64 -1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(-.f64 (/.f64 b 2) (/.f64 (.f64 (.f64 a 1/2) b) 2))
(-.f64 (.f64 1/2 b) (.f64 a (*.f64 b 1/4)))
(fma.f64 1/2 b (.f64 a (.f64 b -1/4)))
(-.f64 (+.f64 (.f64 1/24 (.f64 (pow.f64 a 3) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(-.f64 (fma.f64 1/24 (.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (pow.f64 a 3)) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (.f64 1/2 (*.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))))
(+.f64 (.f64 (+.f64 (.f64 1/24 (pow.f64 a 3)) 1) (/.f64 b 2)) (.f64 (.f64 a (/.f64 b 2)) -1/2))
(.f64 (.f64 1/2 b) (-.f64 (fma.f64 1/24 (pow.f64 a 3) 1) (*.f64 a 1/2)))
(.f64 (.f64 1/2 b) (+.f64 (fma.f64 1/24 (pow.f64 a 3) 1) (*.f64 a -1/2)))
(-.f64 (+.f64 (.f64 1/24 (.f64 (pow.f64 a 3) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (+.f64 (.f64 1/240 (.f64 (pow.f64 a 5) (exp.f64 (-.f64 (log.f64 b) (log.f64 2))))) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))))))
(-.f64 (fma.f64 1/24 (.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (pow.f64 a 3)) (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))) (fma.f64 1/240 (.f64 (exp.f64 (-.f64 (log.f64 b) (log.f64 2))) (pow.f64 a 5)) (.f64 1/2 (.f64 a (exp.f64 (-.f64 (log.f64 b) (log.f64 2)))))))
(-.f64 (.f64 (+.f64 (.f64 1/24 (pow.f64 a 3)) 1) (/.f64 b 2)) (.f64 (/.f64 b 2) (+.f64 (.f64 1/240 (pow.f64 a 5)) (*.f64 a 1/2))))
(fma.f64 b 1/2 (.f64 (.f64 1/2 b) (-.f64 (.f64 1/24 (pow.f64 a 3)) (fma.f64 a 1/2 (.f64 1/240 (pow.f64 a 5))))))
(.f64 (.f64 1/2 b) (-.f64 (fma.f64 1/24 (pow.f64 a 3) 1) (fma.f64 a 1/2 (*.f64 1/240 (pow.f64 a 5)))))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))
(exp.f64 (-.f64 (log.f64 b) (log.f64 (+.f64 1 (exp.f64 a)))))
(exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))
(/.f64 b (+.f64 1 (exp.f64 a)))

prune106.0ms (0.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	149	2	151
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	151	6	157

Error

0.8b

Counts

157 → 6

Alt Table

Status	Error	Program
	28.9b	(+.f64 (log1p.f64 (exp.f64 a)) (-.f64 (exp.f64 (log1p.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) 1))
✓	1.4b	(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
	31.3b	(+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b))))
	26.5b	(+.f64 (log1p.f64 (exp.f64 a)) (expm1.f64 (log1p.f64 (exp.f64 (fma.f64 (pow.f64 (cbrt.f64 (log.f64 b)) 2) (cbrt.f64 (log.f64 b)) (neg.f64 (log1p.f64 (exp.f64 a))))))))
	63.0b	(+.f64 (log1p.f64 (exp.f64 a)) (expm1.f64 (log1p.f64 (exp.f64 (expm1.f64 (log1p.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a)))))))))
	29.8b	(log.f64 (pow.f64 (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2))

Compiler

Compiled 2999 to 1442 computations (51.9% saved)

regimes107.0ms (0.7%)

Accuracy

Total 0.6b remaining (54%)

Threshold costs 0.6b (54%)

Counts

49 → 1

Compiler

Compiled 623 to 307 computations (50.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	13	16

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))

Outputs
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 (exp.f64 a) 1)))

end231.0ms (1.6%)

Stop Event

1×

fuel

Compiler

Compiled 138 to 95 computations (31.2% saved)

Details

analyze856.0ms (5.9%)

sample12.2s (84%)

preprocess19.0ms (0.1%)

simplify6.0ms (0%)

prune2.0ms (0%)

localize7.0ms (0%)

series96.0ms (0.7%)

rewrite48.0ms (0.3%)

simplify39.0ms (0.3%)

prune54.0ms (0.4%)

localize6.0ms (0%)

series61.0ms (0.4%)

rewrite60.0ms (0.4%)

simplify28.0ms (0.2%)

prune119.0ms (0.8%)

localize8.0ms (0.1%)

series6.0ms (0%)

rewrite55.0ms (0.4%)

simplify43.0ms (0.3%)

prune163.0ms (1.1%)

localize9.0ms (0.1%)

series119.0ms (0.8%)

rewrite49.0ms (0.3%)

simplify35.0ms (0.2%)

prune106.0ms (0.7%)

regimes107.0ms (0.7%)

simplify2.0ms (0%)

end231.0ms (1.6%)

Profiling