Details

analyze1.7s (17.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.2%	98.5%	0.3%	13
1.8%	97.9%	0.3%	14

Compiler

Compiled 18 to 18 computations (0% saved)

sample44.0ms (0.5%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
7.0ms	137×	body	128	invalid

Compiler

Compiled 35 to 42 computations (-20% saved)

simplify222.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	868	25
1	868	25

prune3.0ms (0%)

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: 0.3b

Counts

2 → 1

Compiler

Compiled 34 to 34 computations (0% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.2b	(/.f64 (*.f64 z t) 16)

rewrite43.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-log-exp_binary64_5168`
13×	`*-un-lft-identity_binary64_5132`
9×	`add-cbrt-cube_binary64_5165` `add-exp-log_binary64_5167`
8×	`add-sqr-sqrt_binary64_5153`
6×	`add-cube-cbrt_binary64_5164` `sum-log_binary64_5220`
4×	`pow1_binary64_5190` `diff-log_binary64_5221`
3×	`flip3-+_binary64_5135` `times-frac_binary64_5138` `flip-+_binary64_5106` `associate-/r*_binary64_5078`
2×	`associate-+l+_binary64_5067` `sub-neg_binary64_5125` `cbrt-undiv_binary64_5163` `distribute-lft-out_binary64_5085` `+-commutative_binary64_5064` `distribute-lft-out--_binary64_5086` `div-exp_binary64_5180` `frac-sub_binary64_5141` `associate--l+_binary64_5071`
1×	`flip3--_binary64_5136` `associate-+l-_binary64_5069` `associate-/l*_binary64_5079` `prod-exp_binary64_5178` `frac-2neg_binary64_5143` `flip--_binary64_5107` `difference-of-squares_binary64_5101` `cbrt-unprod_binary64_5162` `clear-num_binary64_5131` `div-inv_binary64_5129`

Counts

4 → 67

Calls

4 calls:

14.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
12.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
6.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
5.0ms	(/.f64 (*.f64 z t) 16)

series605.0ms (6.2%)

Counts

4 → 12

Calls

4 calls:

299.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
181.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
92.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
31.0ms	(/.f64 (*.f64 z t) 16)

simplify73.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4967	1747
1	4967	1747

prune99.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	73	6	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	6	80

Merged error: 0.0b

Counts

80 → 6

Compiler

Compiled 2018 to 997 computations (50.6% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 z (/.f64 t 16))
0.0b	(-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) c)
0.0b	(+.f64 (.f64 x y) (.f64 z (/.f64 t 16)))

rewrite44.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-log-exp_binary64_5168`
19×	`add-sqr-sqrt_binary64_5153` `*-un-lft-identity_binary64_5132`
13×	`associate-r_binary64_5074`
12×	`add-cube-cbrt_binary64_5164`
10×	`times-frac_binary64_5138`
9×	`add-cbrt-cube_binary64_5165` `add-exp-log_binary64_5167`
6×	`pow1_binary64_5190` `sum-log_binary64_5220`
4×	`diff-log_binary64_5221`
3×	`associate-l_binary64_5075` `flip3-+_binary64_5135` `flip-+_binary64_5106`
2×	`associate-+l+_binary64_5067` `sub-neg_binary64_5125` `unswap-sqr_binary64_5100` `prod-exp_binary64_5178` `distribute-lft-out_binary64_5085` `+-commutative_binary64_5064` `distribute-lft-out--_binary64_5086` `frac-sub_binary64_5141` `cbrt-unprod_binary64_5162` `associate--l+_binary64_5071`
1×	`flip3--_binary64_5136` `associate-+l-_binary64_5069` `cbrt-undiv_binary64_5163` `-commutative_binary64_5065` `associate-r/_binary64_5076` `div-exp_binary64_5180` `flip--_binary64_5107` `difference-of-squares_binary64_5101` `pow-prod-down_binary64_5200` `div-inv_binary64_5129`

Counts

4 → 78

Calls

4 calls:

13.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) c)
10.0ms	(*.f64 z (/.f64 t 16))
9.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4))
5.0ms	(+.f64 (.f64 x y) (.f64 z (/.f64 t 16)))

series584.0ms (6%)

Counts

4 → 12

Calls

4 calls:

297.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) c)
175.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4))
84.0ms	(+.f64 (.f64 x y) (.f64 z (/.f64 t 16)))
28.0ms	(*.f64 z (/.f64 t 16))

simplify60.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5095	1877

prune102.0ms (1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	90	6	96

Merged error: 0.0b

Counts

96 → 6

Compiler

Compiled 2283 to 1210 computations (47% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 1 (/.f64 16 (.f64 z t)))) (/.f64 (*.f64 a b) 4)) c)
0.0b	(+.f64 (.f64 x y) (/.f64 1 (/.f64 16 (.f64 z t))))
0.4b	(/.f64 16 (*.f64 z t))
0.9b	(/.f64 1 (/.f64 16 (*.f64 z t)))

