Details

analyze1.6s (9.4%)

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
15.6%	84.2%	0.2%	8
15.6%	84.2%	0.2%	9
20.3%	79.5%	0.2%	10
25.3%	74.5%	0.2%	11
34.2%	65.6%	0.2%	12
37.4%	62%	0.6%	13
41.7%	57.7%	0.6%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample56.0ms (0.3%)

Algorithm

1×

intervals

Results

20.0ms	256×	body	128	valid
9.0ms	110×	body	128	invalid

Compiler

Compiled 31 to 31 computations (0% saved)

simplify865.0ms (5.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (701.0ms)

Iter	Nodes	Cost
0	4800	16
1	4800	16

prune8.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

Error

0.1b

Counts

2 → 2

Compiler

Compiled 37 to 33 computations (10.8% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))
0.0b	(-.f64 y (/.f64 t y))
0.3b	(/.f64 -1/3 z)
2.4b	(*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)))

rewrite396.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

70×	`add-sqr-sqrt_binary64_16468`
66×	`times-frac_binary64_16452`
65×	`cancel-sign-sub-inv_binary64_16412`
59×	`*-un-lft-identity_binary64_16446`
55×	`add-cube-cbrt_binary64_16481`
28×	`distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395` `associate-+r+_binary64_16378`
13×	`associate-l_binary64_16387`
11×	`add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482`
8×	`add-log-exp_binary64_16485`
7×	`div-inv_binary64_16443`
6×	`pow1_binary64_16507` `associate-r_binary64_16386`
5×	`sub-neg_binary64_16439`
4×	`difference-of-squares_binary64_16415`
3×	`flip3--_binary64_16450` `flip--_binary64_16421` `associate-/l_binary64_16391` `associate-/r_binary64_16390`
2×	`div-exp_binary64_16497` `prod-exp_binary64_16495` `cbrt-unprod_binary64_16479` `cbrt-undiv_binary64_16480` `frac-times_binary64_16456` `unswap-sqr_binary64_16414` `associate-*r/_binary64_16388` `distribute-lft-out--_binary64_16398`
1×	`pow-prod-down_binary64_16517` `associate-l/_binary64_16389` `-commutative_binary64_16377` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `diff-log_binary64_16538` `sum-log_binary64_16537` `flip3-+_binary64_16449` `flip-+_binary64_16420` `+-commutative_binary64_16376`

Counts

4 → 160

Calls

4 calls:

31.0ms	(*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)))
16.0ms	(-.f64 y (/.f64 t y))
15.0ms	(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))
6.0ms	(/.f64 -1/3 z)

Compiler

Compiled 3312 to 1436 computations (56.6% saved)

series1.3s (7.5%)

Error

0.0b

Counts

4 → 57

Calls

4 calls:

631.0ms	(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))
396.0ms	(*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)))
145.0ms	(-.f64 y (/.f64 t y))
32.0ms	(/.f64 -1/3 z)

Compiler

Compiled 1606 to 1192 computations (25.8% saved)

simplify179.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (118.0ms)

Iter	Nodes	Cost
0	4967	2901
1	4967	2901

prune320.0ms (1.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	210	7	217
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	211	8	219

Error

Counts

219 → 8

Compiler

Compiled 3561 to 1491 computations (58.1% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 -1/3 (-.f64 y (/.f64 t y))) z))
0.0b	(-.f64 y (/.f64 t y))
0.3b	(*.f64 -1/3 (-.f64 y (/.f64 t y)))
2.4b	(/.f64 (*.f64 -1/3 (-.f64 y (/.f64 t y))) z)

rewrite286.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

