Details

analyze783.0ms (5.2%)

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.9s (85.4%)

Results

10.0s	7820×	body	8192	exit
1.4s	2010×	body	1024	valid
599.0ms	4497×	body	128	valid
452.0ms	1033×	body	512	valid
197.0ms	211×	body	2048	valid
132.0ms	505×	body	256	valid

preprocess37.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

373×	`rule--ab--+aa+ab_binary64`
344×	`rule-a-*a1_binary64`
344×	`rule-a--a0_binary64`
344×	`rule-a-+a0_binary64`
337×	`rule-a-/a1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	47	20
2	110	20
3	397	20
4	2207	20
0	2	2
1	2	2

Stop Event

1×	unsound
1×	node limit

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)

simplify24.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

373×	`rule--ab--+aa+ab_binary64`
342×	`rule-a-*a1_binary64`
342×	`rule-a--a0_binary64`
342×	`rule-a-+a0_binary64`
335×	`rule-a-/a1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	38	10
2	101	10
3	388	10
4	2202	10

Stop Event

1×	node limit

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)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

series78.0ms (0.5%)

Counts

2 → 16

Calls

12 calls:

Time	Variable		Point	Expression
24.0ms	a	@	-inf	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
23.0ms	a	@	inf	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
13.0ms	b	@	-inf	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
13.0ms	b	@	inf	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
1.0ms	a	@	0	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite48.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

815×	`rules-30_binary64`
815×	`rules-31_binary64`
815×	`rules-32_binary64`
815×	`rules-33_binary64`
79×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	18
1	171	18
2	2365	18

Stop Event

1×	node limit

Counts

