Details

analyze1.8s (2.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
0%	74.9%	25.1%	2
18.7%	56.2%	25.1%	3
37.5%	37.5%	25.1%	4
42.1%	32.8%	25.1%	5
46.8%	28.1%	25.1%	6
48%	26.9%	25.1%	7
49.2%	25.8%	25.1%	8
49.5%	25.5%	25.1%	9
49.8%	25.2%	25.1%	10
49.8%	25.2%	25.1%	11
49.8%	25.1%	25.1%	12
49.9%	25%	25.1%	13
49.9%	25%	25.1%	14

Compiler

Compiled 126 to 112 computations (11.1% saved)

sample1.5s (2.4%)

Algorithm

1×

intervals

Results

1.4s	124×	body	8192	exit
77.0ms	256×	body	128	valid
9.0ms	380×	pre	128	true

Compiler

Compiled 249 to 223 computations (10.4% saved)

simplify152.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4804	115
1	4804	115

prune8.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

1.8b

Counts

2 → 1

Compiler

Compiled 148 to 122 computations (17.6% saved)

localize58.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
1.0b	(+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
1.0b	(sqrt.f64 (*.f64 PI.f64 2))
2.6b	(+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))

rewrite470.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

1.1b

Rules

19×	`*-un-lft-identity_binary64_2465`
18×	`add-log-exp_binary64_2504`
10×	`add-exp-log_binary64_2503`
9×	`sum-log_binary64_2556` `pow1_binary64_2526` `add-cbrt-cube_binary64_2501` `distribute-lft-out_binary64_2416`
8×	`frac-add_binary64_2473`
7×	`prod-exp_binary64_2514`
5×	`add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487` `flip3-+_binary64_2468` `flip-+_binary64_2439`
4×	`associate-r_binary64_2405`
3×	`cbrt-unprod_binary64_2498`
2×	`associate-+l+_binary64_2398` `+-commutative_binary64_2395` `pow-prod-down_binary64_2536` `sqrt-pow1_binary64_2483`
1×	`pow1/2_binary64_2545` `sqrt-prod_binary64_2481` `pow-to-exp_binary64_2534` `pow-exp_binary64_2533` `pow-sub_binary64_2541` `associate-r/_binary64_2407` `associate-l/_binary64_2408` `associate-l_binary64_2406` `exp-sum_binary64_2511` `*-commutative_binary64_2396`

Counts

4 → 70

Calls

4 calls:

39.0ms	(+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
22.0ms	(+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))
16.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
2.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 6200 to 4800 computations (22.6% saved)

series354.0ms (0.6%)

Error

1.1b

Counts

4 → 20

Calls

4 calls:

190.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
51.0ms	(+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
38.0ms	(+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))
0.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 3676 to 2954 computations (19.6% saved)

simplify70.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5563	2799

prune503.0ms (0.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	85	5	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	5	91

Error

1.1b

Counts

91 → 5

Compiler

Compiled 7849 to 6052 computations (22.9% saved)

localize60.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
1.0b	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
1.0b	(+.f64 (+.f64 562949953421205/562949953421312 (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
1.0b	(sqrt.f64 (*.f64 PI.f64 2))

rewrite1.0s (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

49×	`*-un-lft-identity_binary64_2465`
48×	`add-log-exp_binary64_2504`
34×	`sum-log_binary64_2556` `distribute-lft-out_binary64_2416`
32×	`frac-add_binary64_2473`
10×	`add-exp-log_binary64_2503`
9×	`pow1_binary64_2526` `add-cbrt-cube_binary64_2501`
8×	`flip3-+_binary64_2468` `flip-+_binary64_2439`
7×	`prod-exp_binary64_2514`
5×	`add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487`
4×	`associate-r_binary64_2405`
3×	`cbrt-unprod_binary64_2498`
2×	`pow-prod-down_binary64_2536` `sqrt-pow1_binary64_2483` `associate-+l+_binary64_2398` `+-commutative_binary64_2395`
1×	`pow1/2_binary64_2545` `sqrt-prod_binary64_2481` `pow-to-exp_binary64_2534` `pow-exp_binary64_2533` `pow-sub_binary64_2541` `associate-r/_binary64_2407` `associate-l/_binary64_2408` `associate-l_binary64_2406` `exp-sum_binary64_2511` `*-commutative_binary64_2396`

Counts

4 → 86

Calls

4 calls:

108.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
54.0ms	(+.f64 (+.f64 562949953421205/562949953421312 (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
17.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
3.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 9783 to 7705 computations (21.2% saved)

series412.0ms (0.7%)

Error

0.3b

Counts

4 → 24

Calls

4 calls:

195.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
88.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
54.0ms	(+.f64 (+.f64 562949953421205/562949953421312 (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z)))
0.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 3624 to 2888 computations (20.3% saved)

simplify121.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4957	7930
1	4957	7930

prune991.0ms (1.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	108	7	115

Error

0.3b

Counts

115 → 7

Compiler

Compiled 11329 to 8839 computations (22% saved)

localize30.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z)))
0.4b	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
1.0b	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
1.0b	(sqrt.f64 (*.f64 PI.f64 2))

rewrite228.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-exp-log_binary64_2503`
16×	`add-cbrt-cube_binary64_2501`
15×	`add-sqr-sqrt_binary64_2487`
14×	`pow1_binary64_2526` `add-cube-cbrt_binary64_2500` `*-un-lft-identity_binary64_2465`
10×	`prod-exp_binary64_2514`
9×	`times-frac_binary64_2471`
7×	`associate-r_binary64_2405`
6×	`cbrt-unprod_binary64_2498`
5×	`pow-prod-down_binary64_2536`
4×	`add-log-exp_binary64_2504`
3×	`associate-/l_binary64_2410` `associate-/r_binary64_2409`
2×	`sqrt-pow1_binary64_2483` `associate-l_binary64_2406` `*-commutative_binary64_2396`
1×	`pow1/2_binary64_2545` `sqrt-prod_binary64_2481` `pow-to-exp_binary64_2534` `pow-exp_binary64_2533` `pow-sub_binary64_2541` `associate-r/_binary64_2407` `associate-l/_binary64_2408` `exp-sum_binary64_2511` `unswap-sqr_binary64_2433` `div-exp_binary64_2516` `cbrt-undiv_binary64_2499` `frac-2neg_binary64_2476` `clear-num_binary64_2464` `div-inv_binary64_2462`

Counts

4 → 78

Calls

4 calls:

18.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
6.0ms	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
4.0ms	(/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z)))
2.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 3848 to 2484 computations (35.4% saved)

series282.0ms (0.5%)

Error

0.2b

Counts

4 → 12

Calls

4 calls:

179.0ms	(.f64 (.f64 (sqrt.f64 (*.f64 PI.f64 2)) (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z))) (exp.f64 (+.f64 z -15/2)))
39.0ms	(/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z)))
33.0ms	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
0.0ms	(sqrt.f64 (*.f64 PI.f64 2))

Compiler

Compiled 1811 to 1419 computations (21.6% saved)

simplify88.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4951	1669
1	4951	1669

prune243.0ms (0.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	80	10	90
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	84	13	97

Error

0.0b

Counts

97 → 13

Compiler

Compiled 4947 to 3288 computations (33.5% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z)))
0.4b	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
1.0b	(.f64 (.f64 (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (.f64 2 PI.f64))) (exp.f64 z)) (exp.f64 -15/2))
1.0b	(sqrt.f64 (*.f64 2 PI.f64))

rewrite234.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-cbrt-cube_binary64_2501`
18×	`add-exp-log_binary64_2503`
17×	`pow1_binary64_2526`
15×	`add-sqr-sqrt_binary64_2487` `prod-exp_binary64_2514`
14×	`add-cube-cbrt_binary64_2500` `*-un-lft-identity_binary64_2465`
9×	`cbrt-unprod_binary64_2498` `times-frac_binary64_2471`
7×	`pow-prod-down_binary64_2536`
6×	`associate-r_binary64_2405`
4×	`add-log-exp_binary64_2504`
3×	`associate-l/_binary64_2408` `associate-/l_binary64_2410` `associate-/r*_binary64_2409`
2×	`sqrt-pow1_binary64_2483` `associate-l_binary64_2406` `*-commutative_binary64_2396`
1×	`pow1/2_binary64_2545` `sqrt-prod_binary64_2481` `pow-to-exp_binary64_2534` `pow-exp_binary64_2533` `pow-sub_binary64_2541` `unswap-sqr_binary64_2433` `div-exp_binary64_2516` `cbrt-undiv_binary64_2499` `frac-2neg_binary64_2476` `clear-num_binary64_2464` `div-inv_binary64_2462`

Counts

4 → 80

Calls

4 calls:

18.0ms	(.f64 (.f64 (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (.f64 2 PI.f64))) (exp.f64 z)) (exp.f64 -15/2))
6.0ms	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
4.0ms	(sqrt.f64 (*.f64 2 PI.f64))
3.0ms	(/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z)))

Compiler

Compiled 4052 to 2565 computations (36.7% saved)

series310.0ms (0.5%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

196.0ms	(.f64 (.f64 (.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (sqrt.f64 (.f64 2 PI.f64))) (exp.f64 z)) (exp.f64 -15/2))
47.0ms	(/.f64 PI.f64 (sin.f64 (*.f64 PI.f64 z)))
36.0ms	(.f64 (.f64 z z) 2533639962396748701166118939/4648579506574807007232000)
0.0ms	(sqrt.f64 (*.f64 2 PI.f64))

Compiler

Compiled 1837 to 1437 computations (21.8% saved)

simplify95.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4929	1713
1	4929	1713

prune212.0ms (0.3%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	1	10	11
Picked	0	1	1
Done	0	1	1
Total	92	13	105

Error

0.0b

Counts

105 → 13

Compiler

Compiled 4384 to 2810 computations (35.9% saved)

regimes724.0ms (1.2%)

Accuracy

Total 0.4b remaining (91.7%)

Threshold costs 0.4b (91.7%)

Compiler

Compiled 10570 to 8448 computations (20.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	104	115
1	104	115

end0.0ms (0%)

sample52.0s (83.9%)

Algorithm

1×

intervals

Results

44.6s	3967×	body	8192	exit
2.7s	8000×	body	128	valid
231.0ms	12058×	pre	128	true
37.0ms	91×	body	128	invalid

Compiler

Compiled 5361 to 4287 computations (20% saved)

Details

analyze1.8s (2.9%)

sample1.5s (2.4%)

simplify152.0ms (0.2%)

prune8.0ms (0%)

localize58.0ms (0.1%)

rewrite470.0ms (0.8%)

series354.0ms (0.6%)

simplify70.0ms (0.1%)

prune503.0ms (0.8%)

localize60.0ms (0.1%)

rewrite1.0s (1.6%)

series412.0ms (0.7%)

simplify121.0ms (0.2%)

prune991.0ms (1.6%)

localize30.0ms (0%)

rewrite228.0ms (0.4%)

series282.0ms (0.5%)

simplify88.0ms (0.1%)

prune243.0ms (0.4%)

localize31.0ms (0.1%)

rewrite234.0ms (0.4%)

series310.0ms (0.5%)

simplify95.0ms (0.2%)

prune212.0ms (0.3%)

regimes724.0ms (1.2%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample52.0s (83.9%)

Profiling