Details

analyze4.4s

Algorithm

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
0%	25%	75%	2
0%	25%	75%	3
0%	25%	75%	4
0%	25%	75%	5
0%	25%	75%	6
0%	25%	75%	7
0%	25%	75%	8
1.6%	23.4%	75%	9
1.6%	23.4%	75%	10
1.6%	23.4%	75%	11
1.6%	23.4%	75%	12
1.6%	23.4%	75%	13
1.6%	23.4%	75%	14

sample5.7s

Algorithm

intervals

Results

3.8s	520×	body	5120	exit
698.0ms	263×	body	1280	overflowed
471.0ms	2315×	body	80	overflowed
368.0ms	269×	body	640	overflowed
99.0ms	127×	body	320	overflowed
91.0ms	3819×	pre	80	true
31.0ms	68×	body	160	overflowed
31.0ms	245×	body	80	valid
10.0ms	4×	body	1280	valid
4.0ms	3×	body	640	valid
1.0ms	4×	body	160	valid
0.0ms	1×	body	80	invalid

simplify58.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5092	43

prune7.0ms

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

Merged error: 5.8b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))) c_p)
0.3b	(-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
1.7b	(pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))) c_p)
2.7b	(/.f64 (.f64 (pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t))))) c_n)))

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

556×	`add-exp-log_binary64`
312×	`prod-exp_binary64`
264×	`pow-exp_binary64`
249×	`div-exp_binary64`
184×	`pow-to-exp_binary64`
36×	`*-un-lft-identity_binary64` `unpow-prod-down_binary64`
27×	`add-sqr-sqrt_binary64`
26×	`times-frac_binary64`
22×	`add-cube-cbrt_binary64`
16×	`add-cbrt-cube_binary64`
6×	`pow-unpow_binary64` `add-log-exp_binary64` `pow1_binary64` `distribute-lft-out_binary64`
4×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64`
3×	`div-inv_binary64`
2×	`flip3-+_binary64` `pow-pow_binary64` `sqr-pow_binary64` `difference-of-squares_binary64` `flip-+_binary64`
1×	`associate-/r_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `distribute-lft-out--_binary64` `flip--_binary64`

Counts

4 → 266

Calls

4 calls:

8.0ms	(pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))) c_p)
13.0ms	(-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
8.0ms	(pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))) c_p)
44.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t))))) c_n)))

series271.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))) c_p)
10.0ms	(-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
20.0ms	(pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))) c_p)
224.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t))))) c_n)))

simplify96.0ms

Algorithm

egg-herbie

Counts

278 → 278

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5002	9443

prune186.0ms

Filtered

76 candidates to 278 candidates (-265.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	274	4	278
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	275	4	279

Merged error: 0.1b

Counts

279 → 4

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(.f64 (.f64 s 0.5) (-.f64 c_p c_n))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`associate-r_binary64`
4×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
2×	`sub-neg_binary64` `associate-*r/_binary64` `add-cube-cbrt_binary64`
1×	`add-log-exp_binary64` `flip3--_binary64` `distribute-lft-in_binary64` `associate-l_binary64` `distribute-rgt-in_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64` `*-commutative_binary64`

Counts

1 → 24

Calls

1 calls:

8.0ms

(*.f64 (*.f64 s 0.5) (-.f64 c_p c_n))

series13.0ms

Counts

1 → 3

Calls

1 calls:

13.0ms

(*.f64 (*.f64 s 0.5) (-.f64 c_p c_n))

simplify42.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5017	220

prune29.0ms

Filtered

15 candidates to 27 candidates (-80.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	27	4	31

Merged error: 0.1b

Counts

31 → 4

localize29.0ms

Local error

Found 4 expressions with local error:

0.3b	(-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
2.0b	(log.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
9.6b	(-.f64 (log.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s))))) (log.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t))))))
9.6b	(-.f64 (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

66×	`log-prod_binary64`
62×	`*-un-lft-identity_binary64`
49×	`add-sqr-sqrt_binary64`
39×	`times-frac_binary64`
30×	`add-cube-cbrt_binary64`
24×	`associate--r+_binary64` `associate--l+_binary64`
13×	`pow1_binary64`
11×	`distribute-lft-out--_binary64`
9×	`distribute-lft-out_binary64` `log-pow_binary64`
8×	`difference-of-squares_binary64`
7×	`add-exp-log_binary64` `log-div_binary64`
6×	`add-log-exp_binary64` `associate-/r/_binary64`
5×	`flip3--_binary64` `flip--_binary64`
4×	`add-cbrt-cube_binary64`
3×	`flip3-+_binary64` `sub-neg_binary64` `associate--l-_binary64` `diff-log_binary64` `associate--r-_binary64` `div-inv_binary64` `flip-+_binary64`
2×	`rem-log-exp_binary64`
1×	`div-exp_binary64`

Counts

4 → 129

Calls

4 calls:

11.0ms	(-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
6.0ms	(log.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
17.0ms	(-.f64 (log.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s))))) (log.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t))))))
25.0ms	(-.f64 (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))))