2 → 76

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 (+.f64 (exp.f64 a) (exp.f64 b))) 0)))) (#(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 (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 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (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) 3) (exp.f64 (.f64 b 3)))) (log.f64 (+.f64 (pow.f64 (exp.f64 a) 2) (-.f64 (pow.f64 (exp.f64 b) 2) (exp.f64 (+.f64 a b))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))))) (#(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 (neg.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) (cbrt.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.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 .f64 (+.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) 1/2)))) (#(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 (neg.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) (+.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2) (+.f64 0 (.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) (+.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2) (-.f64 0 (.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 0))))))) (#(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 neg.f64 (neg.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))))) (#(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 fabs.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))))) (#(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 fma.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2)) (cbrt.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) (sqrt.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) 0)))) (#(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 (+.f64 (exp.f64 a) (exp.f64 b)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.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 (+.f64 (exp.f64 a) (exp.f64 b)) (+.f64 (exp.f64 a) (exp.f64 b))) (+.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 (neg.f64 (+.f64 (exp.f64 a) (exp.f64 b))) -1)))) (#(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 (+.f64 (exp.f64 a) (exp.f64 b)) (+.f64 (exp.f64 a) (exp.f64 b))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 (pow.f64 (exp.f64 a) 3) (exp.f64 (.f64 b 3))) (+.f64 (pow.f64 (exp.f64 a) 3) (exp.f64 (.f64 b 3)))) (/.f64 1/2 (+.f64 (pow.f64 (exp.f64 a) 2) (-.f64 (pow.f64 (exp.f64 b) 2) (exp.f64 (+.f64 a 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 (exp.f64 (neg.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (exp.f64 a) (exp.f64 b))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 3) (+.f64 (pow.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 2) (+.f64 0 (.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 3) (+.f64 (pow.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 2) (-.f64 0 (.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (exp.f64 a) 3) (exp.f64 (*.f64 b 3))) (+.f64 (pow.f64 (exp.f64 a) 2) (-.f64 (pow.f64 (exp.f64 b) 2) (exp.f64 (+.f64 a b)))))))) (#(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 (cbrt.f64 (pow.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 (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 neg.f64 (neg.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 fabs.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))) (#(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 fma.f64 (exp.f64 a) 1 (exp.f64 b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (exp.f64 b) 1 (exp.f64 a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2) (cbrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 0)))) (#(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 (+.f64 (exp.f64 a) (exp.f64 b))) (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 0)))) (#(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))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 0)))) (#(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 (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 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (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) 3) (exp.f64 (*.f64 b 3)))) (log.f64 (+.f64 (pow.f64 (exp.f64 a) 2) (-.f64 (pow.f64 (exp.f64 b) 2) (exp.f64 (+.f64 a b))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))))) (#(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 (neg.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) (cbrt.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.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 *.f64 (+.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) 1/2)))) (#(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 (neg.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) (+.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2) (+.f64 0 (*.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) (+.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2) (-.f64 0 (*.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 0))))))) (#(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 neg.f64 (neg.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))))) (#(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 fabs.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))))) (#(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 fma.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2)) (cbrt.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) (sqrt.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))) 0)))) (#(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 (+.f64 (exp.f64 a) (exp.f64 b)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.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 (+.f64 (exp.f64 a) (exp.f64 b)) (+.f64 (exp.f64 a) (exp.f64 b))) (+.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 (neg.f64 (+.f64 (exp.f64 a) (exp.f64 b))) -1)))) (#(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 (+.f64 (exp.f64 a) (exp.f64 b)) (+.f64 (exp.f64 a) (exp.f64 b))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 (pow.f64 (exp.f64 a) 3) (exp.f64 (*.f64 b 3))) (+.f64 (pow.f64 (exp.f64 a) 3) (exp.f64 (*.f64 b 3)))) (/.f64 1/2 (+.f64 (pow.f64 (exp.f64 a) 2) (-.f64 (pow.f64 (exp.f64 b) 2) (exp.f64 (+.f64 a 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 (exp.f64 (neg.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (exp.f64 a) (exp.f64 b))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 3) (+.f64 (pow.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 2) (+.f64 0 (*.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 3) (+.f64 (pow.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 2) (-.f64 0 (*.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (exp.f64 a) 3) (exp.f64 (*.f64 b 3))) (+.f64 (pow.f64 (exp.f64 a) 2) (-.f64 (pow.f64 (exp.f64 b) 2) (exp.f64 (+.f64 a b)))))))) (#(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 (cbrt.f64 (pow.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 (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 neg.f64 (neg.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 fabs.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))) (#(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 fma.f64 (exp.f64 a) 1 (exp.f64 b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (exp.f64 b) 1 (exp.f64 a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (exp.f64 a) (exp.f64 b)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 2) (cbrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 0)))) (#(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 (+.f64 (exp.f64 a) (exp.f64 b))) (sqrt.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 0)))) (#(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))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))))))

simplify29.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

418×	`rule-a-*a1_binary64`
418×	`rule-a--a0_binary64`
418×	`rule-a-+a0_binary64`
416×	`rule-ab-ba_binary64`
412×	`rule-a-/a1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	74	440
1	549	434
2	2241	428

Stop Event

1×	node limit

Counts

92 → 106

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 1/2 (.f64 (pow.f64 a 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (log.f64 (+.f64 1 (exp.f64 b)))))
(+.f64 (.f64 1/2 (.f64 (pow.f64 a 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (+.f64 (log.f64 (+.f64 1 (exp.f64 b))) (.f64 1/6 (.f64 (pow.f64 a 3) (-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (/.f64 1 (+.f64 1 (exp.f64 b)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))))))
(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 (.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (pow.f64 b 2))) (/.f64 b (+.f64 1 (exp.f64 a)))))
(+.f64 (.f64 1/6 (.f64 (pow.f64 b 3) (-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (+.f64 (.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (pow.f64 b 2))) (/.f64 b (+.f64 1 (exp.f64 a))))))
(+.f64 1 (exp.f64 b))
(+.f64 1 (+.f64 a (exp.f64 b)))
(+.f64 (*.f64 1/2 (pow.f64 a 2)) (+.f64 1 (+.f64 a (exp.f64 b))))
(+.f64 (.f64 1/2 (pow.f64 a 2)) (+.f64 1 (+.f64 a (+.f64 (.f64 1/6 (pow.f64 a 3)) (exp.f64 b)))))
(+.f64 1 (exp.f64 a))
(+.f64 1 (+.f64 (exp.f64 a) b))
(+.f64 1 (+.f64 (exp.f64 a) (+.f64 b (*.f64 1/2 (pow.f64 b 2)))))
(+.f64 (.f64 1/6 (pow.f64 b 3)) (+.f64 1 (+.f64 (exp.f64 a) (+.f64 b (.f64 1/2 (pow.f64 b 2))))))

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 1/2 (.f64 (pow.f64 a 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (log.f64 (+.f64 1 (exp.f64 b)))))
(fma.f64 1/2 (.f64 (.f64 a a) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (+.f64 (log1p.f64 (exp.f64 b)) (/.f64 a (+.f64 1 (exp.f64 b)))))
(+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (fma.f64 (.f64 a a) (-.f64 (.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) 1/2) (/.f64 1/2 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b))))
(+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (fma.f64 (*.f64 a a) (-.f64 (/.f64 1/2 (+.f64 1 (exp.f64 b))) (/.f64 1/2 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b))))
(+.f64 (.f64 1/2 (.f64 (pow.f64 a 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (+.f64 (log.f64 (+.f64 1 (exp.f64 b))) (.f64 1/6 (.f64 (pow.f64 a 3) (-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (/.f64 1 (+.f64 1 (exp.f64 b)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))))))
(fma.f64 1/2 (.f64 (.f64 a a) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (+.f64 (log1p.f64 (exp.f64 b)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (.f64 1/6 (.f64 (pow.f64 a 3) (+.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))))))
(+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (fma.f64 1/2 (.f64 a (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) a)) (fma.f64 1/6 (*.f64 (pow.f64 a 3) (+.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (log1p.f64 (exp.f64 b)))))
(+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (fma.f64 (.f64 a a) (-.f64 (/.f64 1/2 (+.f64 1 (exp.f64 b))) (/.f64 1/2 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 1/6 (.f64 (pow.f64 a 3) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (log1p.f64 (exp.f64 b)))))
(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 (.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (pow.f64 b 2))) (/.f64 b (+.f64 1 (exp.f64 a)))))
(+.f64 (log1p.f64 (exp.f64 a)) (fma.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (.f64 b b)) (/.f64 b (+.f64 1 (exp.f64 a)))))
(fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (.f64 b (.f64 1/2 b)) (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))
(+.f64 (log1p.f64 (exp.f64 a)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (.f64 b (.f64 b 1/2)) (/.f64 b (+.f64 1 (exp.f64 a)))))
(+.f64 (.f64 1/6 (.f64 (pow.f64 b 3) (-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (+.f64 (.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (pow.f64 b 2))) (/.f64 b (+.f64 1 (exp.f64 a))))))
(fma.f64 1/6 (.f64 (pow.f64 b 3) (-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3))) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (+.f64 (log1p.f64 (exp.f64 a)) (fma.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (*.f64 b b)) (/.f64 b (+.f64 1 (exp.f64 a))))))
(+.f64 (log1p.f64 (exp.f64 a)) (fma.f64 1/6 (.f64 (pow.f64 b 3) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (fma.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (*.f64 b b)) (/.f64 b (+.f64 1 (exp.f64 a))))))
(+.f64 (log1p.f64 (exp.f64 a)) (fma.f64 1/6 (.f64 (pow.f64 b 3) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (.f64 b (*.f64 b 1/2)) (/.f64 b (+.f64 1 (exp.f64 a))))))
(+.f64 1 (exp.f64 b))
(+.f64 1 (+.f64 a (exp.f64 b)))
(+.f64 1 (+.f64 (exp.f64 b) a))
(+.f64 (*.f64 1/2 (pow.f64 a 2)) (+.f64 1 (+.f64 a (exp.f64 b))))
(fma.f64 1/2 (*.f64 a a) (+.f64 1 (+.f64 (exp.f64 b) a)))
(+.f64 1 (fma.f64 1/2 (*.f64 a a) (+.f64 (exp.f64 b) a)))
(+.f64 (.f64 1/2 (pow.f64 a 2)) (+.f64 1 (+.f64 a (+.f64 (.f64 1/6 (pow.f64 a 3)) (exp.f64 b)))))
(fma.f64 1/2 (*.f64 a a) (+.f64 1 (+.f64 a (fma.f64 1/6 (pow.f64 a 3) (exp.f64 b)))))
(fma.f64 1/2 (*.f64 a a) (+.f64 (fma.f64 1/6 (pow.f64 a 3) (exp.f64 b)) (+.f64 1 a)))
(+.f64 1 (exp.f64 a))
(+.f64 1 (+.f64 (exp.f64 a) b))
(+.f64 1 (+.f64 b (exp.f64 a)))
(+.f64 1 (+.f64 (exp.f64 a) (+.f64 b (*.f64 1/2 (pow.f64 b 2)))))
(+.f64 1 (+.f64 (exp.f64 a) (+.f64 b (.f64 1/2 (.f64 b b)))))
(+.f64 1 (+.f64 (exp.f64 a) (fma.f64 1/2 (*.f64 b b) b)))
(+.f64 (.f64 1/6 (pow.f64 b 3)) (+.f64 1 (+.f64 (exp.f64 a) (+.f64 b (.f64 1/2 (pow.f64 b 2))))))
(fma.f64 1/6 (pow.f64 b 3) (+.f64 1 (+.f64 (exp.f64 a) (+.f64 b (.f64 1/2 (.f64 b b))))))
(+.f64 1 (fma.f64 1/6 (pow.f64 b 3) (+.f64 (exp.f64 a) (fma.f64 1/2 (*.f64 b b) b))))

prune103.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	104	2	106
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	104	3	107

Error

0.2b

Counts

107 → 3

Alt Table

Status	Error	Program
✓	29.0b	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
	29.6b	(pow.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) 1/3)
▶	0.6b	(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))

Compiler

Compiled 1601 to 753 computations (53% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

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

series49.0ms (0.3%)

Counts

3 → 20

Calls

12 calls:

Time	Variable		Point	Expression
17.0ms	a	@	-inf	(/.f64 b (+.f64 1 (exp.f64 a)))
13.0ms	a	@	-inf	(log1p.f64 (exp.f64 a))
13.0ms	a	@	inf	(log1p.f64 (exp.f64 a))
2.0ms	a	@	inf	(/.f64 b (+.f64 1 (exp.f64 a)))
1.0ms	b	@	inf	(/.f64 b (+.f64 1 (exp.f64 a)))

rewrite50.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

872×	`rules-30_binary64`
872×	`rules-31_binary64`
872×	`rules-32_binary64`
872×	`rules-33_binary64`
85×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	20
1	195	20
2	2536	20

Stop Event

1×	node limit

Counts

3 → 113

Calls

Call 1

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

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

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log1p.f64 (exp.f64 a)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log1p.f64 (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 (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 (log1p.f64 (exp.f64 a)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (log1p.f64 (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) 3))) (log.f64 (+.f64 1 (-.f64 (pow.f64 (exp.f64 a) 2) (exp.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (log1p.f64 (exp.f64 a)) (log1p.f64 (exp.f64 a))) (log1p.f64 (exp.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 (neg.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 *.f64 (+.f64 (log1p.f64 (exp.f64 a)) (log1p.f64 (exp.f64 a))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (log1p.f64 (exp.f64 a)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (log1p.f64 (exp.f64 a))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 3) (+.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 0 (*.f64 (log1p.f64 (exp.f64 a)) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 3) (+.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 0 (*.f64 (log1p.f64 (exp.f64 a)) 0))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log1p.f64 (exp.f64 a)) 1)))) (#(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 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 neg.f64 (neg.f64 (log1p.f64 (exp.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (log1p.f64 (exp.f64 a)))))) (#(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 fma.f64 (log1p.f64 (exp.f64 a)) 1 0)))) (#(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))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log1p.f64 (exp.f64 a))) (sqrt.f64 (log1p.f64 (exp.f64 a))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log1p.f64 (exp.f64 a))))))))

simplify47.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

259×	`fma-neg_binary64`
226×	`rule-ab-ba_binary64`
216×	`rule-a-bc-nega-cb_binary64`
205×	`rule-abc-bac_binary64`
184×	`rule-a-*a1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	60	207
1	399	192
2	1251	165
3	4992	165

Stop Event

1×	node limit

Counts

133 → 134

Calls

Call 1

Inputs
(*.f64 1/2 b)
(+.f64 (.f64 1/2 b) (.f64 -1/4 (*.f64 a b)))
(+.f64 (.f64 1/2 b) (+.f64 (.f64 -1 (.f64 (pow.f64 a 2) (+.f64 (.f64 1/8 b) (.f64 -1/8 b)))) (.f64 -1/4 (*.f64 a b))))
(+.f64 (.f64 1/2 b) (+.f64 (.f64 -1 (.f64 (pow.f64 a 3) (+.f64 (.f64 -1/16 b) (+.f64 (.f64 1/24 b) (.f64 -1/2 (+.f64 (.f64 1/8 b) (.f64 -1/8 b))))))) (+.f64 (.f64 -1 (.f64 (pow.f64 a 2) (+.f64 (.f64 1/8 b) (.f64 -1/8 b)))) (.f64 -1/4 (.f64 a b)))))
2
(+.f64 2 a)
(+.f64 (*.f64 1/2 (pow.f64 a 2)) (+.f64 2 a))
(+.f64 (.f64 1/2 (pow.f64 a 2)) (+.f64 2 (+.f64 a (.f64 1/6 (pow.f64 a 3)))))
(log.f64 2)
(+.f64 (*.f64 1/2 a) (log.f64 2))
(+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (.f64 1/8 (pow.f64 a 2))))
(+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (+.f64 (.f64 -1/192 (pow.f64 a 4)) (*.f64 1/8 (pow.f64 a 2)))))
(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)))

