Details

analyze931.0ms (10.3%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4937	112
1	4937	112
0	4	4
1	4	4

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)

sample31.0ms (0.3%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
5.0ms	117×	body	128	invalid

Compiler

Compiled 31 to 31 computations (0% saved)

simplify383.0ms (4.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (377.0ms)

Iter	Nodes	Cost
0	4800	16
1	4800	16

prune5.0ms (0.1%)

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)

localize8.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.4b	(/.f64 -1/3 z)
3.1b	(*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)))

rewrite209.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

70×	`add-sqr-sqrt_binary64_17491`
66×	`times-frac_binary64_17475`
65×	`cancel-sign-sub-inv_binary64_17435`
59×	`*-un-lft-identity_binary64_17469`
55×	`add-cube-cbrt_binary64_17504`
28×	`distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418` `associate-+r+_binary64_17401`
13×	`associate-l_binary64_17410`
11×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
8×	`add-log-exp_binary64_17508`
7×	`div-inv_binary64_17466`
6×	`pow1_binary64_17530` `associate-r_binary64_17409`
5×	`sub-neg_binary64_17462`
4×	`difference-of-squares_binary64_17438`
3×	`flip3--_binary64_17473` `flip--_binary64_17444` `associate-/l_binary64_17414` `associate-/r_binary64_17413`
2×	`div-exp_binary64_17520` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `cbrt-undiv_binary64_17503` `frac-times_binary64_17479` `unswap-sqr_binary64_17437` `associate-*r/_binary64_17411` `distribute-lft-out--_binary64_17421`
1×	`pow-prod-down_binary64_17540` `associate-l/_binary64_17412` `-commutative_binary64_17400` `frac-2neg_binary64_17480` `clear-num_binary64_17468` `diff-log_binary64_17561` `sum-log_binary64_17560` `flip3-+_binary64_17472` `flip-+_binary64_17443` `+-commutative_binary64_17399`

Counts

4 → 160

Calls

4 calls:

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

Compiler

Compiled 3312 to 1436 computations (56.6% saved)

series682.0ms (7.5%)

Error

0.0b

Counts

4 → 57

Calls

4 calls:

349.0ms	(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))
209.0ms	(*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)))
72.0ms	(-.f64 y (/.f64 t y))
15.0ms	(/.f64 -1/3 z)

Compiler

Compiled 1606 to 1192 computations (25.8% saved)

simplify103.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4967	2901
1	4967	2901

prune188.0ms (2.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	209	8	217
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	210	9	219

Error

0.0b

Counts

219 → 9

Compiler

Compiled 3592 to 1515 computations (57.8% saved)

localize8.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)))
3.1b	(/.f64 (*.f64 -1/3 (-.f64 y (/.f64 t y))) z)

rewrite141.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

