Details

analyze5.5s (6.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5274	17182
0	16	16
1	16	16

Search

True	Other	False	Iter
0%	99.2%	0.8%	0
0%	99.2%	0.8%	1
0%	99.2%	0.8%	2
0%	99.2%	0.8%	3
0%	99.2%	0.8%	4
0%	99.2%	0.8%	5
0%	99.2%	0.8%	6
0%	99.2%	0.8%	7
0%	99.2%	0.8%	8
0%	99.2%	0.8%	9
0%	99.2%	0.8%	10
0%	99.2%	0.8%	11
0%	99.2%	0.8%	12
0%	99.2%	0.8%	13
0%	99.2%	0.8%	14

Compiler

Compiled 96 to 64 computations (33.3% saved)

sample772.0ms (0.9%)

Algorithm

1×

intervals

Results

469.0ms	2159×	body	128	invalid
56.0ms	256×	body	128	valid

Compiler

Compiled 191 to 143 computations (25.1% saved)

simplify45.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5169	142

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

27.0b

Counts

2 → 1

Compiler

Compiled 190 to 126 computations (33.7% saved)

localize60.0ms (0.1%)

Local error

Found 4 expressions with local error:

8.1b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
8.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
10.4b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
11.2b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))

rewrite380.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

26.9b

Rules

24×	`flip3--_binary64_13722` `flip--_binary64_13693`
20×	`add-sqr-sqrt_binary64_13740`
16×	`frac-times_binary64_13728`
12×	`pow1_binary64_13779` `add-exp-log_binary64_13756` `add-cbrt-cube_binary64_13754` `add-cube-cbrt_binary64_13753` `-un-lft-identity_binary64_13718` `associate-l_binary64_13659` `associate-r*_binary64_13658`
8×	`sub-neg_binary64_13711` `distribute-rgt-in_binary64_13668` `cancel-sign-sub-inv_binary64_13684` `distribute-lft-in_binary64_13667` `associate-l/_binary64_13661` `associate-r/_binary64_13660`
4×	`pow-prod-down_binary64_13789` `prod-exp_binary64_13767` `add-log-exp_binary64_13757` `cbrt-unprod_binary64_13751` `unswap-sqr_binary64_13686` `*-commutative_binary64_13649`

Counts

4 → 120

Calls

4 calls:

14.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
11.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
10.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

Compiler

Compiled 13456 to 929 computations (93.1% saved)

series4.1s (4.8%)

Error

13.7b

Counts

4 → 192

Calls

4 calls:

953.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
942.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
936.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
935.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

Compiler

Compiled 49632 to 20175 computations (59.4% saved)

simplify122.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

312 → 312

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4985	10220
1	4985	10220

