Details

analyze118.0ms (1.5%)

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
25%	74.9%	0.1%	3
62.4%	37.5%	0.1%	4
68.7%	31.2%	0.1%	5
68.7%	18.7%	12.6%	6
68.7%	18.7%	12.6%	7
68.7%	12.5%	18.8%	8
68.7%	12.5%	18.8%	9
68.7%	9.4%	22%	10
68.7%	9.4%	22%	11
68.7%	7.8%	23.5%	12
68.7%	7.8%	23.5%	13
68.7%	7%	24.3%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample18.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	20×	body	128	overflowed

Compiler

Compiled 23 to 15 computations (34.8% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13
2	8	13

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.8b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.8b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 20 to 12 computations (40% saved)

localize5.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 a)
0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
0.0b	(exp.f64 a)
0.8b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite57.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

25×	`*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
8×	`add-log-exp_binary64`

Counts

4 → 67

Calls

4 calls:

5.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
3.0ms	(+.f64 (exp.f64 a) (exp.f64 b))
1.0ms	(exp.f64 a)
1.0ms	(exp.f64 a)

Compiler

Compiled 928 to 192 computations (79.3% saved)

series75.0ms (1%)

Error

0.2b

Counts

4 → 36

Calls

4 calls:

30.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
10.0ms	(+.f64 (exp.f64 a) (exp.f64 b))
6.0ms	(exp.f64 a)
5.0ms	(exp.f64 a)

Compiler

Compiled 1511 to 977 computations (35.3% saved)

simplify117.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

536×	`times-frac_binary64`
389×	`associate-/l*_binary64`
245×	`associate-/r*_binary64`
241×	`associate--l+_binary64`
209×	`associate--r+_binary64`

Counts

103 → 59

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	175	1911
1	447	1805
2	1361	1775
3	4679	1772
4	4997	1772
5	4980	1772

prune65.0ms (0.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	56	3	59
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	3	60

Error

0.2b

Counts

60 → 3

Alt Table

Status	Error	Program
	26.7b	(+.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (-.f64 (.f64 (exp.f64 a) (+.f64 (/.f64 (.f64 b b) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (pow.f64 (/.f64 b (+.f64 1 (exp.f64 a))) 3))) (+.f64 (.f64 1/6 (/.f64 (.f64 (exp.f64 a) (pow.f64 b 3)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (.f64 1/2 (.f64 (/.f64 (.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) b)) (.f64 (exp.f64 a) (+.f64 (/.f64 b (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 4))))))))
	11.7b	(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (+.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 3/2 (*.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) a))))
▶	1.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a))))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))))

Compiler

Compiled 1368 to 608 computations (55.6% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))))
0.8b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
0.8b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
0.8b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))

rewrite210.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

137×	`*-un-lft-identity_binary64`
102×	`times-frac_binary64`
96×	`cbrt-prod_binary64`
95×	`add-sqr-sqrt_binary64`
71×	`add-cube-cbrt_binary64`

Counts

4 → 198

Calls

4 calls:

22.0ms	(*.f64 (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))))
6.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
6.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
6.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))

Compiler

Compiled 6759 to 738 computations (89.1% saved)

series1.3s (16.4%)

Error

0.2b

Counts

4 → 36

Calls

4 calls:

1.1s	(*.f64 (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))))
24.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
23.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
22.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))

Compiler

Compiled 12340 to 8454 computations (31.5% saved)

simplify237.0ms (3%)

Algorithm

1×	egg-herbie

Rules

348×	`associate-/l*_binary64`
340×	`*-commutative_binary64`
301×	`times-frac_binary64`
274×	`associate-*r/_binary64`
208×	`+-commutative_binary64`

Counts

234 → 112

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	927	14338
1	2618	13404
2	5312	13404

prune145.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.2b

Counts

115 → 3

Alt Table

Status	Error	Program
	26.7b	(+.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (-.f64 (.f64 (exp.f64 a) (+.f64 (/.f64 (.f64 b b) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (pow.f64 (/.f64 b (+.f64 1 (exp.f64 a))) 3))) (+.f64 (.f64 1/6 (/.f64 (.f64 (exp.f64 a) (pow.f64 b 3)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (.f64 1/2 (.f64 (/.f64 (.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) b)) (.f64 (exp.f64 a) (+.f64 (/.f64 b (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 4))))))))
▶	11.7b	(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (+.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 3/2 (*.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) a))))
✓	1.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a))))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))))

Compiler

Compiled 6878 to 3615 computations (47.4% saved)

localize29.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))
0.1b	(.f64 3/2 (.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) a))
2.2b	(/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))
11.0b	(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (+.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 3/2 (*.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) a))))

rewrite445.0ms (5.7%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

41×	`add-log-exp_binary64`
38×	`frac-add_binary64`
33×	`add-exp-log_binary64`
27×	`*-un-lft-identity_binary64`
21×	`frac-sub_binary64`

Counts

4 → 136

Calls

4 calls:

57.0ms	(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (+.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 3/2 (*.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) a))))
31.0ms	(+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))
9.0ms	(.f64 3/2 (.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) a))
7.0ms	(/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))

Compiler

Compiled 13586 to 8592 computations (36.8% saved)

series341.0ms (4.4%)

Error

0.2b

Counts

4 → 36

Calls

4 calls:

145.0ms	(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (+.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 3/2 (*.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) a))))
78.0ms	(+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))
39.0ms	(/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))
36.0ms	(.f64 3/2 (.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) a))

Compiler

Compiled 4579 to 3224 computations (29.6% saved)

simplify243.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

636×	`distribute-rgt-in_binary64`
619×	`distribute-lft-in_binary64`
177×	`times-frac_binary64`
150×	`*-commutative_binary64`
142×	`cancel-sign-sub-inv_binary64`

Counts

172 → 142

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	444	14940
1	1519	13781
2	4984	13781

prune211.0ms (2.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	141	4	145

Error

0.2b

Counts

145 → 4

Alt Table

Status	Error	Program
▶	11.7b	(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (+.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
✓	1.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a))))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))))
	42.0b	(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b)))))))
	26.7b	(+.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (-.f64 (.f64 (exp.f64 a) (+.f64 (/.f64 (.f64 b b) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (pow.f64 (/.f64 b (+.f64 1 (exp.f64 a))) 3))) (+.f64 (.f64 1/6 (/.f64 (.f64 (exp.f64 a) (pow.f64 b 3)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (.f64 1/2 (.f64 (/.f64 (.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) b)) (.f64 (exp.f64 a) (+.f64 (/.f64 b (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 4))))))))

Compiler

Compiled 9562 to 5856 computations (38.8% saved)

localize29.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
2.2b	(/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))
2.2b	(/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))
11.0b	(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (+.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))

rewrite628.0ms (8%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

51×	`add-exp-log_binary64`
40×	`*-un-lft-identity_binary64`
36×	`times-frac_binary64`
36×	`add-log-exp_binary64`
34×	`frac-add_binary64`

Counts

4 → 175

Calls

4 calls:

73.0ms	(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (+.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
22.0ms	(.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
12.0ms	(/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))
10.0ms	(/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))

Compiler

Compiled 15460 to 9620 computations (37.8% saved)

series288.0ms (3.7%)

Error

0.2b

Counts

4 → 32

Calls

4 calls:

148.0ms	(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (+.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
44.0ms	(/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))
38.0ms	(.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))
32.0ms	(/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))

Compiler

Compiled 3987 to 2786 computations (30.1% saved)

simplify236.0ms (3%)

Algorithm

1×	egg-herbie

Rules

612×	`distribute-rgt-in_binary64`
593×	`distribute-lft-in_binary64`
236×	`times-frac_binary64`
152×	`*-commutative_binary64`
137×	`cancel-sign-sub-inv_binary64`

Counts

207 → 165

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	460	14650
1	1542	13556
2	4999	13556

prune234.0ms (3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	165	4	169

Error

0.2b

Counts

169 → 4

Alt Table

Status	Error	Program
	11.7b	(-.f64 (+.f64 (/.f64 1 (+.f64 1 (exp.f64 b))) (+.f64 (.f64 1/2 (.f64 (/.f64 a (+.f64 1 (exp.f64 b))) a)) (+.f64 (/.f64 a (+.f64 1 (exp.f64 b))) (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3))))) (+.f64 (/.f64 a (pow.f64 (+.f64 1 (exp.f64 b)) 2)) (.f64 3/2 (/.f64 (*.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2)))))
	1.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a))))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))))
	42.0b	(-.f64 (+.f64 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 3)) (+.f64 (.f64 1/2 (/.f64 (.f64 a a) (+.f64 1 (exp.f64 b)))) (/.f64 a (+.f64 1 (exp.f64 b))))) (+.f64 (.f64 3/2 (/.f64 (.f64 a a) (pow.f64 (+.f64 1 (exp.f64 b)) 2))) (/.f64 a (+.f64 1 (.f64 (exp.f64 b) (+.f64 2 (exp.f64 b)))))))
	26.7b	(+.f64 (/.f64 (exp.f64 a) (+.f64 1 (exp.f64 a))) (-.f64 (.f64 (exp.f64 a) (+.f64 (/.f64 (.f64 b b) (pow.f64 (+.f64 1 (exp.f64 a)) 3)) (pow.f64 (/.f64 b (+.f64 1 (exp.f64 a))) 3))) (+.f64 (.f64 1/6 (/.f64 (.f64 (exp.f64 a) (pow.f64 b 3)) (pow.f64 (+.f64 1 (exp.f64 a)) 2))) (+.f64 (.f64 1/2 (.f64 (/.f64 (.f64 b (exp.f64 a)) (pow.f64 (+.f64 1 (exp.f64 a)) 2)) b)) (.f64 (exp.f64 a) (+.f64 (/.f64 b (pow.f64 (+.f64 1 (exp.f64 a)) 2)) (/.f64 (pow.f64 b 3) (pow.f64 (+.f64 1 (exp.f64 a)) 4))))))))

Compiler

Compiled 9486 to 5848 computations (38.4% saved)

regimes2.1s (26.8%)

Accuracy

Total 0.5b remaining (60.2%)

Threshold costs 0.5b (60.2%)

Compiler

Compiled 63813 to 34278 computations (46.3% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`*-lft-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	13	13
2	12	13

end0.0ms (0%)

Compiler: Compiled 10 to 6 computations (40% saved)

sample698.0ms (8.9%)

Algorithm

1×

intervals

Results

287.0ms	8000×	body	128	valid
21.0ms	618×	body	128	overflowed

Compiler

Compiled 255 to 153 computations (40% saved)

Details

analyze118.0ms (1.5%)

sample18.0ms (0.2%)

simplify11.0ms (0.1%)

prune1.0ms (0%)

localize5.0ms (0.1%)

rewrite57.0ms (0.7%)

series75.0ms (1%)

simplify117.0ms (1.5%)

prune65.0ms (0.8%)

localize12.0ms (0.1%)

rewrite210.0ms (2.7%)

series1.3s (16.4%)

simplify237.0ms (3%)

prune145.0ms (1.8%)

localize29.0ms (0.4%)

rewrite445.0ms (5.7%)

series341.0ms (4.4%)

simplify243.0ms (3.1%)

prune211.0ms (2.7%)

localize29.0ms (0.4%)

rewrite628.0ms (8%)

series288.0ms (3.7%)

simplify236.0ms (3%)

prune234.0ms (3%)

regimes2.1s (26.8%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample698.0ms (8.9%)

Profiling