Details

analyze0.0ms (0%)

Algorithm

1×

random

sample66.0ms (0.9%)

Algorithm

1×

intervals

Results

61.0ms

256×

body

160

valid

simplify67.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4958	43
1	4958	43

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 58.1b

Counts

2 → 1

localize28.0ms (0.4%)

Local error

Found 4 expressions with local error:

1.0b	(* 5.5 (pow 33096.0 8.0))
1.0b	(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))
1.0b	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
62.0b	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

rewrite58.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-log-exp`
12×	`add-sqr-sqrt`
9×	`add-exp-log` `*-un-lft-identity` `sum-log`
7×	`add-cube-cbrt` `associate-r`
6×	`add-cbrt-cube`
4×	`pow1` `unpow-prod-down`
3×	`flip3-+` `associate-l` `prod-exp` `flip-+` `unswap-sqr`
2×	`+-commutative` `associate-+l+` `frac-add` `sqr-pow`
1×	`pow-to-exp` `sub-neg` `flip3--` `diff-log` `pow-exp` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out`

Counts

4 → 66

Calls

4 calls:

23.0ms	(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))
18.0ms	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
11.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
5.0ms	(* 5.5 (pow 33096.0 8.0))

series0.0ms (0%)

Counts

4 → 4

Calls

4 calls:

0.0ms	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
0.0ms	(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))
0.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
0.0ms	(* 5.5 (pow 33096.0 8.0))

simplify30.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	5438	2500

prune328.0ms (4.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	1	71

Merged error: 58.1b

Counts

71 → 1

localize37.0ms (0.5%)

Local error

Found 4 expressions with local error:

1.0b	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
1.6b	(pow (* 5.5 (pow 33096.0 8.0)) 3)
1.6b	(pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)
62.3b	(+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))

rewrite40.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-exp-log`
10×	`*-un-lft-identity`
8×	`add-sqr-sqrt` `add-cube-cbrt` `add-cbrt-cube` `add-log-exp`
6×	`pow1` `pow-unpow` `pow-exp`
4×	`unpow-prod-down` `cube-prod`
3×	`pow-to-exp` `prod-exp` `rem-cube-cbrt`
2×	`cube-div` `cube-mult` `pow-pow` `flip3-+` `unpow3` `flip-+` `sqr-pow`
1×	`+-commutative` `sub-neg` `flip3--` `diff-log` `sum-log` `sum-cubes` `flip--` `cbrt-unprod` `distribute-lft-out`

Counts

4 → 72

Calls

4 calls:

16.0ms	(+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))
12.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
6.0ms	(pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)
4.0ms	(pow (* 5.5 (pow 33096.0 8.0)) 3)

series0.0ms (0%)

Counts

4 → 4

Calls

4 calls:

0.0ms	(+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))
0.0ms	(pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)
0.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
0.0ms	(pow (* 5.5 (pow 33096.0 8.0)) 3)

simplify53.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5196	2685

prune1.5s (20.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	76	1	77

Merged error: 58.1b

Counts

77 → 1

localize43.0ms (0.6%)

Local error

Found 4 expressions with local error:

1.0b	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
1.0b	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
1.6b	(pow (* 5.5 (pow 33096.0 8.0)) 3)
62.3b	(+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))

rewrite47.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-exp-log` `add-log-exp`
7×	`add-cbrt-cube`
5×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `pow-exp`
3×	`pow-unpow` `prod-exp`
2×	`pow-to-exp` `sub-neg` `associate-+l+` `flip3--` `diff-log` `flip--` `rem-cube-cbrt`
1×	`+-commutative` `distribute-rgt-in` `cube-mult` `unpow-prod-down` `pow-pow` `distribute-lft-in` `flip3-+` `unpow3` `cube-prod` `pow3` `sum-log` `sum-cubes` `cbrt-unprod` `flip-+` `unpow2` `sqr-pow`

Counts

4 → 59

Calls

4 calls:

17.0ms	(+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))
12.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
12.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
4.0ms	(pow (* 5.5 (pow 33096.0 8.0)) 3)

series0.0ms (0%)

Counts

4 → 4

Calls

4 calls:

0.0ms	(+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))
0.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
0.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
0.0ms	(pow (* 5.5 (pow 33096.0 8.0)) 3)

simplify31.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5669	1928

prune1.4s (18.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	62	1	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	1	64

Merged error: 58.1b

Counts

64 → 1

localize45.0ms (0.6%)

Local error

Found 4 expressions with local error:

1.0b	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
1.0b	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
1.6b	(pow (* 5.5 (pow 33096.0 8.0)) 3)
62.3b	(+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))

rewrite47.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-exp-log` `add-log-exp`
7×	`add-cbrt-cube`
5×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `pow-exp`
3×	`pow-unpow` `prod-exp`
2×	`pow-to-exp` `sub-neg` `associate-+l+` `flip3--` `diff-log` `flip--` `rem-cube-cbrt`
1×	`+-commutative` `distribute-rgt-in` `cube-mult` `unpow-prod-down` `pow-pow` `distribute-lft-in` `flip3-+` `unpow3` `cube-prod` `pow3` `sum-log` `sum-cubes` `cbrt-unprod` `flip-+` `unpow2` `sqr-pow`

Counts

4 → 59

Calls

4 calls:

16.0ms	(+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))
14.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
12.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
4.0ms	(pow (* 5.5 (pow 33096.0 8.0)) 3)

series0.0ms (0%)

Counts

4 → 4

Calls

4 calls:

0.0ms	(+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))
0.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
0.0ms	(- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
0.0ms	(pow (* 5.5 (pow 33096.0 8.0)) 3)

simplify27.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	5533	1600

prune1.8s (23.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	62	1	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	1	64

Merged error: 58.1b

Counts

64 → 1

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	204	249
1	204	249

end0.0ms (0%)

sample1.9s (25.4%)

Algorithm

1×

intervals

Results

1.9s

8000×

body

160

valid

Details

analyze0.0ms (0%)

sample66.0ms (0.9%)

simplify67.0ms (0.9%)

prune7.0ms (0.1%)

localize28.0ms (0.4%)

rewrite58.0ms (0.8%)

series0.0ms (0%)

simplify30.0ms (0.4%)

prune328.0ms (4.3%)

localize37.0ms (0.5%)

rewrite40.0ms (0.5%)

series0.0ms (0%)

simplify53.0ms (0.7%)

prune1.5s (20.2%)

localize43.0ms (0.6%)

rewrite47.0ms (0.6%)

series0.0ms (0%)

simplify31.0ms (0.4%)

prune1.4s (18.3%)

localize45.0ms (0.6%)

rewrite47.0ms (0.6%)

series0.0ms (0%)

simplify27.0ms (0.4%)

prune1.8s (23.6%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.9s (25.4%)

Profiling