Details

analyze1.0s (10.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5331	140
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
3.1%	71.7%	25.1%	9
4.7%	69.8%	25.5%	10
7%	66.9%	26.1%	11
10.9%	61.5%	27.6%	12
11.1%	47%	41.9%	13
12.8%	44.4%	42.8%	14

Compiler

Compiled 20 to 20 computations (0% saved)

sample78.0ms (0.8%)

Algorithm

1×

intervals

Results

20.0ms	314×	body	128	nan
17.0ms	256×	body	128	valid

Compiler

Compiled 39 to 43 computations (-10.3% saved)

simplify109.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	5398	20

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

1.0b

Counts

2 → 1

Compiler

Compiled 32 to 32 computations (0% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 3 (/.f64 x (.f64 y 27)))
1.0b	(.f64 (/.f64 1 3) (acos.f64 (.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
2.4b	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))
4.2b	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))

rewrite282.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

96×	`add-exp-log_binary64_16484`
92×	`add-cbrt-cube_binary64_16482`
41×	`prod-exp_binary64_16495`
39×	`cbrt-unprod_binary64_16479`
31×	`add-sqr-sqrt_binary64_16468`
28×	`div-exp_binary64_16497`
27×	`cbrt-undiv_binary64_16480`
21×	`associate-l_binary64_16387`
19×	`*-un-lft-identity_binary64_16446`
18×	`add-cube-cbrt_binary64_16481`
16×	`times-frac_binary64_16452` `associate-r_binary64_16386`
10×	`pow1_binary64_16507`
6×	`unswap-sqr_binary64_16414`
4×	`add-log-exp_binary64_16485` `div-inv_binary64_16443` `sqrt-prod_binary64_16462`
3×	`pow-prod-down_binary64_16517` `*-commutative_binary64_16377`
2×	`associate-r/_binary64_16388` `associate-l/_binary64_16389`
1×	`frac-2neg_binary64_16457` `clear-num_binary64_16445` `associate-/l/_binary64_16393` `associate-/l_binary64_16391` `associate-/r_binary64_16390` `1-exp_binary64_16490` `rec-exp_binary64_16496`

Counts

4 → 133

Calls

4 calls:

13.0ms	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))
13.0ms	(.f64 3 (/.f64 x (.f64 y 27)))
10.0ms	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))
7.0ms	(.f64 (/.f64 1 3) (acos.f64 (.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))

Compiler

Compiled 4005 to 2933 computations (26.8% saved)

series586.0ms (6.2%)

Error

1.0b

Counts

4 → 39

Calls

4 calls:

226.0ms	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))
136.0ms	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))
125.0ms	(.f64 (/.f64 1 3) (acos.f64 (.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
68.0ms	(.f64 3 (/.f64 x (.f64 y 27)))

Compiler

Compiled 1760 to 1470 computations (16.5% saved)

simplify102.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4935	3068
1	4935	3068

prune203.0ms (2.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	170	2	172
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	171	2	173

Error

Counts

173 → 2

Compiler

Compiled 3561 to 2369 computations (33.5% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.0b	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2)))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
1.0b	(/.f64 (cbrt.f64 1) (cbrt.f64 3))
2.4b	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
4.2b	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))

rewrite640.0ms (6.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

85×	`cbrt-prod_binary64_16477`
83×	`add-sqr-sqrt_binary64_16468`
80×	`times-frac_binary64_16452`
63×	`*-un-lft-identity_binary64_16446`
61×	`add-exp-log_binary64_16484` `add-cube-cbrt_binary64_16481`
57×	`add-cbrt-cube_binary64_16482`
45×	`associate-r_binary64_16386`
23×	`prod-exp_binary64_16495` `cbrt-unprod_binary64_16479`
18×	`div-exp_binary64_16497` `cbrt-undiv_binary64_16480`
9×	`unswap-sqr_binary64_16414` `associate-l_binary64_16387`
8×	`pow1_binary64_16507`
7×	`associate-/l_binary64_16391` `associate-/r_binary64_16390`
4×	`add-log-exp_binary64_16485` `div-inv_binary64_16443` `sqrt-prod_binary64_16462`
3×	`associate-*r/_binary64_16388`
2×	`frac-2neg_binary64_16457` `clear-num_binary64_16445` `pow-prod-down_binary64_16517` `*-commutative_binary64_16377`
1×	`associate-/l/_binary64_16393`

Counts

4 → 187

Calls

4 calls:

14.0ms	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2)))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
12.0ms	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
7.0ms	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))
5.0ms	(/.f64 (cbrt.f64 1) (cbrt.f64 3))

