Details

analyze1.1s (10%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1124	70
1	1124	70
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
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
23.4%	74.9%	1.8%	11
27.3%	69.4%	3.3%	12
36.6%	56.5%	6.8%	13
40.5%	52%	7.4%	14

Symmetry

(sort y t)

Compiler

Compiled 10 to 9 computations (10% saved)

sample37.0ms (0.3%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
2.0ms	57×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify27.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	438	10
1	438	10

prune4.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 23 to 22 computations (4.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b	(-.f64 (.f64 x y) (.f64 z y))
7.1b	(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)

rewrite62.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-sqr-sqrt_binary64_11694`
4×	`pow1_binary64_11733` `add-exp-log_binary64_11710` `add-log-exp_binary64_11711` `add-cbrt-cube_binary64_11708` `add-cube-cbrt_binary64_11707` `-un-lft-identity_binary64_11672` `associate-l*_binary64_11613`
3×	`associate-r_binary64_11612`
2×	`flip3--_binary64_11676` `associate-*l/_binary64_11615` `flip--_binary64_11647` `distribute-rgt-out--_binary64_11626`
1×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `unswap-sqr_binary64_11640` `*-commutative_binary64_11603` `diff-log_binary64_11764` `sub-neg_binary64_11665` `cancel-sign-sub-inv_binary64_11638`

Counts

2 → 34

Calls

2 calls:

7.0ms	(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)
4.0ms	(-.f64 (.f64 x y) (.f64 z y))

Compiler

Compiled 575 to 113 computations (80.3% saved)

series483.0ms (4.3%)

Error

0.1b

Counts

2 → 33

Calls

2 calls:

312.0ms	(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)
155.0ms	(-.f64 (.f64 x y) (.f64 z y))

Compiler

Compiled 556 to 464 computations (16.5% saved)

simplify53.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5048	696

prune57.0ms (0.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	57	10	67
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	59	10	69

Error

0.0b

Counts

69 → 10

Compiler

Compiled 608 to 217 computations (64.3% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

7.1b	(.f64 t (.f64 y (-.f64 x z)))

rewrite63.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621`
12×	`cancel-sign-sub-inv_binary64_11638`
6×	`pow1_binary64_11733` `add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708` `add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694` `*-un-lft-identity_binary64_11672`
4×	`sub-neg_binary64_11665` `associate-*r/_binary64_11614`
3×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705` `associate-l_binary64_11613`
1×	`add-log-exp_binary64_11711` `flip3--_binary64_11676` `flip--_binary64_11647` `associate-r_binary64_11612` `*-commutative_binary64_11603`

Counts

1 → 36

Calls

1 calls:

8.0ms

(*.f64 t (*.f64 y (-.f64 x z)))

Compiler

Compiled 493 to 141 computations (71.4% saved)

series295.0ms (2.6%)

Error

0.0b

Counts

1 → 18

Calls

1 calls:

286.0ms

(*.f64 t (*.f64 y (-.f64 x z)))

Compiler

Compiled 308 to 258 computations (16.2% saved)

simplify39.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	6023	663

prune31.0ms (0.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	4	5	9
Picked	0	1	1
Done	0	0	0
Total	56	8	64

Error

0.0b

Counts

64 → 8

Compiler

Compiled 291 to 129 computations (55.7% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 z y))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 z y)))) (.f64 t (cbrt.f64 (.f64 y (-.f64 x z)))))
9.2b	(cbrt.f64 (-.f64 (.f64 x y) (.f64 z y)))
9.2b	(cbrt.f64 (-.f64 (.f64 x y) (.f64 z y)))
9.2b	(cbrt.f64 (*.f64 y (-.f64 x z)))

rewrite182.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

60×	`cbrt-div_binary64_11704`
46×	`associate-*r/_binary64_11614`
30×	`flip3--_binary64_11676` `flip--_binary64_11647`
28×	`frac-times_binary64_11682`
16×	`pow1_binary64_11733` `add-exp-log_binary64_11710`
14×	`associate-*l/_binary64_11615`
10×	`add-cbrt-cube_binary64_11708`
9×	`cbrt-prod_binary64_11703`
8×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705`
6×	`add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694` `*-un-lft-identity_binary64_11672`
4×	`add-log-exp_binary64_11711`
3×	`pow1/3_binary64_11754`
2×	`distribute-rgt-out--_binary64_11626`
1×	`associate-l_binary64_11613` `associate-r_binary64_11612` `*-commutative_binary64_11603`

Counts

4 → 87

Calls

4 calls:

18.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 z y))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 z y)))) (.f64 t (cbrt.f64 (.f64 y (-.f64 x z)))))
5.0ms	(cbrt.f64 (*.f64 y (-.f64 x z)))
4.0ms	(cbrt.f64 (-.f64 (.f64 x y) (.f64 z y)))
4.0ms	(cbrt.f64 (-.f64 (.f64 x y) (.f64 z y)))

