Details

analyze667.0ms (9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	74.9%	25.1%	8
6.2%	68.6%	25.1%	9
7.8%	67.1%	25.1%	10
10.1%	64.7%	25.1%	11
14.8%	47.6%	37.6%	12
15.8%	36.8%	47.4%	13
16.6%	35.1%	48.3%	14

Compiler

Compiled 18 to 17 computations (5.6% saved)

sample54.0ms (0.7%)

Algorithm

1×

intervals

Results

17.0ms	256×	body	128	valid
11.0ms	198×	body	128	invalid
8.0ms	140×	body	128	nan

Compiler

Compiled 35 to 37 computations (-5.7% saved)

simplify260.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (169.0ms)

Iter	Nodes	Cost
0	4864	25
1	4864	25

prune4.0ms (0.1%)

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

0.8b

Counts

2 → 2

Compiler

Compiled 49 to 46 computations (6.1% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (exp.f64 t))
0.1b	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
0.3b	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
0.5b	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))

rewrite37.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64_20235`
18×	`add-sqr-sqrt_binary64_20219`
15×	`*-un-lft-identity_binary64_20197` `add-cube-cbrt_binary64_20232`
14×	`associate-r_binary64_20137`
12×	`unpow-prod-down_binary64_20276`
11×	`add-cbrt-cube_binary64_20233`
10×	`prod-exp_binary64_20246` `sqrt-prod_binary64_20213`
9×	`pow1_binary64_20258`
8×	`sqrt-pow1_binary64_20215`
6×	`pow-pow_binary64_20269` `exp-prod_binary64_20249` `associate-*l/_binary64_20140`
4×	`cbrt-unprod_binary64_20230` `add-log-exp_binary64_20236` `associate-l_binary64_20138`
3×	`pow-unpow_binary64_20274` `pow-to-exp_binary64_20266` `pow-exp_binary64_20265`
2×	`flip3--_binary64_20201` `pow1/2_binary64_20277` `sqr-pow_binary64_20169` `*-commutative_binary64_20128` `flip--_binary64_20172`
1×	`unswap-sqr_binary64_20165` `rem-sqrt-square_binary64_20210` `pow-prod-down_binary64_20268` `sqrt-pow2_binary64_20216`

Counts

4 → 92

Calls

4 calls:

14.0ms	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
9.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
4.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
2.0ms	(sqrt.f64 (exp.f64 t))

series367.0ms (5%)

Counts

4 → 12

Calls

4 calls:

266.0ms	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
65.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
24.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
13.0ms	(sqrt.f64 (exp.f64 t))

simplify91.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4962	1774
1	4962	1774

prune128.0ms (1.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	93	11	104
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	95	11	106

Error

0.0b

Counts

106 → 11

Compiler

Compiled 2509 to 1453 computations (42.1% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (sqrt.f64 (.f64 z 2)) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
0.0b	(sqrt.f64 (exp.f64 t))
0.1b	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
0.3b	(.f64 (-.f64 (.f64 x 1/2) y) (.f64 (sqrt.f64 (.f64 z 2)) (pow.f64 (sqrt.f64 (exp.f64 t)) t)))

rewrite36.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_20219`
20×	`add-exp-log_binary64_20235`
15×	`*-un-lft-identity_binary64_20197` `add-cube-cbrt_binary64_20232`
14×	`unpow-prod-down_binary64_20276`
11×	`add-cbrt-cube_binary64_20233` `sqrt-prod_binary64_20213` `associate-r_binary64_20137`
10×	`prod-exp_binary64_20246`
9×	`pow1_binary64_20258`
8×	`sqrt-pow1_binary64_20215`
7×	`associate-l_binary64_20138`
6×	`pow-pow_binary64_20269` `exp-prod_binary64_20249`
4×	`cbrt-unprod_binary64_20230` `add-log-exp_binary64_20236` `unswap-sqr_binary64_20165`
3×	`pow-unpow_binary64_20274` `sqr-pow_binary64_20169` `pow-to-exp_binary64_20266` `pow-exp_binary64_20265`
2×	`pow1/2_binary64_20277` `-commutative_binary64_20128` `associate-l/_binary64_20140`
1×	`flip3--_binary64_20201` `rem-sqrt-square_binary64_20210` `pow-prod-down_binary64_20268` `sqrt-pow2_binary64_20216` `flip--_binary64_20172`

Counts

4 → 93

Calls

4 calls:

12.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (.f64 (sqrt.f64 (.f64 z 2)) (pow.f64 (sqrt.f64 (exp.f64 t)) t)))
9.0ms	(.f64 (sqrt.f64 (.f64 z 2)) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
4.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
2.0ms	(sqrt.f64 (exp.f64 t))

series419.0ms (5.7%)

Counts

4 → 12

Calls

4 calls:

268.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (.f64 (sqrt.f64 (.f64 z 2)) (pow.f64 (sqrt.f64 (exp.f64 t)) t)))
113.0ms	(.f64 (sqrt.f64 (.f64 z 2)) (pow.f64 (sqrt.f64 (exp.f64 t)) t))
26.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
12.0ms	(sqrt.f64 (exp.f64 t))

simplify91.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4957	1880
1	4957	1880

prune125.0ms (1.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	103	2	105
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	105	11	116

Error

0.0b

Counts

116 → 11

Compiler

Compiled 2592 to 1479 computations (42.9% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 2))
0.1b	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
0.3b	(.f64 (-.f64 (.f64 x 1/2) y) (.f64 (sqrt.f64 z) (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 2))))
0.5b	(.f64 (sqrt.f64 z) (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 2)))