rewrite56.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`times-frac_binary64_5138`
30×	`add-exp-log_binary64_5167`
27×	`*-un-lft-identity_binary64_5132`
22×	`add-cube-cbrt_binary64_5164` `add-sqr-sqrt_binary64_5153`
18×	`add-cbrt-cube_binary64_5165`
15×	`add-log-exp_binary64_5168`
14×	`div-exp_binary64_5180`
8×	`associate-/r*_binary64_5078`
7×	`cbrt-undiv_binary64_5163`
6×	`associate-/l*_binary64_5079` `div-inv_binary64_5129`
5×	`pow1_binary64_5190` `sum-log_binary64_5220`
4×	`prod-exp_binary64_5178`
3×	`rec-exp_binary64_5179` `1-exp_binary64_5173`
2×	`associate-+l+_binary64_5067` `flip3-+_binary64_5135` `frac-2neg_binary64_5143` `distribute-lft-out_binary64_5085` `+-commutative_binary64_5064` `diff-log_binary64_5221` `flip-+_binary64_5106` `cbrt-unprod_binary64_5162` `clear-num_binary64_5131`
1×	`sub-neg_binary64_5125` `associate-/r/_binary64_5080` `associate-+l-_binary64_5069` `distribute-lft-out--_binary64_5086` `pow-flip_binary64_5203` `inv-pow_binary64_5214` `associate--l+_binary64_5071`

Counts

4 → 106

Calls

4 calls:

19.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 1 (/.f64 16 (.f64 z t)))) (/.f64 (*.f64 a b) 4)) c)
13.0ms	(+.f64 (.f64 x y) (/.f64 1 (/.f64 16 (.f64 z t))))
7.0ms	(/.f64 1 (/.f64 16 (*.f64 z t)))
5.0ms	(/.f64 16 (*.f64 z t))

series440.0ms (4.5%)

Counts

4 → 12

Calls

4 calls:

292.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 1 (/.f64 16 (.f64 z t)))) (/.f64 (*.f64 a b) 4)) c)
93.0ms	(+.f64 (.f64 x y) (/.f64 1 (/.f64 16 (.f64 z t))))
31.0ms	(/.f64 1 (/.f64 16 (*.f64 z t)))
24.0ms	(/.f64 16 (*.f64 z t))

simplify59.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4999	1774
1	4999	1774

prune126.0ms (1.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	118	6	124

Merged error: 0.0b

Counts

124 → 6

Compiler

Compiled 2801 to 1470 computations (47.5% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(.f64 (cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (.f64 a b) 4))) (cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4))))
0.9b	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))
0.9b	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))
0.9b	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))

rewrite93.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`cbrt-div_binary64_5161`
43×	`cbrt-prod_binary64_5160`
37×	`add-sqr-sqrt_binary64_5153`
35×	`*-un-lft-identity_binary64_5132`
26×	`frac-sub_binary64_5141`
16×	`frac-times_binary64_5142`
15×	`add-cube-cbrt_binary64_5164`
13×	`flip3--_binary64_5136` `flip3-+_binary64_5135` `flip--_binary64_5107` `flip-+_binary64_5106`
11×	`pow1_binary64_5190`
10×	`swap-sqr_binary64_5099`
9×	`distribute-lft-out--_binary64_5086` `pow1/3_binary64_5211`
8×	`associate-l_binary64_5075` `associate-r_binary64_5074`
7×	`difference-of-squares_binary64_5101`
6×	`add-exp-log_binary64_5167`
4×	`add-cbrt-cube_binary64_5165` `add-log-exp_binary64_5168` `unswap-sqr_binary64_5100` `associate-l/_binary64_5077` `associate-r/_binary64_5076`
2×	`pow-prod-up_binary64_5199` `pow-prod-down_binary64_5200` `pow-sqr_binary64_5105`
1×	`*-commutative_binary64_5065` `prod-exp_binary64_5178` `pow-plus_binary64_5192` `cbrt-unprod_binary64_5162` `pow2_binary64_5210`

Counts

4 → 123

Calls

4 calls:

30.0ms	(.f64 (cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (.f64 a b) 4))) (cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4))))
13.0ms	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))
11.0ms	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))
11.0ms	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))

series2.1s (21.8%)

Counts

4 → 12

Calls

4 calls:

822.0ms	(.f64 (cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (.f64 a b) 4))) (cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4))))
443.0ms	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))
428.0ms	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))
428.0ms	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))

simplify97.0ms (1%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4939	7439
1	4939	7439

prune418.0ms (4.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	133	2	135
Fresh	1	2	3
Picked	1	0	1
Done	1	1	2
Total	136	5	141

Merged error: 0.0b

Counts

141 → 5

Compiler

Compiled 9432 to 4601 computations (51.2% saved)

regimes869.0ms (8.9%)

Compiler: Compiled 12569 to 9355 computations (25.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	56	25
1	56	25

end0.0ms (0%)

sample1.8s (18.1%)

Algorithm

1×

intervals

Results

457.0ms	8000×	body	128	valid
201.0ms	3849×	body	128	invalid

Compiler

Compiled 768 to 575 computations (25.1% saved)

Details

analyze1.7s (17.9%)

sample44.0ms (0.5%)

simplify222.0ms (2.3%)

prune3.0ms (0%)

localize13.0ms (0.1%)

rewrite43.0ms (0.4%)

series605.0ms (6.2%)

simplify73.0ms (0.7%)

prune99.0ms (1%)

localize13.0ms (0.1%)

rewrite44.0ms (0.5%)

series584.0ms (6%)

simplify60.0ms (0.6%)

prune102.0ms (1%)

localize14.0ms (0.1%)

rewrite56.0ms (0.6%)

series440.0ms (4.5%)

simplify59.0ms (0.6%)

prune126.0ms (1.3%)

localize18.0ms (0.2%)

rewrite93.0ms (1%)

series2.1s (21.8%)

simplify97.0ms (1%)

prune418.0ms (4.3%)

regimes869.0ms (8.9%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.8s (18.1%)

Profiling