Outputs
(*.f64 1/2 b)
(+.f64 (.f64 1/2 b) (.f64 -1/4 (*.f64 a b)))
(fma.f64 1/2 b (.f64 -1/4 (.f64 b a)))
(fma.f64 1/2 b (.f64 b (.f64 -1/4 a)))
(.f64 b (+.f64 1/2 (.f64 -1/4 a)))
(+.f64 (.f64 1/2 b) (+.f64 (.f64 -1 (.f64 (pow.f64 a 2) (+.f64 (.f64 1/8 b) (.f64 -1/8 b)))) (.f64 -1/4 (*.f64 a b))))
(fma.f64 1/2 b (.f64 -1/4 (.f64 b a)))
(fma.f64 1/2 b (.f64 b (.f64 -1/4 a)))
(.f64 b (+.f64 1/2 (.f64 -1/4 a)))
(+.f64 (.f64 1/2 b) (+.f64 (.f64 -1 (.f64 (pow.f64 a 3) (+.f64 (.f64 -1/16 b) (+.f64 (.f64 1/24 b) (.f64 -1/2 (+.f64 (.f64 1/8 b) (.f64 -1/8 b))))))) (+.f64 (.f64 -1 (.f64 (pow.f64 a 2) (+.f64 (.f64 1/8 b) (.f64 -1/8 b)))) (.f64 -1/4 (.f64 a b)))))
(fma.f64 1/2 b (fma.f64 -1 (.f64 (pow.f64 a 3) (fma.f64 -1/16 b (fma.f64 1/24 b (.f64 (fma.f64 1/8 b (.f64 b -1/8)) -1/2)))) (fma.f64 -1 (.f64 (.f64 a a) (fma.f64 1/8 b (.f64 b -1/8))) (.f64 -1/4 (.f64 b a)))))
(fma.f64 1/2 b (fma.f64 -1 (.f64 (pow.f64 a 3) (fma.f64 b -1/16 (fma.f64 b 1/24 (.f64 (.f64 b 0) -1/2)))) (fma.f64 -1/4 (.f64 b a) (neg.f64 (.f64 (.f64 a a) (*.f64 b 0))))))
(fma.f64 (pow.f64 a 3) (neg.f64 (.f64 b -1/48)) (.f64 b (+.f64 1/2 (*.f64 -1/4 a))))
2
(+.f64 2 a)
(+.f64 a 2)
(+.f64 (*.f64 1/2 (pow.f64 a 2)) (+.f64 2 a))
(fma.f64 1/2 (*.f64 a a) (+.f64 a 2))
(+.f64 (.f64 1/2 (pow.f64 a 2)) (+.f64 2 (+.f64 a (.f64 1/6 (pow.f64 a 3)))))
(fma.f64 1/2 (.f64 a a) (+.f64 2 (+.f64 a (.f64 (pow.f64 a 3) 1/6))))
(fma.f64 1/2 (*.f64 a a) (+.f64 2 (fma.f64 (pow.f64 a 3) 1/6 a)))
(log.f64 2)
(+.f64 (*.f64 1/2 a) (log.f64 2))
(fma.f64 1/2 a (log.f64 2))
(+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (.f64 1/8 (pow.f64 a 2))))
(fma.f64 1/2 a (+.f64 (log.f64 2) (.f64 (.f64 a a) 1/8)))
(fma.f64 1/2 a (fma.f64 (*.f64 a a) 1/8 (log.f64 2)))
(+.f64 (.f64 1/2 a) (+.f64 (log.f64 2) (+.f64 (.f64 -1/192 (pow.f64 a 4)) (*.f64 1/8 (pow.f64 a 2)))))
(fma.f64 1/2 a (+.f64 (log.f64 2) (fma.f64 -1/192 (pow.f64 a 4) (.f64 (.f64 a a) 1/8))))
(fma.f64 1/2 a (fma.f64 -1/192 (pow.f64 a 4) (fma.f64 (*.f64 a 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))

prune82.0ms (0.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	133	4	137

Error

0.2b

Counts

137 → 4

Alt Table

Status	Error	Program
▶	26.0b	(+.f64 (log1p.f64 (exp.f64 a)) (*.f64 1/2 b))
✓	29.0b	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
	29.6b	(pow.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) 1/3)
✓	0.6b	(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))

Compiler

Compiled 2118 to 1143 computations (46% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(log1p.f64 (exp.f64 a))

prune35.0ms (0.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	42	0	42
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	42	4	46

Error

0.2b

Counts

46 → 4

Alt Table

Status	Error	Program
✓	26.0b	(+.f64 (log1p.f64 (exp.f64 a)) (*.f64 1/2 b))
✓	29.0b	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
▶	29.6b	(pow.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) 1/3)
✓	0.6b	(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))

Compiler

Compiled 572 to 345 computations (39.7% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
✓	0.2b	(pow.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) 1/3)
✓	0.5b	(pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3)
	4.8b	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

series23.0ms (0.2%)

Counts

2 → 32

Calls

12 calls:

Time	Variable		Point	Expression
4.0ms	a	@	0	(pow.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) 1/3)
4.0ms	a	@	-inf	(pow.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) 1/3)
3.0ms	b	@	0	(pow.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) 1/3)
2.0ms	a	@	0	(pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3)
2.0ms	b	@	0	(pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3)

