Details

analyze1.6s (7.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4965	496
1	4965	496
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
1.1%	98.6%	0.3%	12
1.9%	97.8%	0.3%	13
7%	92.7%	0.3%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample29.0ms (0.1%)

Algorithm

1×

intervals

Results

14.0ms

256×

body

128

valid

Compiler

Compiled 43 to 39 computations (9.3% saved)

simplify98.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	5141	31

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

24.5b

Counts

2 → 1

Compiler

Compiled 42 to 31 computations (26.2% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 x y) z)
1.7b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
1.8b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
23.0b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

rewrite163.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

24.3b

Rules

38×	`*-un-lft-identity_binary64_23266`
18×	`add-sqr-sqrt_binary64_23288`
16×	`add-cube-cbrt_binary64_23301`
15×	`times-frac_binary64_23272`
13×	`distribute-lft-out_binary64_23217`
11×	`add-log-exp_binary64_23305`
10×	`associate-*l/_binary64_23209`
8×	`add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
7×	`flip3-+_binary64_23269` `flip-+_binary64_23240`
6×	`pow1_binary64_23327`
5×	`associate-/r*_binary64_23210`
4×	`frac-add_binary64_23274` `associate-l_binary64_23207`
3×	`associate-/l_binary64_23211` `associate-r*_binary64_23206`
2×	`flip3--_binary64_23270` `associate-/l/_binary64_23213` `flip--_binary64_23241` `associate-/r/_binary64_23212` `sum-log_binary64_23357` `diff-log_binary64_23358`
1×	`div-exp_binary64_23317` `cbrt-undiv_binary64_23300` `frac-2neg_binary64_23277` `div-sub_binary64_23271` `clear-num_binary64_23265` `div-inv_binary64_23263` `sub-neg_binary64_23259` `cancel-sign-sub-inv_binary64_23232` `associate--l+_binary64_23203` `+-commutative_binary64_23196` `pow-prod-down_binary64_23337` `prod-exp_binary64_23315` `cbrt-unprod_binary64_23299` `unswap-sqr_binary64_23234` `*-commutative_binary64_23197`

Counts

4 → 90

Calls

4 calls:

16.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
10.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
8.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
6.0ms	(*.f64 (+.f64 x y) z)

Compiler

Compiled 3256 to 447 computations (86.3% saved)

series1.9s (8.8%)

Error

4.7b

Counts

4 → 126

Calls

4 calls:

942.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
447.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
316.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
86.0ms	(*.f64 (+.f64 x y) z)

Compiler

Compiled 10413 to 5136 computations (50.7% saved)

simplify85.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5062	7616

prune226.0ms (1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	203	13	216
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	204	13	217

Error

4.6b

Counts

217 → 13

Compiler

Compiled 7194 to 1154 computations (84% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 x y) z)
1.7b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
1.8b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
23.0b	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 y (+.f64 t x))))

rewrite164.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

4.6b

Rules

34×	`*-un-lft-identity_binary64_23266`
25×	`add-sqr-sqrt_binary64_23288`
24×	`associate-r_binary64_23206`
17×	`times-frac_binary64_23272`
16×	`add-cube-cbrt_binary64_23301`
15×	`add-exp-log_binary64_23304`
12×	`associate-*l/_binary64_23209`
11×	`add-log-exp_binary64_23305` `add-cbrt-cube_binary64_23302`
10×	`distribute-lft-out_binary64_23217`
8×	`pow1_binary64_23327`
7×	`associate-l_binary64_23207` `flip3-+_binary64_23269` `flip-+_binary64_23240`
5×	`prod-exp_binary64_23315`
4×	`unswap-sqr_binary64_23234` `frac-add_binary64_23274`
3×	`cbrt-unprod_binary64_23299` `flip3--_binary64_23270` `flip--_binary64_23241`
2×	`pow-prod-down_binary64_23337` `div-exp_binary64_23317` `frac-times_binary64_23276` `associate-/r/_binary64_23212` `*-commutative_binary64_23197` `sum-log_binary64_23357` `diff-log_binary64_23358`
1×	`1-exp_binary64_23310` `rec-exp_binary64_23316` `cbrt-undiv_binary64_23300` `un-div-inv_binary64_23264` `associate-*r/_binary64_23208` `div-inv_binary64_23263` `sub-neg_binary64_23259` `cancel-sign-sub-inv_binary64_23232` `associate--l+_binary64_23203` `+-commutative_binary64_23196`

Counts

4 → 98

Calls

4 calls:

22.0ms	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 y (+.f64 t x))))
11.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
8.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
7.0ms	(*.f64 (+.f64 x y) z)

Compiler

Compiled 3644 to 770 computations (78.9% saved)

series1.9s (8.6%)

Error

4.6b

Counts

4 → 126

Calls

4 calls:

920.0ms	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 y (+.f64 t x))))
441.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
303.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
91.0ms	(*.f64 (+.f64 x y) z)

Compiler

Compiled 10821 to 5596 computations (48.3% saved)

simplify81.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

224 → 224

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5091	7567

prune219.0ms (1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	222	2	224
Fresh	2	10	12
Picked	0	1	1
Done	0	0	0
Total	224	13	237

Error

4.6b

Counts

237 → 13

Compiler

Compiled 7587 to 1570 computations (79.3% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))))
0.7b	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))
2.5b	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
23.0b	(/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))))

rewrite314.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

4.6b

Rules

156×	`*-un-lft-identity_binary64_23266`
150×	`times-frac_binary64_23272`
76×	`add-cube-cbrt_binary64_23301` `add-sqr-sqrt_binary64_23288`
48×	`distribute-lft-out_binary64_23217`
31×	`associate-/r/_binary64_23212`
28×	`associate-/r*_binary64_23210`
24×	`associate-*r/_binary64_23208` `frac-add_binary64_23274`
19×	`flip3-+_binary64_23269` `flip-+_binary64_23240`
17×	`add-exp-log_binary64_23304`
13×	`flip3--_binary64_23270` `flip--_binary64_23241`
11×	`add-log-exp_binary64_23305` `add-cbrt-cube_binary64_23302`
8×	`div-exp_binary64_23317` `associate-/l*_binary64_23211`
6×	`div-inv_binary64_23263`
5×	`pow1_binary64_23327`
4×	`cbrt-undiv_binary64_23300` `associate-+r+_binary64_23198` `associate--l+_binary64_23203`
3×	`distribute-rgt-in_binary64_23216` `distribute-lft-in_binary64_23215`
2×	`frac-2neg_binary64_23277` `clear-num_binary64_23265` `associate-/l/_binary64_23213` `diff-log_binary64_23358` `sum-log_binary64_23357` `associate-+l+_binary64_23199` `sub-neg_binary64_23259` `cancel-sign-sub-inv_binary64_23232` `1-exp_binary64_23310` `rec-exp_binary64_23316`
1×	`associate-+r-_binary64_23200` `+-commutative_binary64_23196` `inv-pow_binary64_23351` `pow-flip_binary64_23340`

Counts

4 → 204

Calls

4 calls:

22.0ms	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))))
19.0ms	(/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))))
12.0ms	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
6.0ms	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))

Compiler

Compiled 10040 to 1541 computations (84.7% saved)

series3.9s (17.7%)

Error

4.6b

Counts

4 → 143

Calls

4 calls:

2.2s	(/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))))
888.0ms	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))))
444.0ms	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
206.0ms	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))

Compiler

Compiled 20570 to 10409 computations (49.4% saved)

simplify160.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

347 → 347

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5240	18983

prune377.0ms (1.7%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	346	1	347
Fresh	1	10	11
Picked	0	1	1
Done	0	1	1
Total	347	13	360

Error

4.6b

Counts

360 → 13

Compiler

Compiled 15439 to 2862 computations (81.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.7b	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))
2.5b	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
7.1b	(/.f64 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))) (cbrt.f64 (+.f64 y (+.f64 t x))))
15.8b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))) (/.f64 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))) (cbrt.f64 (+.f64 y (+.f64 t x)))))

rewrite337.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

4.6b

Rules

76×	`*-un-lft-identity_binary64_23266`
63×	`times-frac_binary64_23272`
59×	`add-sqr-sqrt_binary64_23288`
51×	`add-exp-log_binary64_23304`
38×	`add-cube-cbrt_binary64_23301` `cbrt-prod_binary64_23297`
30×	`associate-r_binary64_23206`
21×	`distribute-lft-out_binary64_23217`
20×	`prod-exp_binary64_23315`
19×	`add-cbrt-cube_binary64_23302`
16×	`div-exp_binary64_23317` `cbrt-div_binary64_23298`
15×	`associate-l_binary64_23207`
14×	`flip3-+_binary64_23269` `flip-+_binary64_23240`
12×	`associate-/r/_binary64_23212`
11×	`add-log-exp_binary64_23305` `associate-*r/_binary64_23208`
9×	`unswap-sqr_binary64_23234`
8×	`cbrt-unprod_binary64_23299` `cbrt-undiv_binary64_23300` `frac-add_binary64_23274` `associate-/r*_binary64_23210`
6×	`pow1_binary64_23327` `associate-/l/_binary64_23213`
5×	`frac-times_binary64_23276` `flip3--_binary64_23270` `flip--_binary64_23241`
4×	`1-exp_binary64_23310` `rec-exp_binary64_23316` `associate-+r+_binary64_23198` `associate--l+_binary64_23203`
3×	`associate-l/_binary64_23209` `div-inv_binary64_23263` `associate-/l_binary64_23211` `distribute-rgt-in_binary64_23216` `distribute-lft-in_binary64_23215`
2×	`associate-+r-_binary64_23200` `diff-log_binary64_23358` `sum-log_binary64_23357` `associate-+l+_binary64_23199` `sub-neg_binary64_23259` `cancel-sign-sub-inv_binary64_23232`
1×	`pow-prod-down_binary64_23337` `*-commutative_binary64_23197` `frac-2neg_binary64_23277` `div-sub_binary64_23271` `clear-num_binary64_23265` `+-commutative_binary64_23196`

Counts

4 → 179

Calls

4 calls:

48.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))) (/.f64 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))) (cbrt.f64 (+.f64 y (+.f64 t x)))))
19.0ms	(/.f64 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))) (cbrt.f64 (+.f64 y (+.f64 t x))))
12.0ms	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
7.0ms	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))

Compiler

Compiled 10670 to 1283 computations (88% saved)

series3.7s (16.9%)

Error

4.6b

Counts

4 → 143

Calls

4 calls:

1.8s	(/.f64 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))) (cbrt.f64 (+.f64 y (+.f64 t x))))
955.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x))))) (/.f64 (+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b))) (cbrt.f64 (+.f64 y (+.f64 t x)))))
458.0ms	(+.f64 (.f64 a (+.f64 y t)) (-.f64 (.f64 z (+.f64 y x)) (*.f64 y b)))
217.0ms	(-.f64 (.f64 z (+.f64 y x)) (.f64 y b))

Compiler

Compiled 20814 to 10811 computations (48.1% saved)

simplify154.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

322 → 322

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5418	16763

prune414.0ms (1.9%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	321	1	322
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	321	14	335

Error

4.6b

Counts

335 → 14

Compiler

Compiled 16824 to 2972 computations (82.3% saved)

regimes3.0s (13.8%)

Accuracy

Total 3.2b remaining (41.5%)

Threshold costs 0b (0%)

Compiler

Compiled 27318 to 16305 computations (40.3% saved)

bsearch8.0ms (0%)

Compiler: Compiled 21 to 16 computations (23.8% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	72	112
1	72	112

end0.0ms (0%)

sample3.0s (13.8%)

Algorithm

1×

intervals

Results

654.0ms	7998×	body	128	valid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 4035 to 2375 computations (41.1% saved)

Details

analyze1.6s (7.2%)

sample29.0ms (0.1%)

simplify98.0ms (0.5%)

prune3.0ms (0%)

localize19.0ms (0.1%)

rewrite163.0ms (0.7%)

series1.9s (8.8%)

simplify85.0ms (0.4%)

prune226.0ms (1%)

localize16.0ms (0.1%)

rewrite164.0ms (0.7%)

series1.9s (8.6%)

simplify81.0ms (0.4%)

prune219.0ms (1%)

localize15.0ms (0.1%)

rewrite314.0ms (1.4%)

series3.9s (17.7%)

simplify160.0ms (0.7%)

prune377.0ms (1.7%)

localize19.0ms (0.1%)

rewrite337.0ms (1.5%)

series3.7s (16.9%)

simplify154.0ms (0.7%)

prune414.0ms (1.9%)

regimes3.0s (13.8%)

bsearch8.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample3.0s (13.8%)

Profiling