Compiler

Compiled 7758 to 6253 computations (19.4% saved)

series670.0ms (7%)

Error

Counts

4 → 33

Calls

4 calls:

238.0ms	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
232.0ms	(.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2)))) (/.f64 (cbrt.f64 1) (cbrt.f64 3)))
152.0ms	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))
0.0ms	(/.f64 (cbrt.f64 1) (cbrt.f64 3))

Compiler

Compiled 2804 to 2549 computations (9.1% saved)

simplify106.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4913	4690
1	4913	4690

prune601.0ms (6.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	220	0	220
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	220	2	222

Error

Counts

222 → 2

Compiler

Compiled 7855 to 6119 computations (22.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 1/9 (/.f64 x y))
1.0b	(/.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))) 3)
2.4b	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
4.2b	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))

rewrite184.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

61×	`add-exp-log_binary64_16484` `add-cbrt-cube_binary64_16482`
32×	`add-sqr-sqrt_binary64_16468`
23×	`prod-exp_binary64_16495` `add-cube-cbrt_binary64_16481` `cbrt-unprod_binary64_16479` `*-un-lft-identity_binary64_16446`
21×	`times-frac_binary64_16452`
18×	`div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `associate-r_binary64_16386`
9×	`associate-l_binary64_16387`
8×	`pow1_binary64_16507`
4×	`add-log-exp_binary64_16485` `div-inv_binary64_16443` `associate-/l_binary64_16391` `associate-/r_binary64_16390` `unswap-sqr_binary64_16414` `sqrt-prod_binary64_16462`
3×	`associate-*r/_binary64_16388`
2×	`frac-2neg_binary64_16457` `clear-num_binary64_16445` `pow-prod-down_binary64_16517` `*-commutative_binary64_16377`
1×	`associate-/l/_binary64_16393` `acos-asin_binary64_16627` `div-sub_binary64_16451`

Counts

4 → 123

Calls

4 calls:

15.0ms	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
7.0ms	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))
7.0ms	(*.f64 1/9 (/.f64 x y))
3.0ms	(/.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))) 3)

Compiler

Compiled 3082 to 1864 computations (39.5% saved)

series581.0ms (6.1%)

Error

Counts

4 → 39

Calls

4 calls:

232.0ms	(.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))
136.0ms	(/.f64 (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (.f64 1/9 (/.f64 x y)) (*.f64 z 2)))) 3)
127.0ms	(/.f64 (.f64 1/9 (/.f64 x y)) (.f64 z 2))
62.0ms	(*.f64 1/9 (/.f64 x y))

Compiler

Compiled 1598 to 1308 computations (18.1% saved)

simplify100.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4995	2686
1	4995	2686

prune143.0ms (1.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	162	2	164

Error

Counts

164 → 2

Compiler

Compiled 2924 to 1522 computations (47.9% saved)

regimes880.0ms (9.3%)

Accuracy

Total 0.4b remaining (99.9%)

Threshold costs 0.4b (99.9%)

Compiler

Compiled 10435 to 9962 computations (4.5% saved)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	38
1	26	38

Compiler

Compiled 48 to 48 computations (0% saved)

end0.0ms (0%)

sample3.1s (33.1%)

Algorithm

1×

intervals

Results

716.0ms	10490×	body	128	nan
610.0ms	8000×	body	128	valid

Compiler

Compiled 696 to 668 computations (4% saved)

Details

analyze1.0s (10.9%)

sample78.0ms (0.8%)

simplify109.0ms (1.1%)

prune4.0ms (0%)

localize14.0ms (0.2%)

rewrite282.0ms (3%)

series586.0ms (6.2%)

simplify102.0ms (1.1%)

prune203.0ms (2.1%)

localize20.0ms (0.2%)

rewrite640.0ms (6.7%)

series670.0ms (7%)

simplify106.0ms (1.1%)

prune601.0ms (6.3%)

localize12.0ms (0.1%)

rewrite184.0ms (1.9%)

series581.0ms (6.1%)

simplify100.0ms (1.1%)

prune143.0ms (1.5%)

regimes880.0ms (9.3%)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample3.1s (33.1%)

Profiling