prune661.0ms (0.8%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	290	22	312
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	291	22	313

Error

14.3b

Counts

313 → 22

Compiler

Compiled 34782 to 2440 computations (93% saved)

localize79.0ms (0.1%)

Local error

Found 4 expressions with local error:

7.7b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
8.1b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
8.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
10.4b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

rewrite372.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

14.3b

Rules

24×	`flip3--_binary64_13722` `flip--_binary64_13693`
20×	`add-sqr-sqrt_binary64_13740`
16×	`frac-times_binary64_13728`
12×	`pow1_binary64_13779` `add-exp-log_binary64_13756` `add-cbrt-cube_binary64_13754` `add-cube-cbrt_binary64_13753` `-un-lft-identity_binary64_13718` `associate-l_binary64_13659` `associate-r*_binary64_13658`
8×	`sub-neg_binary64_13711` `distribute-rgt-in_binary64_13668` `cancel-sign-sub-inv_binary64_13684` `distribute-lft-in_binary64_13667` `associate-l/_binary64_13661` `associate-r/_binary64_13660`
4×	`pow-prod-down_binary64_13789` `prod-exp_binary64_13767` `add-log-exp_binary64_13757` `cbrt-unprod_binary64_13751` `unswap-sqr_binary64_13686` `*-commutative_binary64_13649`

Counts

4 → 120

Calls

4 calls:

17.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
11.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
11.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

Compiler

Compiled 15376 to 967 computations (93.7% saved)

series4.4s (5.1%)

Error

10.6b

Counts

4 → 192

Calls

4 calls:

1.0s	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
1.0s	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
972.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
966.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

Compiler

Compiled 57312 to 22536 computations (60.7% saved)

simplify119.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

312 → 312

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5027	10220

prune717.0ms (0.8%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	300	12	312
Fresh	4	17	21
Picked	1	0	1
Done	0	0	0
Total	305	29	334

Error

10.9b

Counts

334 → 29

Compiler

Compiled 40685 to 3036 computations (92.5% saved)

localize93.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.6b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
7.7b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
8.1b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
8.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

rewrite376.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

10.9b

Rules

24×	`flip3--_binary64_13722` `flip--_binary64_13693`
20×	`add-sqr-sqrt_binary64_13740`
16×	`frac-times_binary64_13728`
12×	`pow1_binary64_13779` `add-exp-log_binary64_13756` `add-cbrt-cube_binary64_13754` `add-cube-cbrt_binary64_13753` `-un-lft-identity_binary64_13718` `associate-l_binary64_13659` `associate-r*_binary64_13658`
8×	`sub-neg_binary64_13711` `distribute-rgt-in_binary64_13668` `cancel-sign-sub-inv_binary64_13684` `distribute-lft-in_binary64_13667` `associate-l/_binary64_13661` `associate-r/_binary64_13660`
4×	`pow-prod-down_binary64_13789` `prod-exp_binary64_13767` `add-log-exp_binary64_13757` `cbrt-unprod_binary64_13751` `unswap-sqr_binary64_13686` `*-commutative_binary64_13649`

Counts

4 → 120

Calls

4 calls:

11.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
11.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
10.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

Compiler

Compiled 17296 to 1034 computations (94% saved)

series4.4s (5.2%)

Error

7.0b

Counts

4 → 192

Calls

4 calls:

1.0s	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
1.0s	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
976.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
973.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

Compiler

Compiled 64992 to 24828 computations (61.8% saved)

simplify124.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

312 → 312

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5025	10220

prune800.0ms (0.9%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	304	8	312
Fresh	4	24	28
Picked	1	0	1
Done	0	0	0
Total	309	32	341

Error

7.6b

Counts

341 → 32

Compiler

Compiled 46164 to 3379 computations (92.7% saved)

localize104.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.5b	(.f64 t (.f64 a (*.f64 b z)))
6.6b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
7.7b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
8.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

rewrite375.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

7.6b

Rules

19×	`pow1_binary64_13779` `add-exp-log_binary64_13756` `add-cbrt-cube_binary64_13754`
18×	`flip3--_binary64_13722` `flip--_binary64_13693`
17×	`add-sqr-sqrt_binary64_13740`
12×	`frac-times_binary64_13728` `associate-l_binary64_13659`
11×	`add-cube-cbrt_binary64_13753` `*-un-lft-identity_binary64_13718`
10×	`associate-r_binary64_13658`
9×	`pow-prod-down_binary64_13789` `prod-exp_binary64_13767` `cbrt-unprod_binary64_13751`
6×	`sub-neg_binary64_13711` `distribute-rgt-in_binary64_13668` `cancel-sign-sub-inv_binary64_13684` `distribute-lft-in_binary64_13667` `associate-l/_binary64_13661` `associate-r/_binary64_13660`
4×	`add-log-exp_binary64_13757` `*-commutative_binary64_13649`
3×	`unswap-sqr_binary64_13686`

Counts

4 → 111

Calls

4 calls:

17.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
12.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
8.0ms	(.f64 t (.f64 a (*.f64 b z)))

Compiler

Compiled 17551 to 982 computations (94.4% saved)

series3.6s (4.2%)

Error

6.4b

Counts

4 → 156

Calls

4 calls:

1.0s	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
997.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
987.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
235.0ms	(.f64 t (.f64 a (*.f64 b z)))

Compiler

Compiled 59652 to 22390 computations (62.5% saved)

simplify106.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

267 → 267

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5066	8018

prune635.0ms (0.7%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	262	5	267
Fresh	3	28	31
Picked	1	0	1
Done	0	0	0
Total	266	33	299

Error

6.6b

Counts

299 → 33

Compiler

Compiled 40460 to 1000 computations (97.5% saved)

regimes25.6s (29.9%)

Accuracy

Total 13.4b remaining (63.6%)

Threshold costs 0b (0%)

Compiler

Compiled 384660 to 237958 computations (38.1% saved)

bsearch50.0ms (0.1%)

Compiler: Compiled 95 to 63 computations (33.7% saved)

simplify208.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (200.0ms)

Iter	Nodes	Cost
0	3637	924
1	3637	924

end0.0ms (0%)

sample31.7s (37.1%)

Algorithm

1×

intervals

Results

14.0s	64278×	body	128	invalid
1.7s	8000×	body	128	valid

Compiler

Compiled 24034 to 14375 computations (40.2% saved)

Details

analyze5.5s (6.4%)

sample772.0ms (0.9%)

simplify45.0ms (0.1%)

prune11.0ms (0%)

localize60.0ms (0.1%)

rewrite380.0ms (0.4%)

series4.1s (4.8%)

simplify122.0ms (0.1%)

prune661.0ms (0.8%)

localize79.0ms (0.1%)

rewrite372.0ms (0.4%)

series4.4s (5.1%)

simplify119.0ms (0.1%)

prune717.0ms (0.8%)

localize93.0ms (0.1%)

rewrite376.0ms (0.4%)

series4.4s (5.2%)

simplify124.0ms (0.1%)

prune800.0ms (0.9%)

localize104.0ms (0.1%)

rewrite375.0ms (0.4%)

series3.6s (4.2%)

simplify106.0ms (0.1%)

prune635.0ms (0.7%)

regimes25.6s (29.9%)

bsearch50.0ms (0.1%)

simplify208.0ms (0.2%)

end0.0ms (0%)

sample31.7s (37.1%)

Profiling