41×	`add-sqr-sqrt_binary64_17491`
39×	`cancel-sign-sub-inv_binary64_17435`
35×	`*-un-lft-identity_binary64_17469`
32×	`times-frac_binary64_17475`
29×	`add-cube-cbrt_binary64_17504`
14×	`distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418`
11×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
8×	`add-log-exp_binary64_17508`
6×	`pow1_binary64_17530` `associate-r_binary64_17409`
4×	`div-inv_binary64_17466` `associate-*r/_binary64_17411` `difference-of-squares_binary64_17438`
3×	`flip3--_binary64_17473` `flip--_binary64_17444` `associate-/r_binary64_17413` `sub-neg_binary64_17462` `associate-l*_binary64_17410`
2×	`prod-exp_binary64_17518` `div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `cbrt-unprod_binary64_17502` `associate-/l/_binary64_17416` `distribute-lft-out--_binary64_17421`
1×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `associate-/l_binary64_17414` `pow-prod-down_binary64_17540` `unswap-sqr_binary64_17437` `-commutative_binary64_17400` `diff-log_binary64_17561` `sum-log_binary64_17560` `flip3-+_binary64_17472` `flip-+_binary64_17443` `distribute-lft-out_binary64_17420` `+-commutative_binary64_17399`

Counts

4 → 113

Calls

4 calls:

12.0ms	(/.f64 (*.f64 -1/3 (-.f64 y (/.f64 t y))) z)
12.0ms	(*.f64 -1/3 (-.f64 y (/.f64 t y)))
8.0ms	(-.f64 y (/.f64 t y))
5.0ms	(+.f64 x (/.f64 (*.f64 -1/3 (-.f64 y (/.f64 t y))) z))

Compiler

Compiled 2249 to 933 computations (58.5% saved)

series775.0ms (8.6%)

Error

0.0b

Counts

4 → 66

Calls

4 calls:

365.0ms	(+.f64 x (/.f64 (*.f64 -1/3 (-.f64 y (/.f64 t y))) z))
198.0ms	(/.f64 (*.f64 -1/3 (-.f64 y (/.f64 t y))) z)
98.0ms	(*.f64 -1/3 (-.f64 y (/.f64 t y)))
75.0ms	(-.f64 y (/.f64 t y))

Compiler

Compiled 1837 to 1381 computations (24.8% saved)

simplify79.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5003	2283

prune130.0ms (1.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	178	1	179
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	180	8	188

Error

0.0b

Counts

188 → 8

Compiler

Compiled 2547 to 1067 computations (58.1% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite252.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

188×	`times-frac_binary64_17475`
172×	`add-sqr-sqrt_binary64_17491`
123×	`*-un-lft-identity_binary64_17469`
87×	`add-cube-cbrt_binary64_17504`
34×	`difference-of-squares_binary64_17438`
30×	`associate-/r*_binary64_17413`
17×	`distribute-lft-out--_binary64_17421`
13×	`cancel-sign-sub-inv_binary64_17435`
11×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505` `associate-/r/_binary64_17415`
8×	`add-log-exp_binary64_17508`
7×	`div-inv_binary64_17466`
6×	`flip3--_binary64_17473` `flip--_binary64_17444` `associate-/l*_binary64_17414`
4×	`pow1_binary64_17530` `div-exp_binary64_17520` `cbrt-undiv_binary64_17503`
2×	`frac-2neg_binary64_17480` `clear-num_binary64_17468`
1×	`sum-log_binary64_17560` `flip3-+_binary64_17472` `flip-+_binary64_17443` `distribute-lft-out_binary64_17420` `+-commutative_binary64_17399` `diff-log_binary64_17561` `sub-neg_binary64_17462`

Counts

4 → 194

Calls

4 calls:

26.0ms	(+.f64 x (/.f64 -1/3 (/.f64 z (-.f64 y (/.f64 t y)))))
13.0ms	(/.f64 -1/3 (/.f64 z (-.f64 y (/.f64 t y))))
9.0ms	(/.f64 z (-.f64 y (/.f64 t y)))
8.0ms	(-.f64 y (/.f64 t y))

Compiler

Compiled 4508 to 1514 computations (66.4% saved)

series802.0ms (8.9%)

Error

0.0b

Counts

4 → 69

Calls

4 calls:

349.0ms	(+.f64 x (/.f64 -1/3 (/.f64 z (-.f64 y (/.f64 t y)))))
204.0ms	(/.f64 -1/3 (/.f64 z (-.f64 y (/.f64 t y))))
136.0ms	(/.f64 z (-.f64 y (/.f64 t y)))
70.0ms	(-.f64 y (/.f64 t y))

Compiler

Compiled 2089 to 1541 computations (26.2% saved)

simplify111.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

263 → 263

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4957	5326
1	4957	5326