rewrite52.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

222×	`rule-aa-fabsaa_binary64`
181×	`rule-/ab-*+aa/1/2b_binary64`
181×	`rule-nega--0a_binary64`
181×	`rule-nega-/a-1_binary64`
181×	`rule-nega-*a-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	290	23
2	3358	23

Stop Event

1×	node limit

Counts

2 → 98

Calls

Call 1

Inputs
(pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3)
(pow.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) 1/3)

Outputs

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

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

simplify51.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

345×	`rule-a-*a1_binary64`
345×	`rule-a--a0_binary64`
345×	`rule-a-+a0_binary64`
345×	`rule-a-/a1_binary64`
331×	`rule-ab-ba_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	181	3566
1	1417	3149

Stop Event

1×	node limit

Counts

130 → 131

Calls

Call 1

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

Outputs
(pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 3)
(pow.f64 (log1p.f64 (exp.f64 b)) 3)
(+.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 3) (.f64 (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) a))
(+.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 3) (*.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) a))
(+.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 3) (.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) a))
(+.f64 (.f64 (pow.f64 a 2) (+.f64 (.f64 (log.f64 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log.f64 (+.f64 1 (exp.f64 b)))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (+.f64 (.f64 2 (/.f64 (log.f64 (+.f64 1 (exp.f64 b))) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2)))))) (+.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 3) (.f64 (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) a)))
(fma.f64 (.f64 a a) (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (pow.f64 (log1p.f64 (exp.f64 b)) 2))))) (+.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 3) (.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) a)))
(fma.f64 (.f64 a a) (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) 1/2)))) (+.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 3) (.f64 (*.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) a)))
(+.f64 (.f64 (pow.f64 a 3) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 2 (/.f64 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log.f64 (+.f64 1 (exp.f64 b)))) (+.f64 1 (exp.f64 b)))) (+.f64 (.f64 1/6 (.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (/.f64 1 (+.f64 1 (exp.f64 b)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))) (.f64 (-.f64 (+.f64 (.f64 1/3 (.f64 (log.f64 (+.f64 1 (exp.f64 b))) (-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (/.f64 1 (+.f64 1 (exp.f64 b)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (log.f64 (+.f64 1 (exp.f64 b)))))))) (+.f64 (.f64 (pow.f64 a 2) (+.f64 (.f64 (log.f64 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log.f64 (+.f64 1 (exp.f64 b)))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (+.f64 (.f64 2 (/.f64 (log.f64 (+.f64 1 (exp.f64 b))) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2)))))) (+.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 3) (.f64 (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) a))))
(fma.f64 (pow.f64 a 3) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 2 (.f64 (log1p.f64 (exp.f64 b)) (/.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (+.f64 1 (exp.f64 b)))) (fma.f64 1/6 (.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (.f64 (log1p.f64 (exp.f64 b)) (-.f64 (fma.f64 1/3 (.f64 (log1p.f64 (exp.f64 b)) (+.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3))))))) (fma.f64 (.f64 a a) (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (pow.f64 (log1p.f64 (exp.f64 b)) 2))))) (+.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 3) (.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) a))))
(fma.f64 (pow.f64 a 3) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 (log1p.f64 (exp.f64 b)) (+.f64 1 (exp.f64 b)))) (fma.f64 1/6 (.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (.f64 (log1p.f64 (exp.f64 b)) (-.f64 (fma.f64 1/3 (.f64 (log1p.f64 (exp.f64 b)) (+.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3))))))) (fma.f64 (.f64 a a) (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) 1/2)))) (+.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 3) (.f64 (*.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) a))))
(pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 3)
(pow.f64 (log1p.f64 (exp.f64 a)) 3)
(+.f64 (.f64 (+.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))))) b) (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 3))
(fma.f64 (+.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) (*.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))))) b (pow.f64 (log1p.f64 (exp.f64 a)) 3))
(fma.f64 (*.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) b (pow.f64 (log1p.f64 (exp.f64 a)) 3))
(+.f64 (.f64 (+.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))))) b) (+.f64 (.f64 (+.f64 (.f64 2 (/.f64 (log.f64 (+.f64 1 (exp.f64 a))) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (pow.f64 b 2)) (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 3)))
(fma.f64 (+.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))))) b (fma.f64 (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log1p.f64 (exp.f64 a)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (*.f64 b b) (pow.f64 (log1p.f64 (exp.f64 a)) 3)))
(fma.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) b (fma.f64 (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log1p.f64 (exp.f64 a)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (*.f64 b b) (pow.f64 (log1p.f64 (exp.f64 a)) 3)))
(+.f64 (.f64 (+.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))))) b) (+.f64 (.f64 (+.f64 (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (-.f64 (+.f64 (.f64 1/3 (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (+.f64 (.f64 2 (/.f64 (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (+.f64 1 (exp.f64 a)))) (.f64 1/6 (.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))))))) (pow.f64 b 3)) (+.f64 (.f64 (+.f64 (.f64 2 (/.f64 (log.f64 (+.f64 1 (exp.f64 a))) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (pow.f64 b 2)) (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 3))))
(fma.f64 (+.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))))) b (fma.f64 (fma.f64 (log1p.f64 (exp.f64 a)) (-.f64 (fma.f64 1/3 (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (fma.f64 2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (/.f64 (log1p.f64 (exp.f64 a)) (+.f64 1 (exp.f64 a)))) (.f64 1/6 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))))))) (pow.f64 b 3) (fma.f64 (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log1p.f64 (exp.f64 a)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (*.f64 b b) (pow.f64 (log1p.f64 (exp.f64 a)) 3))))
(fma.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) b (fma.f64 (fma.f64 (log1p.f64 (exp.f64 a)) (-.f64 (fma.f64 1/3 (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (fma.f64 2 (.f64 (log1p.f64 (exp.f64 a)) (/.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 1 (exp.f64 a)))) (.f64 1/6 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))))))) (pow.f64 b 3) (fma.f64 (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log1p.f64 (exp.f64 a)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (*.f64 b b) (pow.f64 (log1p.f64 (exp.f64 a)) 3))))
(log.f64 (+.f64 1 (exp.f64 b)))
(log1p.f64 (exp.f64 b))
(+.f64 (.f64 1/3 (.f64 (.f64 (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) a) (pow.f64 (/.f64 1 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2)) 1/3))) (log.f64 (+.f64 1 (exp.f64 b))))
(fma.f64 1/3 (.f64 (.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) a) (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 b)) 2)))) (log1p.f64 (exp.f64 b)))
(fma.f64 1/3 (.f64 (.f64 (*.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) a) (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 b)) 2)))) (log1p.f64 (exp.f64 b)))
(+.f64 (.f64 1/3 (.f64 (.f64 (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) a) (pow.f64 (/.f64 1 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2)) 1/3))) (+.f64 (log.f64 (+.f64 1 (exp.f64 b))) (.f64 1/3 (/.f64 (.f64 (-.f64 (+.f64 (.f64 (log.f64 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log.f64 (+.f64 1 (exp.f64 b)))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (+.f64 (.f64 2 (/.f64 (log.f64 (+.f64 1 (exp.f64 b))) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2))))) (.f64 1/3 (.f64 (pow.f64 (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) 2) (pow.f64 (/.f64 1 (log.f64 (+.f64 1 (exp.f64 b)))) 1/3)))) (pow.f64 a 2)) (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2)))))
(fma.f64 1/3 (.f64 (.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) a) (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 b)) 2)))) (+.f64 (log1p.f64 (exp.f64 b)) (.f64 1/3 (.f64 (.f64 a a) (/.f64 (-.f64 (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (pow.f64 (log1p.f64 (exp.f64 b)) 2))))) (.f64 (pow.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) 2) (*.f64 1/3 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 b))))))) (pow.f64 (log1p.f64 (exp.f64 b)) 2))))))
(+.f64 (log1p.f64 (exp.f64 b)) (.f64 1/3 (+.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) a) (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 b)) 2)))) (.f64 (.f64 a a) (/.f64 (-.f64 (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) 1/2)))) (.f64 (pow.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) 2) (*.f64 1/3 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 b))))))) (pow.f64 (log1p.f64 (exp.f64 b)) 2))))))
(+.f64 (.f64 1/3 (.f64 (.f64 (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) a) (pow.f64 (/.f64 1 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2)) 1/3))) (+.f64 (.f64 1/3 (/.f64 (.f64 (-.f64 (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 2 (/.f64 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log.f64 (+.f64 1 (exp.f64 b)))) (+.f64 1 (exp.f64 b)))) (+.f64 (.f64 1/6 (.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (/.f64 1 (+.f64 1 (exp.f64 b)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))) (.f64 (-.f64 (+.f64 (.f64 1/3 (.f64 (log.f64 (+.f64 1 (exp.f64 b))) (-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (/.f64 1 (+.f64 1 (exp.f64 b)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3))) (log.f64 (+.f64 1 (exp.f64 b))))))) (+.f64 (.f64 1/3 (.f64 (.f64 (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (-.f64 (+.f64 (.f64 (log.f64 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log.f64 (+.f64 1 (exp.f64 b)))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (+.f64 (.f64 2 (/.f64 (log.f64 (+.f64 1 (exp.f64 b))) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2))))) (.f64 1/3 (.f64 (pow.f64 (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) 2) (pow.f64 (/.f64 1 (log.f64 (+.f64 1 (exp.f64 b)))) 1/3))))) (pow.f64 (/.f64 1 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 5)) 1/3))) (+.f64 (.f64 1/3 (.f64 (.f64 (-.f64 (+.f64 (.f64 (log.f64 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log.f64 (+.f64 1 (exp.f64 b)))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (+.f64 (.f64 2 (/.f64 (log.f64 (+.f64 1 (exp.f64 b))) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2))))) (.f64 1/3 (.f64 (pow.f64 (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) 2) (pow.f64 (/.f64 1 (log.f64 (+.f64 1 (exp.f64 b)))) 1/3)))) (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b))))) (pow.f64 (/.f64 1 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 5)) 1/3))) (.f64 1/27 (/.f64 (pow.f64 (+.f64 (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) 3) (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2)))))) (pow.f64 a 3)) (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2))) (+.f64 (log.f64 (+.f64 1 (exp.f64 b))) (.f64 1/3 (/.f64 (.f64 (-.f64 (+.f64 (.f64 (log.f64 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log.f64 (+.f64 1 (exp.f64 b)))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2)))) (+.f64 (.f64 2 (/.f64 (log.f64 (+.f64 1 (exp.f64 b))) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2))))) (.f64 1/3 (.f64 (pow.f64 (+.f64 (*.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2) (+.f64 1 (exp.f64 b)))) 2) (pow.f64 (/.f64 1 (log.f64 (+.f64 1 (exp.f64 b)))) 1/3)))) (pow.f64 a 2)) (pow.f64 (log.f64 (+.f64 1 (exp.f64 b))) 2))))))
(fma.f64 1/3 (.f64 (.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) a) (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 b)) 2)))) (fma.f64 1/3 (.f64 (pow.f64 a 3) (/.f64 (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (fma.f64 2 (.f64 (log1p.f64 (exp.f64 b)) (/.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (+.f64 1 (exp.f64 b)))) (fma.f64 1/6 (.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (.f64 (log1p.f64 (exp.f64 b)) (-.f64 (fma.f64 1/3 (.f64 (log1p.f64 (exp.f64 b)) (+.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)))))) (fma.f64 1/3 (.f64 (.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) (-.f64 (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (pow.f64 (log1p.f64 (exp.f64 b)) 2))))) (.f64 (pow.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) 2) (.f64 1/3 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 b)))))))) (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 b)) 5)))) (fma.f64 1/3 (.f64 (.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) (-.f64 (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (pow.f64 (log1p.f64 (exp.f64 b)) 2))))) (.f64 (pow.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) 2) (.f64 1/3 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 b)))))))) (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 b)) 5)))) (.f64 1/27 (/.f64 (pow.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) 3) (pow.f64 (log1p.f64 (exp.f64 b)) 2))))))) (pow.f64 (log1p.f64 (exp.f64 b)) 2))) (+.f64 (log1p.f64 (exp.f64 b)) (.f64 1/3 (.f64 (.f64 a a) (/.f64 (-.f64 (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 1/2 (pow.f64 (log1p.f64 (exp.f64 b)) 2))))) (.f64 (pow.f64 (fma.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b)))) 2) (*.f64 1/3 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 b))))))) (pow.f64 (log1p.f64 (exp.f64 b)) 2)))))))
(fma.f64 1/3 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) a) (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 b)) 2)))) (+.f64 (log1p.f64 (exp.f64 b)) (/.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 a 3) (+.f64 (fma.f64 2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 (log1p.f64 (exp.f64 b)) (+.f64 1 (exp.f64 b)))) (fma.f64 1/6 (.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (.f64 (log1p.f64 (exp.f64 b)) (-.f64 (fma.f64 1/3 (.f64 (log1p.f64 (exp.f64 b)) (+.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 b)) 2))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)))))) (-.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (fma.f64 1/3 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) (-.f64 (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) 1/2)))) (.f64 (pow.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) 2) (.f64 1/3 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 b)))))))) (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 b)) 5)))) (fma.f64 1/3 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) (-.f64 (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) 1/2)))) (.f64 (pow.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) 2) (.f64 1/3 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 b)))))))) (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 b)) 5)))) (.f64 1/27 (/.f64 (pow.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) 3) (pow.f64 (log1p.f64 (exp.f64 b)) 2))))))))) (.f64 1/3 (.f64 (.f64 a a) (-.f64 (fma.f64 (log1p.f64 (exp.f64 b)) (fma.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (log1p.f64 (exp.f64 b)) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 b)) (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) 1/2)))) (.f64 (pow.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 b)) 2) (+.f64 1 (exp.f64 b))) 3) 2) (*.f64 1/3 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 b)))))))))) (pow.f64 (log1p.f64 (exp.f64 b)) 2))))
(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)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(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)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(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)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(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)))
(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 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2)) 1/3) (.f64 (+.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))))) b))))
(+.f64 (log1p.f64 (exp.f64 a)) (.f64 1/3 (.f64 (+.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 a)) 2))) b))))
(+.f64 (log1p.f64 (exp.f64 a)) (.f64 1/3 (.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) (.f64 b (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 a)) 2)))))))
(+.f64 (.f64 1/3 (/.f64 (.f64 (-.f64 (+.f64 (.f64 2 (/.f64 (log.f64 (+.f64 1 (exp.f64 a))) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (log.f64 (+.f64 1 (exp.f64 a)))) 1/3) (pow.f64 (+.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))))) 2)))) (pow.f64 b 2)) (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2)) 1/3) (.f64 (+.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))))) b)))))
(fma.f64 1/3 (.f64 (.f64 b b) (/.f64 (-.f64 (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log1p.f64 (exp.f64 a)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 a)))) (pow.f64 (+.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))))) 2)))) (pow.f64 (log1p.f64 (exp.f64 a)) 2))) (+.f64 (log1p.f64 (exp.f64 a)) (.f64 1/3 (.f64 (+.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 a)) 2))) b)))))
(+.f64 (log1p.f64 (exp.f64 a)) (.f64 1/3 (+.f64 (.f64 (-.f64 (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log1p.f64 (exp.f64 a)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 a)))) (pow.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) 2)))) (/.f64 (.f64 b b) (pow.f64 (log1p.f64 (exp.f64 a)) 2))) (.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) (.f64 b (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 a)) 2))))))))
(+.f64 (.f64 1/3 (/.f64 (.f64 (-.f64 (+.f64 (.f64 2 (/.f64 (log.f64 (+.f64 1 (exp.f64 a))) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (log.f64 (+.f64 1 (exp.f64 a)))) 1/3) (pow.f64 (+.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))))) 2)))) (pow.f64 b 2)) (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2)) 1/3) (.f64 (+.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))))) b))) (.f64 1/3 (/.f64 (.f64 (-.f64 (+.f64 (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (-.f64 (+.f64 (.f64 1/3 (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (+.f64 (.f64 1/6 (.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))) (.f64 2 (/.f64 (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (+.f64 1 (exp.f64 a))))))) (+.f64 (.f64 2/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 5)) 1/3) (.f64 (-.f64 (+.f64 (.f64 2 (/.f64 (log.f64 (+.f64 1 (exp.f64 a))) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log.f64 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (log.f64 (+.f64 1 (exp.f64 a)))) 1/3) (pow.f64 (+.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))))) 2)))) (+.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a)))))))) (.f64 1/27 (/.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))) (*.f64 2 (/.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2) (+.f64 1 (exp.f64 a))))) 3) (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2))))) (pow.f64 b 3)) (pow.f64 (log.f64 (+.f64 1 (exp.f64 a))) 2))))))
(fma.f64 1/3 (.f64 (.f64 b b) (/.f64 (-.f64 (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log1p.f64 (exp.f64 a)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 a)))) (pow.f64 (+.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))))) 2)))) (pow.f64 (log1p.f64 (exp.f64 a)) 2))) (+.f64 (log1p.f64 (exp.f64 a)) (fma.f64 1/3 (.f64 (+.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 a)) 2))) b)) (.f64 1/3 (.f64 (pow.f64 b 3) (/.f64 (-.f64 (fma.f64 (log1p.f64 (exp.f64 a)) (-.f64 (fma.f64 1/3 (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (fma.f64 2 (.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (/.f64 (log1p.f64 (exp.f64 a)) (+.f64 1 (exp.f64 a)))) (.f64 1/6 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))))))) (fma.f64 2/3 (.f64 (-.f64 (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log1p.f64 (exp.f64 a)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 a)))) (pow.f64 (+.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))))) 2)))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 a)) 5))) (+.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))))))) (.f64 1/27 (/.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) (.f64 2 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))))) 3) (pow.f64 (log1p.f64 (exp.f64 a)) 2))))) (pow.f64 (log1p.f64 (exp.f64 a)) 2)))))))
(fma.f64 1/3 (.f64 (-.f64 (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log1p.f64 (exp.f64 a)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 a)))) (pow.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) 2)))) (/.f64 (.f64 b b) (pow.f64 (log1p.f64 (exp.f64 a)) 2))) (+.f64 (log1p.f64 (exp.f64 a)) (.f64 1/3 (+.f64 (.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) (.f64 b (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 a)) 2))))) (.f64 (pow.f64 b 3) (/.f64 (-.f64 (fma.f64 (log1p.f64 (exp.f64 a)) (-.f64 (fma.f64 1/3 (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (fma.f64 2 (.f64 (log1p.f64 (exp.f64 a)) (/.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 1 (exp.f64 a)))) (.f64 1/6 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))))))) (fma.f64 2/3 (.f64 (-.f64 (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log1p.f64 (exp.f64 a)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log1p.f64 (exp.f64 a)))) (pow.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) 2)))) (.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) (cbrt.f64 (/.f64 1 (pow.f64 (log1p.f64 (exp.f64 a)) 5))))) (.f64 1/27 (/.f64 (pow.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) 3) (pow.f64 (log1p.f64 (exp.f64 a)) 2))))) (pow.f64 (log1p.f64 (exp.f64 a)) 2)))))))
(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)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(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)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(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)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
(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)))
(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))