41×	`add-sqr-sqrt_binary64_16468`
39×	`cancel-sign-sub-inv_binary64_16412`
35×	`*-un-lft-identity_binary64_16446`
32×	`times-frac_binary64_16452`
29×	`add-cube-cbrt_binary64_16481`
14×	`distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395`
11×	`add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482`
8×	`add-log-exp_binary64_16485`
6×	`pow1_binary64_16507` `associate-r_binary64_16386`
4×	`div-inv_binary64_16443` `associate-*r/_binary64_16388` `difference-of-squares_binary64_16415`
3×	`flip3--_binary64_16450` `flip--_binary64_16421` `associate-/r_binary64_16390` `sub-neg_binary64_16439` `associate-l*_binary64_16387`
2×	`prod-exp_binary64_16495` `div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `cbrt-unprod_binary64_16479` `associate-/l/_binary64_16393` `distribute-lft-out--_binary64_16398`
1×	`frac-2neg_binary64_16457` `clear-num_binary64_16445` `associate-/l_binary64_16391` `pow-prod-down_binary64_16517` `unswap-sqr_binary64_16414` `-commutative_binary64_16377` `diff-log_binary64_16538` `sum-log_binary64_16537` `flip3-+_binary64_16449` `flip-+_binary64_16420` `distribute-lft-out_binary64_16397` `+-commutative_binary64_16376`

Counts

4 → 113

Calls

4 calls:

25.0ms	(/.f64 (*.f64 -1/3 (-.f64 y (/.f64 t y))) z)
24.0ms	(*.f64 -1/3 (-.f64 y (/.f64 t y)))
16.0ms	(-.f64 y (/.f64 t y))
10.0ms	(+.f64 x (/.f64 (*.f64 -1/3 (-.f64 y (/.f64 t y))) z))

Compiler

Compiled 2249 to 933 computations (58.5% saved)

series1.4s (8.2%)

Error

Counts

4 → 66

Calls

4 calls:

661.0ms	(+.f64 x (/.f64 (*.f64 -1/3 (-.f64 y (/.f64 t y))) z))
368.0ms	(/.f64 (*.f64 -1/3 (-.f64 y (/.f64 t y))) z)
160.0ms	(*.f64 -1/3 (-.f64 y (/.f64 t y)))
130.0ms	(-.f64 y (/.f64 t y))

Compiler

Compiled 1837 to 1381 computations (24.8% saved)

simplify128.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	5003	2283

prune231.0ms (1.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	179	0	179
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	179	8	187

Error

Counts

187 → 8

Compiler

Compiled 2557 to 1066 computations (58.3% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (.f64 (.f64 -1/3 (/.f64 1 z)) (-.f64 y (/.f64 t y))))
0.0b	(-.f64 y (/.f64 t y))
0.4b	(*.f64 -1/3 (/.f64 1 z))
2.4b	(.f64 (.f64 -1/3 (/.f64 1 z)) (-.f64 y (/.f64 t y)))

rewrite405.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

65×	`add-sqr-sqrt_binary64_16468` `cancel-sign-sub-inv_binary64_16412`
58×	`times-frac_binary64_16452`
53×	`*-un-lft-identity_binary64_16446`
48×	`add-cube-cbrt_binary64_16481`
28×	`add-exp-log_binary64_16484` `distribute-rgt-in_binary64_16396` `distribute-lft-in_binary64_16395` `associate-+r+_binary64_16378`
19×	`associate-r_binary64_16386`
18×	`add-cbrt-cube_binary64_16482`
13×	`prod-exp_binary64_16495`
11×	`pow1_binary64_16507`
8×	`add-log-exp_binary64_16485`
7×	`cbrt-unprod_binary64_16479`
6×	`associate-*r/_binary64_16388` `div-inv_binary64_16443`
5×	`sub-neg_binary64_16439`
4×	`pow-prod-down_binary64_16517` `div-exp_binary64_16497` `flip3--_binary64_16450` `un-div-inv_binary64_16444` `frac-times_binary64_16456` `flip--_binary64_16421` `associate-l_binary64_16387` `difference-of-squares_binary64_16415`
3×	`unswap-sqr_binary64_16414`
2×	`1-exp_binary64_16490` `rec-exp_binary64_16496` `cbrt-undiv_binary64_16480` `associate-l/_binary64_16389` `distribute-lft-out--_binary64_16398` `-commutative_binary64_16377`
1×	`diff-log_binary64_16538` `sum-log_binary64_16537` `flip3-+_binary64_16449` `flip-+_binary64_16420` `+-commutative_binary64_16376`

Counts

4 → 163

Calls

4 calls:

36.0ms	(.f64 (.f64 -1/3 (/.f64 1 z)) (-.f64 y (/.f64 t y)))
16.0ms	(+.f64 x (.f64 (.f64 -1/3 (/.f64 1 z)) (-.f64 y (/.f64 t y))))
16.0ms	(-.f64 y (/.f64 t y))
16.0ms	(*.f64 -1/3 (/.f64 1 z))

Compiler

Compiled 3829 to 1926 computations (49.7% saved)

series1.2s (7.2%)

Error

Counts

4 → 57

Calls

4 calls:

621.0ms	(+.f64 x (.f64 (.f64 -1/3 (/.f64 1 z)) (-.f64 y (/.f64 t y))))
376.0ms	(.f64 (.f64 -1/3 (/.f64 1 z)) (-.f64 y (/.f64 t y)))
138.0ms	(-.f64 y (/.f64 t y))
33.0ms	(*.f64 -1/3 (/.f64 1 z))

Compiler

Compiled 1666 to 1252 computations (24.8% saved)

simplify179.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (115.0ms)

Iter	Nodes	Cost
0	4969	2821
1	4969	2821

prune313.0ms (1.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	220	0	220
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	220	8	228

Error

Counts

228 → 8

Compiler

Compiled 3687 to 1615 computations (56.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (*.f64 -1/3 (/.f64 (-.f64 y (/.f64 t y)) z)))
0.0b	(-.f64 y (/.f64 t y))
0.6b	(*.f64 -1/3 (/.f64 (-.f64 y (/.f64 t y)) z))
2.2b	(/.f64 (-.f64 y (/.f64 t y)) z)

rewrite274.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

78×	`add-sqr-sqrt_binary64_16468`
54×	`times-frac_binary64_16452`
49×	`*-un-lft-identity_binary64_16446`
33×	`add-cube-cbrt_binary64_16481`
22×	`associate-r_binary64_16386`
16×	`difference-of-squares_binary64_16415`
13×	`cancel-sign-sub-inv_binary64_16412`
11×	`add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482`
8×	`add-log-exp_binary64_16485` `distribute-lft-out--_binary64_16398`
6×	`pow1_binary64_16507` `associate-/l*_binary64_16391`
3×	`div-inv_binary64_16443` `associate-/r_binary64_16390` `associate-l*_binary64_16387`
2×	`div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `flip3--_binary64_16450` `associate-/l/_binary64_16393` `flip--_binary64_16421` `prod-exp_binary64_16495` `cbrt-unprod_binary64_16479` `unswap-sqr_binary64_16414`
1×	`frac-2neg_binary64_16457` `div-sub_binary64_16451` `clear-num_binary64_16445` `pow-prod-down_binary64_16517` `associate-r/_binary64_16388` `-commutative_binary64_16377` `diff-log_binary64_16538` `sub-neg_binary64_16439` `sum-log_binary64_16537` `flip3-+_binary64_16449` `flip-+_binary64_16420` `+-commutative_binary64_16376`