prune205.0ms (2.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	262	1	263
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	263	8	271

Error

0.0b

Counts

271 → 8

Compiler

Compiled 4881 to 1608 computations (67.1% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite221.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

65×	`add-sqr-sqrt_binary64_17491` `cancel-sign-sub-inv_binary64_17435`
58×	`times-frac_binary64_17475`
53×	`*-un-lft-identity_binary64_17469`
48×	`add-cube-cbrt_binary64_17504`
28×	`add-exp-log_binary64_17507` `distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418` `associate-+r+_binary64_17401`
19×	`associate-r_binary64_17409`
18×	`add-cbrt-cube_binary64_17505`
13×	`prod-exp_binary64_17518`
11×	`pow1_binary64_17530`
8×	`add-log-exp_binary64_17508`
7×	`cbrt-unprod_binary64_17502`
6×	`associate-*r/_binary64_17411` `div-inv_binary64_17466`
5×	`sub-neg_binary64_17462`
4×	`pow-prod-down_binary64_17540` `div-exp_binary64_17520` `flip3--_binary64_17473` `un-div-inv_binary64_17467` `frac-times_binary64_17479` `flip--_binary64_17444` `associate-l_binary64_17410` `difference-of-squares_binary64_17438`
3×	`unswap-sqr_binary64_17437`
2×	`1-exp_binary64_17513` `rec-exp_binary64_17519` `cbrt-undiv_binary64_17503` `associate-l/_binary64_17412` `distribute-lft-out--_binary64_17421` `-commutative_binary64_17400`
1×	`sum-log_binary64_17560` `flip3-+_binary64_17472` `flip-+_binary64_17443` `+-commutative_binary64_17399` `diff-log_binary64_17561`

Counts

4 → 163

Calls

4 calls:

18.0ms	(.f64 (.f64 -1/3 (/.f64 1 z)) (-.f64 y (/.f64 t y)))
8.0ms	(+.f64 x (.f64 (.f64 -1/3 (/.f64 1 z)) (-.f64 y (/.f64 t y))))
8.0ms	(*.f64 -1/3 (/.f64 1 z))
7.0ms	(-.f64 y (/.f64 t y))

Compiler

Compiled 3829 to 1926 computations (49.7% saved)

series680.0ms (7.5%)

Error

0.0b

Counts

4 → 57

Calls

4 calls:

359.0ms	(+.f64 x (.f64 (.f64 -1/3 (/.f64 1 z)) (-.f64 y (/.f64 t y))))
200.0ms	(.f64 (.f64 -1/3 (/.f64 1 z)) (-.f64 y (/.f64 t y)))
73.0ms	(-.f64 y (/.f64 t y))
15.0ms	(*.f64 -1/3 (/.f64 1 z))

Compiler

Compiled 1666 to 1252 computations (24.8% saved)

simplify96.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4969	2821
1	4969	2821

prune162.0ms (1.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

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

Error

0.0b

Counts

228 → 8

Compiler

Compiled 3582 to 1538 computations (57.1% saved)

regimes849.0ms (9.4%)

Accuracy

Total 0.4b remaining (98.7%)

Threshold costs 0.4b (98.7%)

Compiler

Compiled 5898 to 4923 computations (16.5% saved)

bsearch63.0ms (0.7%)

Steps

Iters	Range		Point
10	1.5270827535426234e+20	4.974407465326046e+35	1.629467136286449e+28
10	-2.778984866061864e-32	-5.747220130036762e-44	-8.506692631329123e-39

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	70	55
1	70	55

end0.0ms (0%)

sample1.9s (21.1%)

Algorithm

1×

intervals

Results

355.0ms	8000×	body	128	valid
140.0ms	3124×	body	128	invalid

Compiler

Compiled 1040 to 863 computations (17% saved)

Details

analyze931.0ms (10.3%)

sample31.0ms (0.3%)

simplify383.0ms (4.2%)

prune5.0ms (0.1%)

localize8.0ms (0.1%)

rewrite209.0ms (2.3%)

series682.0ms (7.5%)

simplify103.0ms (1.1%)

prune188.0ms (2.1%)

localize8.0ms (0.1%)

rewrite141.0ms (1.6%)

series775.0ms (8.6%)

simplify79.0ms (0.9%)

prune130.0ms (1.4%)

localize8.0ms (0.1%)

rewrite252.0ms (2.8%)

series802.0ms (8.9%)

simplify111.0ms (1.2%)

prune205.0ms (2.3%)

localize9.0ms (0.1%)

rewrite221.0ms (2.4%)

series680.0ms (7.5%)

simplify96.0ms (1.1%)

prune162.0ms (1.8%)

regimes849.0ms (9.4%)

bsearch63.0ms (0.7%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.9s (21.1%)

Profiling