Compiler

Compiled 3854 to 509 computations (86.8% saved)

series3.8s (33.7%)

Error

0.0b

Counts

4 → 68

Calls

4 calls:

2.3s	(.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 z y))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 z y)))) (.f64 t (cbrt.f64 (.f64 y (-.f64 x z)))))
453.0ms	(cbrt.f64 (-.f64 (.f64 x y) (.f64 z y)))
451.0ms	(cbrt.f64 (*.f64 y (-.f64 x z)))
451.0ms	(cbrt.f64 (-.f64 (.f64 x y) (.f64 z y)))

Compiler

Compiled 6481 to 4253 computations (34.4% saved)

simplify79.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5335	4918

prune227.0ms (2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	155	8	163

Error

0.0b

Counts

163 → 8

Compiler

Compiled 4712 to 1256 computations (73.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 t (-.f64 x z))
9.0b	(.f64 y (.f64 t (-.f64 x z)))

rewrite111.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`distribute-rgt-in_binary64_11622` `distribute-lft-in_binary64_11621`
18×	`cancel-sign-sub-inv_binary64_11638`
15×	`add-sqr-sqrt_binary64_11694`
13×	`*-un-lft-identity_binary64_11672`
11×	`add-cube-cbrt_binary64_11707`
9×	`pow1_binary64_11733` `add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`
6×	`sub-neg_binary64_11665` `associate-r/_binary64_11614` `associate-l_binary64_11613` `associate-r*_binary64_11612`
4×	`pow-prod-down_binary64_11743` `prod-exp_binary64_11721` `cbrt-unprod_binary64_11705`
2×	`add-log-exp_binary64_11711` `flip3--_binary64_11676` `flip--_binary64_11647` `*-commutative_binary64_11603`
1×	`unswap-sqr_binary64_11640` `difference-of-squares_binary64_11641` `distribute-lft-out--_binary64_11624`

Counts

2 → 66

Calls

2 calls:

9.0ms	(.f64 y (.f64 t (-.f64 x z)))
7.0ms	(*.f64 t (-.f64 x z))

Compiler

Compiled 864 to 232 computations (73.1% saved)

series447.0ms (4%)

Error

0.0b

Counts

2 → 33

Calls

2 calls:

287.0ms	(.f64 y (.f64 t (-.f64 x z)))
145.0ms	(*.f64 t (-.f64 x z))

Compiler

Compiled 522 to 445 computations (14.8% saved)

simplify59.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4932	1049
1	4932	1049

prune54.0ms (0.5%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	97	10	107

Error

0.0b

Counts

107 → 10

Compiler

Compiled 458 to 137 computations (70.1% saved)

regimes3.0s (26.9%)

Accuracy

Total 1.3b remaining (98.3%)

Threshold costs 0b (0%)

Compiler

Compiled 18568 to 13772 computations (25.8% saved)

bsearch7.0ms (0.1%)

Compiler: Compiled 7 to 7 computations (0% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	82	63
1	82	63

end11.0ms (0.1%)

Remove: (sort y t)
Compiler: Compiled 129 to 66 computations (48.8% saved)

sample923.0ms (8.3%)

Algorithm

1×

intervals

Results

277.0ms	8000×	body	128	valid
71.0ms	1960×	body	128	invalid

Compiler

Compiled 215 to 161 computations (25.1% saved)

Details

analyze1.1s (10%)

sample37.0ms (0.3%)

simplify27.0ms (0.2%)

prune4.0ms (0%)

localize7.0ms (0.1%)

rewrite62.0ms (0.6%)

series483.0ms (4.3%)

simplify53.0ms (0.5%)

prune57.0ms (0.5%)

localize6.0ms (0.1%)

rewrite63.0ms (0.6%)

series295.0ms (2.6%)

simplify39.0ms (0.3%)

prune31.0ms (0.3%)

localize16.0ms (0.1%)

rewrite182.0ms (1.6%)

series3.8s (33.7%)

simplify79.0ms (0.7%)

prune227.0ms (2%)

localize6.0ms (0.1%)

rewrite111.0ms (1%)

series447.0ms (4%)

simplify59.0ms (0.5%)

prune54.0ms (0.5%)

regimes3.0s (26.9%)

bsearch7.0ms (0.1%)

simplify4.0ms (0%)

end11.0ms (0.1%)

sample923.0ms (8.3%)

Profiling