Counts

4 → 121

Calls

4 calls:

30.0ms	(*.f64 -1/3 (/.f64 (-.f64 y (/.f64 t y)) z))
20.0ms	(/.f64 (-.f64 y (/.f64 t y)) z)
19.0ms	(-.f64 y (/.f64 t y))
7.0ms	(+.f64 x (*.f64 -1/3 (/.f64 (-.f64 y (/.f64 t y)) z)))

Compiler

Compiled 2509 to 816 computations (67.5% saved)

series1.4s (8.3%)

Error

Counts

4 → 69

Calls

4 calls:

590.0ms	(+.f64 x (*.f64 -1/3 (/.f64 (-.f64 y (/.f64 t y)) z)))
348.0ms	(*.f64 -1/3 (/.f64 (-.f64 y (/.f64 t y)) z))
284.0ms	(/.f64 (-.f64 y (/.f64 t y)) z)
126.0ms	(-.f64 y (/.f64 t y))

Compiler

Compiled 1954 to 1420 computations (27.3% saved)

simplify140.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

190 → 190

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5437	2689

prune197.0ms (1.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	190	0	190
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	190	8	198

Error

Counts

198 → 8

Compiler

Compiled 2858 to 855 computations (70.1% saved)

regimes2.1s (12.6%)

Accuracy

Total 2.2b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 6654 to 5445 computations (18.2% saved)

bsearch45.0ms (0.3%)

Steps

Iters	Range		Point
7	4.802401004694545e-98	8.244439263340247e-97	2.733676941076419e-97

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	59	44
1	59	44

end0.0ms (0%)

sample3.9s (22.9%)

Algorithm

1×

intervals

Results

706.0ms	8000×	body	128	valid
267.0ms	3068×	body	128	invalid

Compiler

Compiled 1159 to 944 computations (18.6% saved)

Details

analyze1.6s (9.4%)

sample56.0ms (0.3%)

simplify865.0ms (5.1%)

prune8.0ms (0%)

localize17.0ms (0.1%)

rewrite396.0ms (2.3%)

series1.3s (7.5%)

simplify179.0ms (1.1%)

prune320.0ms (1.9%)

localize21.0ms (0.1%)

rewrite286.0ms (1.7%)

series1.4s (8.2%)

simplify128.0ms (0.8%)

prune231.0ms (1.4%)

localize19.0ms (0.1%)

rewrite405.0ms (2.4%)

series1.2s (7.2%)

simplify179.0ms (1.1%)

prune313.0ms (1.8%)

localize16.0ms (0.1%)

rewrite274.0ms (1.6%)

series1.4s (8.3%)

simplify140.0ms (0.8%)

prune197.0ms (1.2%)

regimes2.1s (12.6%)

bsearch45.0ms (0.3%)

simplify6.0ms (0%)

end0.0ms (0%)

sample3.9s (22.9%)

Profiling