Details

analyze1.8s (20.1%)

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)

sample49.0ms (0.5%)

Algorithm

1×

intervals

Results

19.0ms	256×	body	128	valid
7.0ms	130×	body	128	invalid

Compiler

Compiled 35 to 42 computations (-20% saved)

simplify220.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.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)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite44.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-log-exp_binary64_6516`
13×	`*-un-lft-identity_binary64_6480`
9×	`add-exp-log_binary64_6515` `add-cbrt-cube_binary64_6513`
8×	`add-sqr-sqrt_binary64_6501`
6×	`add-cube-cbrt_binary64_6512` `sum-log_binary64_6568`
4×	`pow1_binary64_6538` `diff-log_binary64_6569`
3×	`flip3-+_binary64_6483` `associate-/r*_binary64_6426` `flip-+_binary64_6454` `times-frac_binary64_6486`
2×	`cbrt-undiv_binary64_6511` `associate-+l+_binary64_6415` `div-exp_binary64_6528` `associate--l+_binary64_6419` `distribute-lft-out_binary64_6433` `+-commutative_binary64_6412` `frac-sub_binary64_6489` `distribute-lft-out--_binary64_6434` `sub-neg_binary64_6473`
1×	`div-inv_binary64_6477` `clear-num_binary64_6479` `associate-/l*_binary64_6427` `prod-exp_binary64_6526` `frac-2neg_binary64_6491` `associate-+l-_binary64_6417` `flip--_binary64_6455` `cbrt-unprod_binary64_6510` `flip3--_binary64_6484` `difference-of-squares_binary64_6449`

Counts

4 → 67

Calls

4 calls:

15.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)

series614.0ms (6.8%)

Counts

4 → 12

Calls

4 calls:

308.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
182.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
93.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
30.0ms	(/.f64 (*.f64 z t) 16)

simplify76.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4967	1747
1	4967	1747

prune96.0ms (1.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	76	3	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	77	3	80

Merged error: 0.0b

Counts

80 → 3

Compiler

Compiled 1942 to 930 computations (52.1% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite39.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-log-exp_binary64_6516`
13×	`*-un-lft-identity_binary64_6480`
9×	`add-exp-log_binary64_6515` `add-cbrt-cube_binary64_6513`
8×	`add-sqr-sqrt_binary64_6501`
6×	`add-cube-cbrt_binary64_6512` `sum-log_binary64_6568`
4×	`pow1_binary64_6538` `diff-log_binary64_6569`
3×	`flip3-+_binary64_6483` `associate-/r*_binary64_6426` `flip-+_binary64_6454` `times-frac_binary64_6486`
2×	`cbrt-undiv_binary64_6511` `associate-+l+_binary64_6415` `div-exp_binary64_6528` `associate--l+_binary64_6419` `distribute-lft-out_binary64_6433` `+-commutative_binary64_6412` `frac-sub_binary64_6489` `distribute-lft-out--_binary64_6434` `sub-neg_binary64_6473`
1×	`div-inv_binary64_6477` `clear-num_binary64_6479` `associate-/l*_binary64_6427` `prod-exp_binary64_6526` `frac-2neg_binary64_6491` `associate-+l-_binary64_6417` `flip--_binary64_6455` `cbrt-unprod_binary64_6510` `flip3--_binary64_6484` `difference-of-squares_binary64_6449`

Counts

4 → 67

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 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4))
5.0ms	(/.f64 (*.f64 a b) 4)
5.0ms	(+.f64 (.f64 x y) (.f64 z (/.f64 t 16)))

series620.0ms (6.9%)

Counts

4 → 12

Calls

4 calls:

303.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) c)
188.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4))
96.0ms	(+.f64 (.f64 x y) (.f64 z (/.f64 t 16)))
32.0ms	(/.f64 (*.f64 a b) 4)

simplify78.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4984	1748
1	4984	1748

prune86.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	79	3	82

Merged error: 0.0b

Counts

82 → 3

Compiler

