Details

analyze2.4s (1.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	691	638
1	691	638
0	8	8
1	8	8

Search

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

Symmetry

sort(x y)

sort(z t)

sort(a b)

sort(c i)

Compiler

Compiled 16 to 16 computations (0% saved)

sample93.0ms (0.1%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
9.0ms	195×	body	128	invalid

Compiler

Compiled 31 to 39 computations (-25.8% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	67	22
1	67	22

prune3.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.0b

Counts

2 → 1

Compiler

Compiled 30 to 30 computations (0% saved)

localize13.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
0.0b	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

rewrite63.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

19×	`add-log-exp_binary64_4550`
10×	`sum-log_binary64_4602`
3×	`pow1_binary64_4572` `add-exp-log_binary64_4549` `add-cbrt-cube_binary64_4547` `add-cube-cbrt_binary64_4546` `add-sqr-sqrt_binary64_4533` `flip3-+_binary64_4514` `*-un-lft-identity_binary64_4511` `flip-+_binary64_4485` `+-commutative_binary64_4441`
2×	`associate-+l+_binary64_4444`

Counts

3 → 38

Calls

3 calls:

13.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
9.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
5.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 1006 to 161 computations (84% saved)

series968.0ms (0.6%)

Error

0.0b

Counts

3 → 108

Calls

3 calls:

490.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
280.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
138.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 3266 to 2266 computations (30.6% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5006	2201

prune96.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	144	2	146
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	144	3	147

Error

0.0b

Counts

147 → 3

Compiler

Compiled 2199 to 205 computations (90.7% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 (.f64 t z) (.f64 a b)) (*.f64 x y))
0.0b	(+.f64 (.f64 t z) (.f64 a b))
0.3b	(pow.f64 (+.f64 (+.f64 (.f64 t z) (.f64 a b)) (*.f64 x y)) 3)
40.0b	(cbrt.f64 (pow.f64 (+.f64 (+.f64 (.f64 t z) (.f64 a b)) (*.f64 x y)) 3))

rewrite105.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`cbrt-prod_binary64_4542`
11×	`add-log-exp_binary64_4550`
10×	`add-cube-cbrt_binary64_4546` `add-sqr-sqrt_binary64_4533` `*-un-lft-identity_binary64_4511`
6×	`unpow-prod-down_binary64_4590` `cube-prod_binary64_4539`
5×	`pow1_binary64_4572` `add-exp-log_binary64_4549` `add-cbrt-cube_binary64_4547`
4×	`flip3-+_binary64_4514` `cube-div_binary64_4540` `flip-+_binary64_4485` `sum-log_binary64_4602`
3×	`pow-unpow_binary64_4588`
2×	`cbrt-div_binary64_4543` `unpow3_binary64_4577` `cube-mult_binary64_4541` `sqr-pow_binary64_4483` `+-commutative_binary64_4441`
1×	`pow1/3_binary64_4593` `rem-cbrt-cube_binary64_4535` `pow-pow_binary64_4583` `pow-to-exp_binary64_4580` `pow-exp_binary64_4579` `rem-cube-cbrt_binary64_4534` `associate-+l+_binary64_4444`

Counts

4 → 72

Calls

4 calls:

8.0ms	(pow.f64 (+.f64 (+.f64 (.f64 t z) (.f64 a b)) (*.f64 x y)) 3)
7.0ms	(+.f64 (+.f64 (.f64 t z) (.f64 a b)) (*.f64 x y))
7.0ms	(cbrt.f64 (pow.f64 (+.f64 (+.f64 (.f64 t z) (.f64 a b)) (*.f64 x y)) 3))
4.0ms	(+.f64 (.f64 t z) (.f64 a b))

Compiler

Compiled 2273 to 556 computations (75.5% saved)

series2.0s (1.3%)

Error

0.0b

Counts

4 → 166

Calls

4 calls:

976.0ms	(pow.f64 (+.f64 (+.f64 (.f64 t z) (.f64 a b)) (*.f64 x y)) 3)
299.0ms	(cbrt.f64 (pow.f64 (+.f64 (+.f64 (.f64 t z) (.f64 a b)) (*.f64 x y)) 3))
293.0ms	(+.f64 (+.f64 (.f64 t z) (.f64 a b)) (*.f64 x y))
158.0ms	(+.f64 (.f64 t z) (.f64 a b))

Compiler

Compiled 15278 to 10631 computations (30.4% saved)

simplify117.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

238 → 238

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5064	9998

prune254.0ms (0.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	237	1	238
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	238	3	241

Error

0.0b

Counts

241 → 3

Compiler

Compiled 8489 to 1798 computations (78.8% saved)

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z))) 2)
0.3b	(.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (.f64 t z))) 2)) (cbrt.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z)))))
0.5b	(cbrt.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z))))
30.2b	(cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z))) 2))