rewrite47.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`add-exp-log_binary64_20235`
30×	`add-sqr-sqrt_binary64_20219`
22×	`prod-exp_binary64_20246`
20×	`add-cbrt-cube_binary64_20233`
19×	`associate-l_binary64_20138`
18×	`sqrt-prod_binary64_20213`
16×	`*-un-lft-identity_binary64_20197` `add-cube-cbrt_binary64_20232` `unpow-prod-down_binary64_20276`
13×	`pow1_binary64_20258`
10×	`cbrt-unprod_binary64_20230`
8×	`unswap-sqr_binary64_20165` `associate-r_binary64_20137`
6×	`pow-pow_binary64_20269`
4×	`sqrt-pow1_binary64_20215` `add-log-exp_binary64_20236` `sqr-pow_binary64_20169` `pow-to-exp_binary64_20266` `pow-prod-down_binary64_20268` `pow-exp_binary64_20265`
3×	`pow-unpow_binary64_20274` `*-commutative_binary64_20128` `exp-prod_binary64_20249`
2×	`associate-*l/_binary64_20140`
1×	`flip3--_binary64_20201` `pow1/2_binary64_20277` `sqrt-pow2_binary64_20216` `flip--_binary64_20172`

Counts

4 → 108

Calls

4 calls:

14.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (.f64 (sqrt.f64 z) (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 2))))
10.0ms	(.f64 (sqrt.f64 z) (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 2)))
9.0ms	(*.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 2))
4.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)

series490.0ms (6.6%)

Counts

4 → 12

Calls

4 calls:

288.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (.f64 (sqrt.f64 z) (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 2))))
129.0ms	(.f64 (sqrt.f64 z) (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 2)))
49.0ms	(*.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 2))
24.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)

simplify106.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4952	2464
1	4952	2464

prune144.0ms (1.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	121	10	131

Error

0.0b

Counts

131 → 10

Compiler

Compiled 3015 to 1649 computations (45.3% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (sqrt.f64 (exp.f64 t)) t)
0.3b	(.f64 (-.f64 (.f64 x 1/2) y) (.f64 (sqrt.f64 z) (.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))))
0.5b	(.f64 (sqrt.f64 z) (.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))
1.0b	(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))

rewrite64.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`add-exp-log_binary64_20235`
37×	`prod-exp_binary64_20246`
32×	`add-cbrt-cube_binary64_20233`
22×	`pow1_binary64_20258`
19×	`cbrt-unprod_binary64_20230`
15×	`sqrt-prod_binary64_20213`
14×	`add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197` `add-cube-cbrt_binary64_20232`
11×	`associate-r_binary64_20137`
10×	`pow-prod-down_binary64_20268` `associate-l_binary64_20138`
6×	`pow-pow_binary64_20269` `unpow-prod-down_binary64_20276`
4×	`sqrt-pow1_binary64_20215` `add-log-exp_binary64_20236` `pow-to-exp_binary64_20266` `pow-exp_binary64_20265`
3×	`pow-unpow_binary64_20274` `*-commutative_binary64_20128` `exp-prod_binary64_20249`
2×	`associate-*l/_binary64_20140`
1×	`flip3--_binary64_20201` `pow1/2_binary64_20277` `sqr-pow_binary64_20169` `sqrt-pow2_binary64_20216` `flip--_binary64_20172`

Counts

4 → 103

Calls

4 calls:

21.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (.f64 (sqrt.f64 z) (.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))))
15.0ms	(.f64 (sqrt.f64 z) (.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))
12.0ms	(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))
4.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)

series496.0ms (6.7%)

Counts

4 → 12

Calls

4 calls:

296.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (.f64 (sqrt.f64 z) (.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))))
127.0ms	(.f64 (sqrt.f64 z) (.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))
50.0ms	(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 t)) t) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))
24.0ms	(pow.f64 (sqrt.f64 (exp.f64 t)) t)

simplify91.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4959	2357
1	4959	2357

prune132.0ms (1.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	113	2	115
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	115	10	125

Error

0.0b

Counts

125 → 10

Compiler

Compiled 2779 to 1595 computations (42.6% saved)

regimes1.0s (14%)

Accuracy

Total 0.3b remaining (97.7%)

Threshold costs 0.3b (97.7%)

Compiler

Compiled 12146 to 10463 computations (13.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	26
1	31	26

end0.0ms (0%)

sample2.4s (33%)

Algorithm

1×

intervals

Results

447.0ms	8000×	body	128	valid
327.0ms	6039×	body	128	invalid
252.0ms	4528×	body	128	nan

Compiler

Compiled 946 to 815 computations (13.8% saved)

Details

analyze667.0ms (9%)

sample54.0ms (0.7%)

simplify260.0ms (3.5%)

prune4.0ms (0.1%)

localize17.0ms (0.2%)

rewrite37.0ms (0.5%)

series367.0ms (5%)

simplify91.0ms (1.2%)

prune128.0ms (1.7%)

localize14.0ms (0.2%)

rewrite36.0ms (0.5%)

series419.0ms (5.7%)

simplify91.0ms (1.2%)

prune125.0ms (1.7%)

localize13.0ms (0.2%)

rewrite47.0ms (0.6%)

series490.0ms (6.6%)

simplify106.0ms (1.4%)

prune144.0ms (1.9%)

localize16.0ms (0.2%)

rewrite64.0ms (0.9%)

series496.0ms (6.7%)

simplify91.0ms (1.2%)

prune132.0ms (1.8%)

regimes1.0s (14%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.4s (33%)

Profiling