series91.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
18.0ms	(log.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
26.0ms	(-.f64 (log.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s))))) (log.f64 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t))))))
38.0ms	(-.f64 (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))))

simplify73.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5009	2613

prune292.0ms

Filtered

103 candidates to 141 candidates (-36.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	138	3	141
Fresh	2	0	2
Picked	1	0	1
Done	1	0	1
Total	142	3	145

Merged error: 0.0b

Counts

145 → 3

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t))))))
0.3b	(-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
0.3b	(.f64 c_p (-.f64 (.f64 0.5 (-.f64 s t)) (.f64 0.125 (.f64 s s))))
9.6b	(-.f64 (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64`
18×	`log-prod_binary64`
11×	`pow1_binary64`
10×	`associate--l+_binary64`
9×	`add-cube-cbrt_binary64` `difference-of-squares_binary64`
8×	`sub-neg_binary64` `distribute-lft-out--_binary64`
7×	`add-exp-log_binary64`
6×	`add-log-exp_binary64` `associate--r+_binary64` `flip3--_binary64` `add-cbrt-cube_binary64` `log-div_binary64` `flip--_binary64`
5×	`log-pow_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64`
4×	`times-frac_binary64`
3×	`associate-r_binary64` `associate-l_binary64`
2×	`associate--l-_binary64` `diff-log_binary64` `associate--r-_binary64` `associate-*r/_binary64`
1×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `rem-log-exp_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 89

Calls

4 calls:

12.0ms	(log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t))))))
11.0ms	(-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
11.0ms	(.f64 c_p (-.f64 (.f64 0.5 (-.f64 s t)) (.f64 0.125 (.f64 s s))))
24.0ms	(-.f64 (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))))

series86.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t))))))
9.0ms	(-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))
19.0ms	(.f64 c_p (-.f64 (.f64 0.5 (-.f64 s t)) (.f64 0.125 (.f64 s s))))
34.0ms	(-.f64 (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 1.0 (exp.f64 (neg.f64 t)))))))

simplify74.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4912	1903
1	4912	1903

prune161.0ms

Filtered

70 candidates to 101 candidates (-44.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	102	2	104

Merged error: 0.0b

Counts

104 → 2

regimes524.0ms

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	109	28
1	109	28

end0.0ms

sample19.9s

Algorithm

intervals

Results

13.2s	1896×	body	5120	exit
2.5s	1007×	body	1280	overflowed
1.6s	8348×	body	80	overflowed
1.2s	905×	body	640	overflowed
343.0ms	448×	body	320	overflowed
314.0ms	13808×	pre	80	true
113.0ms	915×	body	80	valid
108.0ms	256×	body	160	overflowed
27.0ms	12×	body	1280	valid
10.0ms	8×	body	640	valid
5.0ms	1×	body	2560	valid
2.0ms	7×	body	160	valid
2.0ms	3×	body	320	valid
0.0ms	2×	body	80	invalid

Details

analyze4.4s

sample5.7s

simplify58.0ms

prune7.0ms

localize22.0ms

rewrite94.0ms

series271.0ms

simplify96.0ms

prune186.0ms

localize6.0ms

rewrite9.0ms

series13.0ms

simplify42.0ms

prune29.0ms

localize29.0ms

rewrite65.0ms

series91.0ms

simplify73.0ms

prune292.0ms

localize27.0ms

rewrite62.0ms

series86.0ms

simplify74.0ms

prune161.0ms

regimes524.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample19.9s

Profiling