Details

analyze0.0ms (0%)

Algorithm

1×

random

sample69.0ms (1.8%)

Algorithm

1×

intervals

Results

64.0ms

256×

body

160

valid

simplify56.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4958	43
1	4958	43

prune7.0ms (0.2%)

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

Merged error: 58.1b

Counts

2 → 1

localize25.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

rewrite67.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 69

Calls

4 calls:

26.0ms	(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
21.0ms	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
13.0ms	(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
0.0ms	(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))
0.0ms	(* 5.5 (pow 33096.0 8.0))

simplify48.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5101	2365

prune360.0ms (9.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	72	1	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	73	1	74

Merged error: 58.1b

Counts

74 → 1

localize28.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

rewrite75.0ms (2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-log-exp`
10×	`sum-log`
6×	`*-un-lft-identity`
5×	`associate-+l+`
4×	`pow1` `add-exp-log` `distribute-rgt-in` `add-sqr-sqrt` `add-cube-cbrt` `distribute-lft-in` `flip3-+` `add-cbrt-cube` `flip-+`
3×	`+-commutative`
2×	`frac-add`
1×	`sub-neg` `associate-+r+` `flip3--` `diff-log` `flip--` `distribute-lft-out`

Counts

4 → 56

Calls

4 calls:

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

series0.0ms (0%)

Counts

4 → 4

Calls

4 calls:

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

simplify61.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4852	2705
1	4852	2705

prune309.0ms (8.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	1	61

Merged error: 58.1b

Counts

61 → 1

localize32.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

rewrite79.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `add-log-exp`
4×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+`

Counts

4 → 56

Calls

4 calls:

27.0ms	(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
23.0ms	(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
22.0ms	(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
5.0ms	(+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 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)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))
0.0ms	(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
0.0ms	(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
0.0ms	(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))

simplify42.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5002	2420

prune623.0ms (16.4%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	60	1	61

Merged error: 58.1b

Counts

61 → 1

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	60	110
1	60	110

end0.0ms (0%)

sample1.9s (50.4%)

Algorithm

1×

intervals

Results

1.9s

8000×

body

160

valid

Details

analyze0.0ms (0%)

sample69.0ms (1.8%)

simplify56.0ms (1.5%)

prune7.0ms (0.2%)

localize25.0ms (0.7%)

rewrite67.0ms (1.8%)

series0.0ms (0%)

simplify48.0ms (1.3%)

prune360.0ms (9.5%)

localize28.0ms (0.7%)

rewrite75.0ms (2%)

series0.0ms (0%)

simplify61.0ms (1.6%)

prune309.0ms (8.1%)

localize32.0ms (0.9%)

rewrite79.0ms (2.1%)

series0.0ms (0%)

simplify42.0ms (1.1%)

prune623.0ms (16.4%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.9s (50.4%)

Profiling