Compiled 1926 to 1013 computations (47.4% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite78.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`times-frac_binary64_6486`
53×	`*-un-lft-identity_binary64_6480`
48×	`add-sqr-sqrt_binary64_6501`
46×	`add-cube-cbrt_binary64_6512`
20×	`add-log-exp_binary64_6516`
13×	`associate-/r*_binary64_6426`
9×	`add-exp-log_binary64_6515` `add-cbrt-cube_binary64_6513`
6×	`sum-log_binary64_6568`
5×	`div-inv_binary64_6477`
4×	`pow1_binary64_6538` `diff-log_binary64_6569`
3×	`flip3-+_binary64_6483` `cbrt-undiv_binary64_6511` `associate-/l*_binary64_6427` `div-exp_binary64_6528` `flip-+_binary64_6454`
2×	`associate-+l+_binary64_6415` `associate--l+_binary64_6419` `distribute-lft-out_binary64_6433` `+-commutative_binary64_6412` `frac-sub_binary64_6489` `distribute-lft-out--_binary64_6434` `sub-neg_binary64_6473`
1×	`clear-num_binary64_6479` `frac-2neg_binary64_6491` `associate-/r/_binary64_6428` `associate-+l-_binary64_6417` `flip--_binary64_6455` `flip3--_binary64_6484` `difference-of-squares_binary64_6449`

Counts

4 → 116

Calls

4 calls:

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

series614.0ms (6.8%)

Counts

4 → 12

Calls

4 calls:

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

simplify76.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5018	2691

prune141.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	128	3	131

Merged error: 0.0b

Counts

131 → 3

Compiler

Compiled 3201 to 1604 computations (49.9% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.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.6b	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))
0.6b	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))
0.6b	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))

rewrite98.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`cbrt-div_binary64_6509`
43×	`cbrt-prod_binary64_6508`
37×	`add-sqr-sqrt_binary64_6501`
35×	`*-un-lft-identity_binary64_6480`
26×	`frac-sub_binary64_6489`
16×	`frac-times_binary64_6490`
15×	`add-cube-cbrt_binary64_6512`
13×	`flip3-+_binary64_6483` `flip--_binary64_6455` `flip3--_binary64_6484` `flip-+_binary64_6454`
11×	`pow1_binary64_6538`
10×	`swap-sqr_binary64_6447`
9×	`distribute-lft-out--_binary64_6434` `pow1/3_binary64_6559`
8×	`associate-r_binary64_6422` `associate-l_binary64_6423`
7×	`difference-of-squares_binary64_6449`
6×	`add-exp-log_binary64_6515`
4×	`unswap-sqr_binary64_6448` `associate-r/_binary64_6424` `associate-l/_binary64_6425` `add-log-exp_binary64_6516` `add-cbrt-cube_binary64_6513`
2×	`pow-prod-up_binary64_6547` `pow-prod-down_binary64_6548` `pow-sqr_binary64_6453`
1×	`prod-exp_binary64_6526` `pow-plus_binary64_6540` `cbrt-unprod_binary64_6510` `pow2_binary64_6558` `*-commutative_binary64_6413`

Counts

4 → 123

Calls

4 calls:

36.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))))
12.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 (23.2%)

Counts

4 → 12

Calls

4 calls:

784.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))))
440.0ms	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))
433.0ms	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))
422.0ms	(cbrt.f64 (-.f64 (+.f64 (/.f64 (.f64 z t) 16) (.f64 x y)) (/.f64 (*.f64 a b) 4)))

simplify109.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4939	7439
1	4939	7439

prune432.0ms (4.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	134	1	135
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	135	3	138

Merged error: 0.0b

Counts

138 → 3

Compiler

Compiled 9432 to 4601 computations (51.2% saved)

regimes156.0ms (1.7%)

Compiler: Compiled 916 to 942 computations (-2.8% saved)

bsearch0.0ms (0%)

simplify4.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.4s (15.6%)

Algorithm

1×

intervals

Results

478.0ms	8000×	body	128	valid
239.0ms	4057×	body	128	invalid

Compiler

Compiled 107 to 105 computations (1.9% saved)

Details

analyze1.8s (20.1%)

sample49.0ms (0.5%)

simplify220.0ms (2.5%)

prune3.0ms (0%)

localize14.0ms (0.2%)

rewrite44.0ms (0.5%)

series614.0ms (6.8%)

simplify76.0ms (0.8%)

prune96.0ms (1.1%)

localize14.0ms (0.2%)

rewrite39.0ms (0.4%)

series620.0ms (6.9%)

simplify78.0ms (0.9%)

prune86.0ms (1%)

localize14.0ms (0.2%)

rewrite78.0ms (0.9%)

series614.0ms (6.8%)

simplify76.0ms (0.8%)

prune141.0ms (1.6%)

localize19.0ms (0.2%)

rewrite98.0ms (1.1%)

series2.1s (23.2%)

simplify109.0ms (1.2%)

prune432.0ms (4.8%)

regimes156.0ms (1.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.4s (15.6%)

Profiling