Details

analyze1.1s (21.7%)

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%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
13.2%	86.5%	0.2%	11
16.8%	83%	0.2%	12
22.7%	77.1%	0.2%	13
24.1%	74.7%	1.3%	14

Compiler

Compiled 10 to 10 computations (0% saved)

sample35.0ms (0.7%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
4.0ms	104×	body	128	invalid

Compiler

Compiled 19 to 24 computations (-26.3% saved)

simplify200.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	680	13
1	680	13

prune2.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: 5.4b

Counts

2 → 1

Compiler

Compiled 18 to 18 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.0b	(*.f64 y (-.f64 z t))
6.7b	(/.f64 (*.f64 y (-.f64 z t)) a)

rewrite30.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_10208`
11×	`*-un-lft-identity_binary64_10187`
10×	`add-exp-log_binary64_10222` `add-cbrt-cube_binary64_10220`
7×	`add-cube-cbrt_binary64_10219`
5×	`associate-r_binary64_10129` `pow1_binary64_10245` `add-log-exp_binary64_10223`
4×	`associate-*r/_binary64_10131`
3×	`associate-l_binary64_10130` `sub-neg_binary64_10180` `flip--_binary64_10162` `associate-/r*_binary64_10133` `flip3--_binary64_10191` `times-frac_binary64_10193`
2×	`cbrt-undiv_binary64_10218` `associate-/l/_binary64_10136` `div-exp_binary64_10235` `prod-exp_binary64_10233` `distribute-lft-out--_binary64_10141` `cbrt-unprod_binary64_10217` `difference-of-squares_binary64_10156`
1×	`frac-2neg_binary64_10198` `pow-prod-down_binary64_10255` `associate-/l_binary64_10134` `-commutative_binary64_10120` `unswap-sqr_binary64_10155` `distribute-rgt-in_binary64_10139` `div-inv_binary64_10184` `distribute-lft-in_binary64_10138` `clear-num_binary64_10186` `diff-log_binary64_10276`

Counts

3 → 60

Calls

3 calls:

11.0ms	(*.f64 y (-.f64 z t))
9.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
6.0ms	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))

series286.0ms (5.4%)

Counts

3 → 9

Calls

3 calls:

114.0ms	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
110.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
63.0ms	(*.f64 y (-.f64 z t))

simplify76.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4967	891
1	4967	891

prune60.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	64	5	69
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	64	6	70

Merged error: 0.0b

Counts

70 → 6

Compiler

Compiled 1000 to 283 computations (71.7% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 (/.f64 y a) (-.f64 t z)))
8.4b	(*.f64 (/.f64 y a) (-.f64 t z))

rewrite19.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_10208`
13×	`associate-l_binary64_10130`
12×	`*-un-lft-identity_binary64_10187`
10×	`add-cube-cbrt_binary64_10219` `times-frac_binary64_10193`
7×	`add-exp-log_binary64_10222` `add-cbrt-cube_binary64_10220`
5×	`associate-r_binary64_10129`
4×	`sub-neg_binary64_10180` `pow1_binary64_10245` `add-log-exp_binary64_10223`
2×	`associate-*r/_binary64_10131` `flip--_binary64_10162` `frac-times_binary64_10197` `flip3--_binary64_10191` `unswap-sqr_binary64_10155` `distribute-rgt-in_binary64_10139` `prod-exp_binary64_10233` `cbrt-unprod_binary64_10217` `distribute-lft-in_binary64_10138` `associate-+r+_binary64_10121`
1×	`cbrt-undiv_binary64_10218` `+-commutative_binary64_10119` `flip3-+_binary64_10190` `pow-prod-down_binary64_10255` `sum-log_binary64_10275` `div-exp_binary64_10235` `-commutative_binary64_10120` `flip-+_binary64_10161` `distribute-lft-out--_binary64_10141` `div-inv_binary64_10184` `difference-of-squares_binary64_10156` `associate-l/_binary64_10132`

Counts

2 → 53

Calls

2 calls:

11.0ms	(*.f64 (/.f64 y a) (-.f64 t z))
4.0ms	(+.f64 x (*.f64 (/.f64 y a) (-.f64 t z)))

series238.0ms (4.5%)

Counts

2 → 6

Calls

2 calls:

124.0ms	(*.f64 (/.f64 y a) (-.f64 t z))
114.0ms	(+.f64 x (*.f64 (/.f64 y a) (-.f64 t z)))

simplify64.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5009	866

prune42.0ms (0.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	58	1	59
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	58	7	65

Merged error: 0b

Counts

65 → 7

Compiler

Compiled 948 to 266 computations (71.9% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))
0.0b	(/.f64 a (-.f64 z t))
5.3b	(/.f64 y (/.f64 a (-.f64 z t)))

rewrite63.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

141×	`times-frac_binary64_10193`
112×	`add-sqr-sqrt_binary64_10208`
105×	`*-un-lft-identity_binary64_10187`
71×	`add-cube-cbrt_binary64_10219`
26×	`associate-/r*_binary64_10133`
19×	`difference-of-squares_binary64_10156`
17×	`distribute-lft-out--_binary64_10141`
11×	`associate-/r/_binary64_10135`
10×	`add-exp-log_binary64_10222` `add-cbrt-cube_binary64_10220`
6×	`flip--_binary64_10162` `associate-/l*_binary64_10134` `flip3--_binary64_10191` `div-inv_binary64_10184`
5×	`add-log-exp_binary64_10223`
4×	`cbrt-undiv_binary64_10218` `div-exp_binary64_10235`
3×	`pow1_binary64_10245`
2×	`frac-2neg_binary64_10198` `clear-num_binary64_10186`
1×	`sub-neg_binary64_10180` `diff-log_binary64_10276`

Counts

3 → 154

Calls

3 calls:

30.0ms	(-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))
10.0ms	(/.f64 y (/.f64 a (-.f64 z t)))
6.0ms	(/.f64 a (-.f64 z t))

