Details

analyze1.4s (6.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
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)

sample46.0ms (0.2%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
1.0ms	15×	body	128	invalid

Compiler

Compiled 35 to 31 computations (11.4% saved)

simplify280.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4892	25
1	4892	25

prune5.0ms (0%)

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

Error

5.6b

Counts

2 → 1

Compiler

Compiled 34 to 26 computations (23.5% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite323.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

5.5b

Rules

45×	`*-un-lft-identity_binary64_15764`
25×	`times-frac_binary64_15770`
23×	`add-cube-cbrt_binary64_15799` `add-sqr-sqrt_binary64_15786`
11×	`distribute-lft-out_binary64_15715`
8×	`add-exp-log_binary64_15802` `add-log-exp_binary64_15803` `add-cbrt-cube_binary64_15800`
7×	`associate-/l_binary64_15709` `associate-/r_binary64_15708`
4×	`pow1_binary64_15825` `div-sub_binary64_15769` `associate-/l/_binary64_15711` `associate-/r/_binary64_15710`
3×	`flip3--_binary64_15768` `flip--_binary64_15739` `flip3-+_binary64_15767` `flip-+_binary64_15738` `cancel-sign-sub-inv_binary64_15730`
2×	`div-exp_binary64_15815` `cbrt-undiv_binary64_15798` `frac-2neg_binary64_15775` `clear-num_binary64_15763` `div-inv_binary64_15761` `associate-+r-_binary64_15698`
1×	`diff-log_binary64_15856` `sub-neg_binary64_15757` `sum-log_binary64_15855` `+-commutative_binary64_15694`

Counts

4 → 100

Calls

4 calls:

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

Compiler

Compiled 2967 to 756 computations (74.5% saved)

series2.6s (12.6%)

Error

0.3b

Counts

4 → 120

Calls

4 calls:

1.0s	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))
617.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
518.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))
158.0ms	(-.f64 (*.f64 y z) x)

Compiler

Compiled 8226 to 5337 computations (35.1% saved)

simplify180.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5109	6985