rewrite172.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

37×	`cbrt-prod_binary64_4542`
30×	`add-sqr-sqrt_binary64_4533`
14×	`add-cube-cbrt_binary64_4546` `*-un-lft-identity_binary64_4511`
11×	`unpow-prod-down_binary64_4590` `associate-l_binary64_4452`
10×	`unswap-sqr_binary64_4479`
7×	`pow1_binary64_4572` `add-exp-log_binary64_4549` `unpow2_binary64_4576`
6×	`associate-r_binary64_4451`
5×	`sqr-pow_binary64_4483`
4×	`pow1/3_binary64_4593` `add-log-exp_binary64_4550` `add-cbrt-cube_binary64_4547` `cbrt-div_binary64_4543`
3×	`pow-unpow_binary64_4588`
2×	`flip3-+_binary64_4514` `flip-+_binary64_4485` `pow-prod-down_binary64_4582` `associate-*r/_binary64_4453`
1×	`pow3_binary64_4594` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `rem-3cbrt-lft_binary64_4536` `*-commutative_binary64_4442` `pow-pow_binary64_4583` `pow-to-exp_binary64_4580` `pow-exp_binary64_4579`

Counts

4 → 90

Calls

4 calls:

22.0ms	(.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (.f64 t z))) 2)) (cbrt.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z)))))
7.0ms	(pow.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z))) 2)
7.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z))) 2))
6.0ms	(cbrt.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z))))

Compiler

Compiled 4171 to 806 computations (80.7% saved)

series3.5s (2.4%)

Error

0.0b

Counts

4 → 162

Calls

4 calls:

1.4s	(cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z))) 2))
791.0ms	(cbrt.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z))))
753.0ms	(pow.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z))) 2)
309.0ms	(.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (.f64 t z))) 2)) (cbrt.f64 (+.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z)))))

Compiler

Compiled 21146 to 13713 computations (35.2% saved)

simplify97.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

252 → 252

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5495	9153

prune305.0ms (0.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	251	1	252
Fresh	0	0	0
Picked	0	1	1
Done	1	1	2
Total	252	3	255

Error

0.0b

Counts

255 → 3

Compiler

Compiled 10145 to 2362 computations (76.7% saved)

localize33.0ms (0%)

Local error

Found 4 expressions with local error:

23.8b	(/.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 (.f64 t z) (.f64 a b)) (.f64 y x)) 2)) (cbrt.f64 (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (+.f64 (.f64 t z) (.f64 a b)) 3)))) (cbrt.f64 (+.f64 (.f64 (.f64 x y) (.f64 x y)) (-.f64 (.f64 (+.f64 (.f64 a b) (.f64 t z)) (+.f64 (.f64 a b) (.f64 t z))) (.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z)))))))
30.2b	(cbrt.f64 (+.f64 (.f64 (.f64 x y) (.f64 x y)) (-.f64 (.f64 (+.f64 (.f64 a b) (.f64 t z)) (+.f64 (.f64 a b) (.f64 t z))) (.f64 (.f64 x y) (+.f64 (.f64 a b) (.f64 t z))))))
30.2b	(cbrt.f64 (pow.f64 (+.f64 (+.f64 (.f64 t z) (.f64 a b)) (*.f64 y x)) 2))
40.0b	(cbrt.f64 (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (+.f64 (.f64 t z) (*.f64 a b)) 3)))

