Details

analyze4.8s

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.1s

Algorithm

intervals

Results

3.2s	444×	body	5120	exit
777.0ms	284×	body	1280	overflowed
442.0ms	2020×	body	80	overflowed
337.0ms	231×	body	640	overflowed
99.0ms	112×	body	320	overflowed
81.0ms	3400×	pre	80	true
34.0ms	247×	body	80	valid
24.0ms	53×	body	160	overflowed
5.0ms	2×	body	1280	valid
2.0ms	6×	body	160	valid
1.0ms	1×	body	640	valid

simplify56.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5035	43

prune5.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: 4.0b

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))
0.5b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
0.7b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
2.2b	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

rewrite126.0ms

Algorithm

rewrite-expression-head

Rules

1192×	`add-exp-log_binary64`
692×	`pow-exp_binary64`
684×	`prod-exp_binary64`
593×	`div-exp_binary64`
344×	`pow-to-exp_binary64`
116×	`1-exp_binary64` `rec-exp_binary64`
42×	`*-un-lft-identity_binary64`
36×	`unpow-prod-down_binary64`
33×	`add-sqr-sqrt_binary64`
29×	`times-frac_binary64`
22×	`add-cube-cbrt_binary64`
16×	`add-cbrt-cube_binary64`
8×	`pow1_binary64`
6×	`pow-unpow_binary64` `add-log-exp_binary64` `distribute-lft-out_binary64` `pow-pow_binary64` `difference-of-squares_binary64`
4×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `div-inv_binary64`
2×	`flip3-+_binary64` `sqr-pow_binary64` `inv-pow_binary64` `distribute-lft-out--_binary64` `pow-flip_binary64` `flip-+_binary64`
1×	`associate-/r_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `flip--_binary64`

Counts

4 → 471

Calls

4 calls:

12.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))
8.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
8.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
51.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

series221.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))
14.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
15.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
185.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

simplify117.0ms

Algorithm

egg-herbie

Counts

483 → 483

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5033	16646

prune179.0ms

Filtered

71 candidates to 483 candidates (-580.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	478	5	483
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	479	5	484

Merged error: 0.1b

Counts

484 → 5

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(.f64 (.f64 s 1/2) (-.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 1/2) (-.f64 c_p c_n))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(*.f64 (*.f64 s 1/2) (-.f64 c_p c_n))

simplify41.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5006	217

prune36.0ms

Filtered

15 candidates to 27 candidates (-80.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	27	5	32

Merged error: 0.1b

Counts

32 → 5

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 1/48 (pow.f64 t 3))
0.5b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
0.7b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
2.2b	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 t 3))) (.f64 t 1/4)) c_n)))

rewrite117.0ms

Algorithm

rewrite-expression-head

Rules

1197×	`add-exp-log_binary64`
693×	`pow-exp_binary64`
687×	`prod-exp_binary64`
593×	`div-exp_binary64`
345×	`pow-to-exp_binary64`
116×	`1-exp_binary64` `rec-exp_binary64`
40×	`unpow-prod-down_binary64`
38×	`*-un-lft-identity_binary64`
33×	`add-sqr-sqrt_binary64`
26×	`add-cube-cbrt_binary64`
25×	`times-frac_binary64`
18×	`add-cbrt-cube_binary64`
12×	`associate-r_binary64`
8×	`pow1_binary64`
6×	`pow-unpow_binary64` `distribute-lft-out_binary64` `pow-pow_binary64`
5×	`cbrt-unprod_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `sqr-pow_binary64` `associate-/r/_binary64` `unswap-sqr_binary64` `cube-prod_binary64`
3×	`associate-l_binary64` `div-inv_binary64`
2×	`flip3-+_binary64` `inv-pow_binary64` `pow-flip_binary64` `flip-+_binary64`
1×	`associate-/r_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `unpow3_binary64` `*-commutative_binary64` `cube-mult_binary64`

Counts

4 → 483

Calls

4 calls:

7.0ms	(*.f64 1/48 (pow.f64 t 3))
8.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
8.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
45.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 t 3))) (.f64 t 1/4)) c_n)))

series245.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(*.f64 1/48 (pow.f64 t 3))
14.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
14.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
213.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 t 3))) (.f64 t 1/4)) c_n)))

simplify119.0ms

Algorithm

egg-herbie

Counts

495 → 495

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5006	17294

prune261.0ms

Filtered

78 candidates to 495 candidates (-534.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	495	0	495
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	495	5	500

Merged error: 0.1b

Counts

500 → 5

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
0.7b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
1.0b	(cbrt.f64 (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) 3))
2.2b	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (cbrt.f64 (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) 3)) c_n)))

rewrite142.0ms

Algorithm

rewrite-expression-head

Rules

1192×	`add-exp-log_binary64`
692×	`pow-exp_binary64`
684×	`prod-exp_binary64`
593×	`div-exp_binary64`
344×	`pow-to-exp_binary64`
116×	`1-exp_binary64` `rec-exp_binary64`
53×	`*-un-lft-identity_binary64`
47×	`unpow-prod-down_binary64` `add-sqr-sqrt_binary64`
33×	`times-frac_binary64`
28×	`cbrt-prod_binary64`
25×	`add-cube-cbrt_binary64`
16×	`add-cbrt-cube_binary64`
12×	`difference-of-squares_binary64`
11×	`cube-prod_binary64`
8×	`pow1_binary64`
6×	`pow-unpow_binary64` `distribute-lft-out_binary64` `pow-pow_binary64`
5×	`div-inv_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `distribute-lft-out--_binary64`
3×	`sqr-pow_binary64`
2×	`cbrt-div_binary64` `flip3-+_binary64` `cube-div_binary64` `inv-pow_binary64` `pow-flip_binary64` `flip-+_binary64`
1×	`associate-/r_binary64` `rem-cbrt-cube_binary64` `flip3--_binary64` `pow1/3_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `flip--_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 491

Calls

4 calls:

8.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
8.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
18.0ms	(cbrt.f64 (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) 3))
56.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (cbrt.f64 (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) 3)) c_n)))

series213.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
17.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
6.0ms	(cbrt.f64 (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) 3))
176.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (cbrt.f64 (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) 3)) c_n)))

simplify130.0ms

Algorithm

egg-herbie

Counts

503 → 503

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4956	17005
1	4956	17005

prune167.0ms

Filtered

73 candidates to 503 candidates (-589.0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	503	0	503
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	503	5	508

Merged error: 0.1b

Counts

508 → 5

regimes887.0ms

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	9
1	22	9

end0.0ms

sample5.3s

Algorithm

intervals

Results

3.3s	461×	body	5120	exit
785.0ms	290×	body	1280	overflowed
470.0ms	2116×	body	80	overflowed
361.0ms	242×	body	640	overflowed
105.0ms	118×	body	320	overflowed
87.0ms	3541×	pre	80	true
34.0ms	250×	body	80	valid
25.0ms	55×	body	160	overflowed
5.0ms	2×	body	1280	valid
2.0ms	6×	body	160	valid
1.0ms	1×	body	640	valid

Details

analyze4.8s

sample5.1s

simplify56.0ms

prune5.0ms

localize26.0ms

rewrite126.0ms

series221.0ms

simplify117.0ms

prune179.0ms

localize6.0ms

rewrite9.0ms

series9.0ms

simplify41.0ms

prune36.0ms

localize26.0ms

rewrite117.0ms

series245.0ms

simplify119.0ms

prune261.0ms

localize27.0ms

rewrite142.0ms

series213.0ms

simplify130.0ms

prune167.0ms

regimes887.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample5.3s

Profiling