prune448.0ms (3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	236	1	237
Fresh	0	0	0
Picked	0	1	1
Done	1	2	3
Total	237	4	241

Error

0.2b

Counts

241 → 4

Alt Table

Status	Error	Program
	25.3b	(pow.f64 (fma.f64 (.f64 (/.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 1 (exp.f64 a))) 3) b (fma.f64 (fma.f64 (log1p.f64 (exp.f64 a)) (-.f64 (fma.f64 1/3 (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3))) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (fma.f64 2 (.f64 (log1p.f64 (exp.f64 a)) (/.f64 (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 1 (exp.f64 a)))) (.f64 1/6 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (+.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 2 (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (/.f64 3 (pow.f64 (+.f64 1 (exp.f64 a)) 2))))))))) (pow.f64 b 3) (fma.f64 (fma.f64 2 (/.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (fma.f64 1/2 (.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 2) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) (.f64 (log1p.f64 (exp.f64 a)) (+.f64 (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (.f64 (log1p.f64 (exp.f64 a)) (-.f64 (/.f64 1 (+.f64 1 (exp.f64 a))) (/.f64 1 (pow.f64 (+.f64 1 (exp.f64 a)) 2)))))))) (*.f64 b b) (pow.f64 (log1p.f64 (exp.f64 a)) 3)))) 1/3)