series301.0ms (5.7%)

Counts

3 → 9

Calls

3 calls:

135.0ms	(/.f64 y (/.f64 a (-.f64 z t)))
103.0ms	(-.f64 x (/.f64 y (/.f64 a (-.f64 z t))))
62.0ms	(/.f64 a (-.f64 z t))

simplify94.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5235	3249

prune120.0ms (2.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	161	2	163
Fresh	2	2	4
Picked	0	1	1
Done	1	1	2
Total	164	6	170

Merged error: 0b

Counts

170 → 6

Compiler

Compiled 2915 to 614 computations (78.9% saved)

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t))))
0.0b	(/.f64 1 (-.f64 z t))
8.5b	(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))

rewrite180.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Rules

709×	`times-frac_binary64_10193`
410×	`add-sqr-sqrt_binary64_10208`
389×	`*-un-lft-identity_binary64_10187`
293×	`add-cube-cbrt_binary64_10219`
53×	`difference-of-squares_binary64_10156`
47×	`distribute-lft-out--_binary64_10141`
38×	`div-inv_binary64_10184`
31×	`associate-/r/_binary64_10135`
29×	`add-exp-log_binary64_10222`
26×	`associate-/r*_binary64_10133`
18×	`div-exp_binary64_10235`
17×	`add-cbrt-cube_binary64_10220`
16×	`flip--_binary64_10162` `associate-/l*_binary64_10134` `flip3--_binary64_10191`
9×	`cbrt-undiv_binary64_10218`
5×	`add-log-exp_binary64_10223`
4×	`pow1_binary64_10245`
3×	`rec-exp_binary64_10234` `1-exp_binary64_10228`
2×	`frac-2neg_binary64_10198` `clear-num_binary64_10186`
1×	`inv-pow_binary64_10269` `pow-flip_binary64_10258` `sub-neg_binary64_10180` `associate-/l/_binary64_10136` `diff-log_binary64_10276`

Counts

3 → 391

Calls

3 calls:

90.0ms	(-.f64 x (/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t))))
19.0ms	(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))
6.0ms	(/.f64 1 (-.f64 z t))

series283.0ms (5.3%)

Counts

3 → 9

Calls

3 calls:

125.0ms	(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))
117.0ms	(-.f64 x (/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t))))
41.0ms	(/.f64 1 (-.f64 z t))

simplify152.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

400 → 400

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5054	10786

prune323.0ms (6.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	400	0	400
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	400	6	406

Merged error: 0b

Counts

406 → 6

Compiler

Compiled 8560 to 2220 computations (74.1% saved)

regimes454.0ms (8.6%)

Compiler: Compiled 2462 to 2100 computations (14.7% saved)

bsearch2.0ms (0%)

Compiler: Compiled 5 to 7 computations (-40% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	187	52
1	187	52

end0.0ms (0%)

sample1.1s (20.5%)

Algorithm

1×

intervals

Results

282.0ms	8000×	body	128	valid
104.0ms	2609×	body	128	invalid

Compiler

Compiled 306 to 243 computations (20.6% saved)

Details

analyze1.1s (21.7%)

sample35.0ms (0.7%)

simplify200.0ms (3.8%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite30.0ms (0.6%)

series286.0ms (5.4%)

simplify76.0ms (1.4%)

prune60.0ms (1.1%)

localize8.0ms (0.1%)

rewrite19.0ms (0.4%)

series238.0ms (4.5%)

simplify64.0ms (1.2%)

prune42.0ms (0.8%)

localize8.0ms (0.1%)

rewrite63.0ms (1.2%)

series301.0ms (5.7%)

simplify94.0ms (1.8%)

prune120.0ms (2.3%)

localize12.0ms (0.2%)

rewrite180.0ms (3.4%)

series283.0ms (5.3%)

simplify152.0ms (2.9%)

prune323.0ms (6.1%)

regimes454.0ms (8.6%)

bsearch2.0ms (0%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample1.1s (20.5%)

Profiling