Details

analyze1.3s (15.3%)

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
3.1%	96.7%	0.2%	7
6.2%	93.6%	0.2%	8
8.6%	91.2%	0.2%	9
28.1%	71.7%	0.2%	10
31%	68.8%	0.2%	11
40.5%	59.3%	0.2%	12
49.6%	50.2%	0.2%	13
59%	40.8%	0.2%	14

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample39.0ms (0.4%)

Algorithm

1×

intervals

Results

21.0ms	256×	body	128	valid
1.0ms	14×	body	128	invalid

Compiler

Compiled 35 to 31 computations (11.4% saved)

simplify268.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4892	25
1	4892	25

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 6.1b

Counts

2 → 1

Compiler

Compiled 34 to 26 computations (23.5% saved)

localize31.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))
0.0b	(-.f64 (*.f64 t z) x)
0.0b	(-.f64 (*.f64 y z) x)
10.0b	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))

rewrite86.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`*-un-lft-identity_binary64_17810`
25×	`times-frac_binary64_17816`
24×	`add-sqr-sqrt_binary64_17832` `add-cube-cbrt_binary64_17845`
10×	`distribute-lft-out_binary64_17761`
8×	`add-exp-log_binary64_17848` `add-log-exp_binary64_17849` `add-cbrt-cube_binary64_17846`
7×	`associate-/r_binary64_17754` `associate-/l_binary64_17755`
6×	`cancel-sign-sub-inv_binary64_17776`
4×	`associate-/r/_binary64_17756` `flip3--_binary64_17814` `flip--_binary64_17785` `associate-/l/_binary64_17757` `pow1_binary64_17871`
3×	`div-sub_binary64_17815`
2×	`clear-num_binary64_17809` `div-inv_binary64_17807` `flip-+_binary64_17784` `div-exp_binary64_17861` `flip3-+_binary64_17813` `cbrt-undiv_binary64_17844` `diff-log_binary64_17902` `frac-2neg_binary64_17821` `sub-neg_binary64_17803`
1×	`associate-+r-_binary64_17744`

Counts

4 → 101

Calls

4 calls:

32.0ms	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))
19.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))
8.0ms	(-.f64 (*.f64 y z) x)
8.0ms	(-.f64 (*.f64 t z) x)

series444.0ms (5.1%)

Counts

4 → 12

Calls

4 calls:

225.0ms	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))
138.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))
43.0ms	(-.f64 (*.f64 t z) x)
37.0ms	(-.f64 (*.f64 y z) x)

simplify121.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5151	2660

prune221.0ms (2.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	106	7	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	107	7	114

Merged error: 0.7b

Counts

114 → 7

Compiler

Compiled 2940 to 831 computations (71.7% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 z t) x)
0.0b	(-.f64 (*.f64 z t) x)
2.8b	(/.f64 x (-.f64 (*.f64 z t) x))
10.5b	(/.f64 (.f64 y z) (-.f64 (.f64 z t) x))

rewrite57.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_17832` `*-un-lft-identity_binary64_17810` `add-cube-cbrt_binary64_17845`
12×	`times-frac_binary64_17816`
11×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
8×	`add-log-exp_binary64_17849`
6×	`cancel-sign-sub-inv_binary64_17776` `associate-/r*_binary64_17754`
4×	`associate-/r/_binary64_17756` `flip3--_binary64_17814` `associate-/l*_binary64_17755` `flip--_binary64_17785` `pow1_binary64_17871`
3×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844`
2×	`clear-num_binary64_17809` `div-inv_binary64_17807` `diff-log_binary64_17902` `frac-2neg_binary64_17821` `sub-neg_binary64_17803`
1×	`cbrt-unprod_binary64_17843` `prod-exp_binary64_17859`

Counts

4 → 80

Calls

4 calls:

15.0ms	(/.f64 (.f64 y z) (-.f64 (.f64 z t) x))
12.0ms	(/.f64 x (-.f64 (*.f64 z t) x))
8.0ms	(-.f64 (*.f64 z t) x)
8.0ms	(-.f64 (*.f64 z t) x)

series261.0ms (3%)

Counts

4 → 12

Calls

4 calls:

93.0ms	(/.f64 (.f64 y z) (-.f64 (.f64 z t) x))
91.0ms	(/.f64 x (-.f64 (*.f64 z t) x))
40.0ms	(-.f64 (*.f64 z t) x)
38.0ms	(-.f64 (*.f64 z t) x)

simplify125.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4951	1194
1	4951	1194

prune176.0ms (2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	90	2	92
Fresh	4	2	6
Picked	1	0	1
Done	0	0	0
Total	95	4	99

Merged error: 0b

Counts

99 → 4

Compiler

Compiled 2642 to 703 computations (73.4% saved)

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 z t) x)
0.0b	(-.f64 (/.f64 y (-.f64 t (/.f64 x z))) (/.f64 x (-.f64 (*.f64 z t) x)))
2.8b	(/.f64 x (-.f64 (*.f64 z t) x))
2.9b	(/.f64 y (-.f64 t (/.f64 x z)))

rewrite119.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

63×	`add-sqr-sqrt_binary64_17832`
50×	`*-un-lft-identity_binary64_17810`
48×	`times-frac_binary64_17816`
31×	`add-cube-cbrt_binary64_17845`
18×	`cancel-sign-sub-inv_binary64_17776`
12×	`difference-of-squares_binary64_17779`
9×	`associate-/r*_binary64_17754`
8×	`add-exp-log_binary64_17848` `distribute-lft-out--_binary64_17762` `add-log-exp_binary64_17849` `add-cbrt-cube_binary64_17846`
6×	`associate-/r/_binary64_17756` `associate-/l*_binary64_17755`
5×	`flip3--_binary64_17814` `flip--_binary64_17785`
4×	`pow1_binary64_17871`
3×	`div-inv_binary64_17807`
2×	`clear-num_binary64_17809` `div-exp_binary64_17861` `cbrt-undiv_binary64_17844` `diff-log_binary64_17902` `frac-2neg_binary64_17821` `sub-neg_binary64_17803`
1×	`frac-sub_binary64_17819`

Counts

4 → 118

Calls

4 calls:

63.0ms	(-.f64 (/.f64 y (-.f64 t (/.f64 x z))) (/.f64 x (-.f64 (*.f64 z t) x)))
17.0ms	(/.f64 y (-.f64 t (/.f64 x z)))
11.0ms	(/.f64 x (-.f64 (*.f64 z t) x))
7.0ms	(-.f64 (*.f64 z t) x)

series306.0ms (3.5%)

Counts

4 → 12

Calls

4 calls:

124.0ms	(-.f64 (/.f64 y (-.f64 t (/.f64 x z))) (/.f64 x (-.f64 (*.f64 z t) x)))
94.0ms	(/.f64 x (-.f64 (*.f64 z t) x))
56.0ms	(/.f64 y (-.f64 t (/.f64 x z)))
33.0ms	(-.f64 (*.f64 z t) x)

simplify129.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5809	2428

prune209.0ms (2.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	130	4	134

Merged error: 0b

Counts

134 → 4

Compiler

Compiled 3680 to 953 computations (74.1% saved)

localize30.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 1 (/.f64 (-.f64 t (/.f64 x z)) y)) (/.f64 x (-.f64 (*.f64 z t) x)))
0.6b	(/.f64 1 (/.f64 (-.f64 t (/.f64 x z)) y))
2.8b	(/.f64 x (-.f64 (*.f64 z t) x))
2.9b	(/.f64 (-.f64 t (/.f64 x z)) y)

rewrite261.0ms (3%)

Algorithm

1×	rewrite-expression-head

Rules