prune433.0ms (2.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	211	9	220
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	212	9	221

Error

0.3b

Counts

221 → 9

Compiler

Compiled 6352 to 1867 computations (70.6% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite707.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

71×	`*-un-lft-identity_binary64_15764`
42×	`times-frac_binary64_15770`
37×	`add-sqr-sqrt_binary64_15786`
32×	`add-cube-cbrt_binary64_15799`
16×	`distribute-lft-out_binary64_15715`
15×	`cancel-sign-sub-inv_binary64_15730`
13×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
12×	`associate-/r/_binary64_15710`
10×	`associate-/r*_binary64_15708`
9×	`associate-/l*_binary64_15709`
6×	`add-log-exp_binary64_15803` `div-inv_binary64_15761` `flip3--_binary64_15768` `flip--_binary64_15739` `distribute-lft-out--_binary64_15716`
4×	`pow1_binary64_15825` `div-exp_binary64_15815` `cbrt-undiv_binary64_15798`
3×	`frac-2neg_binary64_15775` `clear-num_binary64_15763` `distribute-rgt-out--_binary64_15718`
2×	`flip3-+_binary64_15767` `associate-/l/_binary64_15711` `flip-+_binary64_15738` `difference-of-squares_binary64_15733`
1×	`prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `associate-+r-_binary64_15698` `div-sub_binary64_15769` `diff-log_binary64_15856` `frac-sub_binary64_15773` `sub-div_binary64_15771` `sub-neg_binary64_15757`

Counts

4 → 132

Calls

4 calls:

358.0ms	(/.f64 (+.f64 x (-.f64 (/.f64 (.f64 z y) (-.f64 (.f64 t z) x)) (/.f64 x (-.f64 (*.f64 t z) x)))) (+.f64 x 1))
40.0ms	(-.f64 (/.f64 (.f64 z y) (-.f64 (.f64 t z) x)) (/.f64 x (-.f64 (*.f64 t z) x)))
13.0ms	(/.f64 (.f64 z y) (-.f64 (.f64 t z) x))
10.0ms	(/.f64 x (-.f64 (*.f64 t z) x))

Compiler

Compiled 4802 to 1081 computations (77.5% saved)

series2.3s (11.3%)

Error

0.2b

Counts

4 → 106

Calls

4 calls:

1.0s	(/.f64 (+.f64 x (-.f64 (/.f64 (.f64 z y) (-.f64 (.f64 t z) x)) (/.f64 x (-.f64 (*.f64 t z) x)))) (+.f64 x 1))
601.0ms	(-.f64 (/.f64 (.f64 z y) (-.f64 (.f64 t z) x)) (/.f64 x (-.f64 (*.f64 t z) x)))
275.0ms	(/.f64 (.f64 z y) (-.f64 (.f64 t z) x))
188.0ms	(/.f64 x (-.f64 (*.f64 t z) x))

Compiler

Compiled 8080 to 5131 computations (36.5% saved)

simplify160.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

238 → 238

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4985	7940
1	4985	7940

prune475.0ms (2.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	236	2	238
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	239	8	247

Error

0.2b

Counts

247 → 8

Compiler

Compiled 7990 to 2143 computations (73.2% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (+.f64 x (-.f64 (/.f64 z (/.f64 (-.f64 (.f64 z t) x) y)) (/.f64 x (-.f64 (.f64 t z) x)))) (+.f64 x 1))
1.9b	(/.f64 (-.f64 (*.f64 z t) x) y)
2.4b	(/.f64 x (-.f64 (*.f64 t z) x))
9.1b	(/.f64 z (/.f64 (-.f64 (*.f64 z t) x) y))

rewrite488.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

113×	`times-frac_binary64_15770`
110×	`*-un-lft-identity_binary64_15764`
73×	`add-cube-cbrt_binary64_15799` `add-sqr-sqrt_binary64_15786`
23×	`associate-/r*_binary64_15708`
16×	`distribute-lft-out_binary64_15715`
15×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
14×	`associate-/l*_binary64_15709`
8×	`div-inv_binary64_15761`
6×	`div-exp_binary64_15815` `cbrt-undiv_binary64_15798`
5×	`associate-/r/_binary64_15710` `distribute-lft-out--_binary64_15716`
4×	`pow1_binary64_15825` `add-log-exp_binary64_15803` `frac-2neg_binary64_15775` `clear-num_binary64_15763` `associate-/l/_binary64_15711`
2×	`flip3--_binary64_15768` `flip--_binary64_15739` `div-sub_binary64_15769` `flip3-+_binary64_15767` `flip-+_binary64_15738`
1×	`associate-+r-_binary64_15698`

Counts

4 → 175

Calls

4 calls:

101.0ms	(/.f64 (+.f64 x (-.f64 (/.f64 z (/.f64 (-.f64 (.f64 z t) x) y)) (/.f64 x (-.f64 (.f64 t z) x)))) (+.f64 x 1))
13.0ms	(/.f64 z (/.f64 (-.f64 (*.f64 z t) x) y))
13.0ms	(/.f64 (-.f64 (*.f64 z t) x) y)
10.0ms	(/.f64 x (-.f64 (*.f64 t z) x))

Compiler

Compiled 6253 to 1515 computations (75.8% saved)

series2.0s (9.8%)

Error

0.2b

Counts

4 → 95

Calls

4 calls:

974.0ms	(/.f64 (+.f64 x (-.f64 (/.f64 z (/.f64 (-.f64 (.f64 z t) x) y)) (/.f64 x (-.f64 (.f64 t z) x)))) (+.f64 x 1))
367.0ms	(/.f64 (-.f64 (*.f64 z t) x) y)
303.0ms	(/.f64 z (/.f64 (-.f64 (*.f64 z t) x) y))
171.0ms	(/.f64 x (-.f64 (*.f64 t z) x))

Compiler

Compiled 7166 to 4370 computations (39% saved)

simplify165.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

270 → 270

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5003	7935

prune510.0ms (2.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	270	0	270
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	270	8	278

Error

0.2b

Counts

278 → 8

Compiler

Compiled 8973 to 2320 computations (74.1% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite310.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

33×	`*-un-lft-identity_binary64_15764`
29×	`add-sqr-sqrt_binary64_15786`
23×	`times-frac_binary64_15770`
22×	`add-cube-cbrt_binary64_15799`
18×	`associate-r_binary64_15704`
15×	`add-exp-log_binary64_15802`
11×	`add-cbrt-cube_binary64_15800`
8×	`add-log-exp_binary64_15803`
6×	`pow1_binary64_15825`
5×	`distribute-lft-out_binary64_15715`
4×	`associate-/r/_binary64_15710` `prod-exp_binary64_15813` `flip3-+_binary64_15767` `flip-+_binary64_15738` `associate-l_binary64_15705`
3×	`div-exp_binary64_15815` `flip3--_binary64_15768` `flip--_binary64_15739` `associate-/l_binary64_15709` `associate-/r_binary64_15708` `unswap-sqr_binary64_15732` `cancel-sign-sub-inv_binary64_15730`
2×	`cbrt-undiv_binary64_15798` `div-sub_binary64_15769` `div-inv_binary64_15761` `associate-/l/_binary64_15711` `cbrt-unprod_binary64_15797` `frac-times_binary64_15774` `associate-*l/_binary64_15707`
1×	`frac-2neg_binary64_15775` `clear-num_binary64_15763` `pow-prod-down_binary64_15835` `1-exp_binary64_15808` `rec-exp_binary64_15814` `un-div-inv_binary64_15762` `associate-r/_binary64_15706` `-commutative_binary64_15695` `diff-log_binary64_15856` `sub-neg_binary64_15757` `sum-log_binary64_15855` `associate-+r-_binary64_15698` `+-commutative_binary64_15694`

Counts

4 → 105

Calls

4 calls:

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

Compiler

Compiled 3291 to 1051 computations (68.1% saved)

series2.6s (12.6%)

Error

0.2b

Counts

4 → 120

Calls

4 calls:

979.0ms	(.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (*.f64 t z) x))) (/.f64 1 (+.f64 x 1)))
634.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
517.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))
160.0ms	(-.f64 (*.f64 y z) x)

Compiler

Compiled 8612 to 5723 computations (33.5% saved)

simplify179.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

225 → 225

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5193	6918

prune402.0ms (2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	225	0	225
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	225	8	233

Error

0.2b

Counts

233 → 8

Compiler

Compiled 6469 to 2098 computations (67.6% saved)

regimes1.2s (6.1%)

Accuracy

Total 1.9b remaining (90.7%)

Threshold costs 0b (0%)

Compiler

Compiled 9670 to 6311 computations (34.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	34
1	38	34

end0.0ms (0%)

sample3.6s (17.7%)

Algorithm

1×

intervals

Results

688.0ms	8000×	body	128	valid
25.0ms	305×	body	128	invalid

Compiler

Compiled 1966 to 1282 computations (34.8% saved)

Details

analyze1.4s (6.7%)

sample46.0ms (0.2%)

simplify280.0ms (1.4%)

prune5.0ms (0%)

localize24.0ms (0.1%)

rewrite323.0ms (1.6%)

series2.6s (12.6%)

simplify180.0ms (0.9%)

prune433.0ms (2.1%)

localize25.0ms (0.1%)

rewrite707.0ms (3.4%)

series2.3s (11.3%)

simplify160.0ms (0.8%)

prune475.0ms (2.3%)

localize29.0ms (0.1%)

rewrite488.0ms (2.4%)

series2.0s (9.8%)

simplify165.0ms (0.8%)

prune510.0ms (2.5%)

localize25.0ms (0.1%)

rewrite310.0ms (1.5%)

series2.6s (12.6%)

simplify179.0ms (0.9%)

prune402.0ms (2%)

regimes1.2s (6.1%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample3.6s (17.7%)

Profiling