✓	29.0b	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
✓	29.6b	(pow.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) 3) 1/3)
✓	0.6b	(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))

Compiler

Compiled 8365 to 5022 computations (40% saved)

regimes66.0ms (0.4%)

Accuracy

Total -30.6b remaining (-2814.1%)

Threshold costs -30.6b (-2814.1%)

Counts

20 → 1

Compiler

Compiled 719 to 481 computations (33.1% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	11	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))))

end175.0ms (1.2%)

Stop Event

1×

fuel

Compiler

Compiled 288 to 185 computations (35.8% saved)

Details

analyze783.0ms (5.2%)

sample12.9s (85.4%)

preprocess37.0ms (0.2%)

simplify24.0ms (0.2%)

prune2.0ms (0%)

localize5.0ms (0%)

series78.0ms (0.5%)

rewrite48.0ms (0.3%)

simplify29.0ms (0.2%)

prune103.0ms (0.7%)

localize6.0ms (0%)

series49.0ms (0.3%)

rewrite50.0ms (0.3%)

simplify47.0ms (0.3%)

prune82.0ms (0.5%)

localize5.0ms (0%)

prune35.0ms (0.2%)

localize8.0ms (0.1%)

series23.0ms (0.2%)

rewrite52.0ms (0.3%)

simplify51.0ms (0.3%)

prune448.0ms (3%)

regimes66.0ms (0.4%)

simplify1.0ms (0%)

end175.0ms (1.2%)

Profiling