209×	`times-frac_binary64_17816`
206×	`add-sqr-sqrt_binary64_17832`
136×	`*-un-lft-identity_binary64_17810`
93×	`add-cube-cbrt_binary64_17845`
42×	`difference-of-squares_binary64_17779`
28×	`associate-/r*_binary64_17754`
19×	`add-exp-log_binary64_17848` `distribute-lft-out--_binary64_17762`
15×	`cancel-sign-sub-inv_binary64_17776`
13×	`add-cbrt-cube_binary64_17846`
12×	`associate-/l*_binary64_17755`
9×	`div-inv_binary64_17807` `div-exp_binary64_17861`
6×	`add-log-exp_binary64_17849`
5×	`associate-/r/_binary64_17756` `cbrt-undiv_binary64_17844` `pow1_binary64_17871`
4×	`flip3--_binary64_17814` `flip--_binary64_17785`
3×	`clear-num_binary64_17809` `frac-2neg_binary64_17821`
2×	`1-exp_binary64_17854` `rec-exp_binary64_17860` `associate-/l/_binary64_17757`
1×	`inv-pow_binary64_17895` `div-sub_binary64_17815` `diff-log_binary64_17902` `frac-sub_binary64_17819` `pow-flip_binary64_17884` `sub-neg_binary64_17803`

Counts

4 → 223

Calls

4 calls:

140.0ms	(-.f64 (/.f64 1 (/.f64 (-.f64 t (/.f64 x z)) y)) (/.f64 x (-.f64 (*.f64 z t) x)))
26.0ms	(/.f64 1 (/.f64 (-.f64 t (/.f64 x z)) y))
21.0ms	(/.f64 (-.f64 t (/.f64 x z)) y)
11.0ms	(/.f64 x (-.f64 (*.f64 z t) x))

series586.0ms (6.7%)

Counts

4 → 12

Calls

4 calls:

287.0ms	(-.f64 (/.f64 1 (/.f64 (-.f64 t (/.f64 x z)) y)) (/.f64 x (-.f64 (*.f64 z t) x)))
139.0ms	(/.f64 1 (/.f64 (-.f64 t (/.f64 x z)) y))
97.0ms	(/.f64 x (-.f64 (*.f64 z t) x))
62.0ms	(/.f64 (-.f64 t (/.f64 x z)) y)

simplify173.0ms (2%)

Algorithm

1×	egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5101	5363

prune417.0ms (4.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	235	0	235
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	235	4	239

Merged error: 0b

Counts

239 → 4

Compiler

Compiled 7378 to 2035 computations (72.4% saved)

regimes700.0ms (8.1%)

Compiler: Compiled 5334 to 3107 computations (41.8% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	47	31
1	47	31

end0.0ms (0%)

sample2.5s (29.2%)

Algorithm

1×

intervals

Results

714.0ms	8000×	body	128	valid
29.0ms	339×	body	128	invalid

Compiler

Compiled 1108 to 649 computations (41.4% saved)

Details

analyze1.3s (15.3%)

sample39.0ms (0.4%)

simplify268.0ms (3.1%)

prune5.0ms (0.1%)

localize31.0ms (0.4%)

rewrite86.0ms (1%)

series444.0ms (5.1%)

simplify121.0ms (1.4%)

prune221.0ms (2.5%)

localize25.0ms (0.3%)

rewrite57.0ms (0.7%)

series261.0ms (3%)

simplify125.0ms (1.4%)

prune176.0ms (2%)

localize28.0ms (0.3%)

rewrite119.0ms (1.4%)

series306.0ms (3.5%)

simplify129.0ms (1.5%)

prune209.0ms (2.4%)

localize30.0ms (0.3%)

rewrite261.0ms (3%)

series586.0ms (6.7%)

simplify173.0ms (2%)

prune417.0ms (4.8%)

regimes700.0ms (8.1%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.5s (29.2%)

Profiling