rewrite261.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

22×	`cbrt-prod_binary64_4542`
14×	`*-un-lft-identity_binary64_4511`
12×	`add-cube-cbrt_binary64_4546` `add-sqr-sqrt_binary64_4533`
9×	`add-exp-log_binary64_4549`
8×	`cbrt-div_binary64_4543`
6×	`times-frac_binary64_4517` `associate-/r*_binary64_4455`
5×	`add-cbrt-cube_binary64_4547`
4×	`pow1_binary64_4572` `add-log-exp_binary64_4550` `flip3-+_binary64_4514` `flip-+_binary64_4485`
3×	`pow1/3_binary64_4593` `unpow-prod-down_binary64_4590`
2×	`div-exp_binary64_4562` `cbrt-undiv_binary64_4545` `associate-*r/_binary64_4453` `associate-/l/_binary64_4458` `associate-/r/_binary64_4457`
1×	`sum-cubes_binary64_4512` `distribute-lft-out_binary64_4462` `unpow2_binary64_4576` `sqr-pow_binary64_4483` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `frac-2neg_binary64_4522` `clear-num_binary64_4510` `div-inv_binary64_4508` `associate-/l*_binary64_4456`

Counts

4 → 75

Calls

4 calls:

36.0ms	(/.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 (.f64 t z) (.f64 a b)) (.f64 y x)) 2)) (cbrt.f64 (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (+.f64 (.f64 t z) (.f64 a b)) 3)))) (cbrt.f64 (+.f64 (.f64 (.f64 x y) (.f64 x y)) (-.f64 (.f64 (+.f64 (.f64 a b) (.f64 t z)) (+.f64 (.f64 a b) (.f64 t z))) (.f64 (.f64 x y) (+.f64 (.f64 a b) (*.f64 t z)))))))
14.0ms	(cbrt.f64 (+.f64 (pow.f64 (.f64 y x) 3) (pow.f64 (+.f64 (.f64 t z) (*.f64 a b)) 3)))
14.0ms	(cbrt.f64 (+.f64 (.f64 (.f64 x y) (.f64 x y)) (-.f64 (.f64 (+.f64 (.f64 a b) (.f64 t z)) (+.f64 (.f64 a b) (.f64 t z))) (.f64 (.f64 x y) (+.f64 (.f64 a b) (.f64 t z))))))
7.0ms	(cbrt.f64 (pow.f64 (+.f64 (+.f64 (.f64 t z) (.f64 a b)) (*.f64 y x)) 2))

Compiler

Compiled 7586 to 1330 computations (82.5% saved)

series2.3min (92.9%)

Calls

3 calls:

2.6s

(cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (+.f64 (*.f64 a b) (*.f64 t z)) (+.f64 (*.f64 a b) (*.f64 t z))) (*.f64 (*.f64 x y) (+.f64 (*.f64 a b) (*.f64 t z))))))

2.2s

(cbrt.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 (+.f64 (*.f64 t z) (*.f64 a b)) 3)))

1.5s

(cbrt.f64 (pow.f64 (+.f64 (+.f64 (*.f64 t z) (*.f64 a b)) (*.f64 y x)) 2))

Compiler

Compiled 47231 to 31636 computations (33% saved)

Details

analyze2.4s (1.6%)

sample93.0ms (0.1%)

simplify8.0ms (0%)

prune3.0ms (0%)

localize13.0ms (0%)

rewrite63.0ms (0%)

series968.0ms (0.6%)

simplify77.0ms (0.1%)

prune96.0ms (0.1%)

localize15.0ms (0%)

rewrite105.0ms (0.1%)

series2.0s (1.3%)

simplify117.0ms (0.1%)

prune254.0ms (0.2%)

localize17.0ms (0%)

rewrite172.0ms (0.1%)

series3.5s (2.4%)

simplify97.0ms (0.1%)

prune305.0ms (0.2%)

localize33.0ms (0%)

rewrite261.0ms (0.2%)

series2.3min (92.9%)

Profiling