Details

sample119.0ms

Algorithm

intervals

Results

84.0ms

256×

body

160

valid

simplify4.0s

Counts

1 → 1

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	31	44
1	79	43
2	237	43
3	758	43
4	2492	43
done	5000	43

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize30.0ms

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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))
1.0b	(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
62.0b	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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)))

rewrite3.7s

Algorithm

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 → 70

Calls

4 calls:

12.0ms	(* 5.5 (pow 33096.0 8.0))
1.9s	(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))
123.0ms	(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
1.6s	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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)))

series0.0ms

Counts

4 → 4

Calls

4 calls:

0.0ms	(* 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)) (- (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)) (- (pow 33096.0 6.0)))
0.0ms	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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)))

simplify1.1s

Counts

74 → 74

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	154	2867
1	425	2655
2	1742	2531
done	5001	2527

prune469.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize82.0ms

Local error

Found 4 expressions with local error:

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

rewrite8.2s

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 86

Calls

4 calls:

12.0ms	(* 5.5 (pow 33096.0 8.0))
15.0ms	(pow (* 5.5 (pow 33096.0 8.0)) 3)
2.2s	(pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)
5.9s	(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))

series0.0ms

Counts

4 → 4

Calls

4 calls:

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

simplify1.7s

Counts

90 → 90

Iterations

Useful iterations: done (1.7s)

Iter	Nodes	Cost
0	161	3783
1	446	3488
2	2018	3006
done	5000	3002

prune891.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0s

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
20×	`add-exp-log`
11×	`add-cube-cbrt` `-un-lft-identity` `associate-l*` `add-cbrt-cube`
10×	`associate-r`
9×	`unpow-prod-down` `prod-exp`
7×	`pow-exp` `unswap-sqr`
6×	`pow1` `add-log-exp`
5×	`sqr-pow`
4×	`pow-to-exp` `unpow2`
3×	`pow-unpow` `cbrt-unprod`
2×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `flip3-+` `associate-r/` `pow3` `-commutative` `flip-+` `rem-cube-cbrt`
1×	`+-commutative` `cube-mult` `pow-pow` `pow-plus` `unpow3` `cube-prod` `sum-log` `sum-cubes` `pow-prod-up`

Counts

4 → 96

Calls

4 calls:

13.0ms	(* 5.5 (pow 33096.0 8.0))
11.8s	(* (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))
8.0ms	(pow (* 5.5 (pow 33096.0 8.0)) 3)
4.2s	(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))

series0.0ms

Counts

4 → 4

Calls

4 calls:

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

simplify1.9s

Counts

100 → 100

Iterations

Useful iterations: 2 (477.0ms)

Iter	Nodes	Cost
0	180	5909
1	499	3929
2	2336	3571
done	5001	3571

prune951.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize97.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.0s

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-exp-log`
12×	`pow-pow`
9×	`add-sqr-sqrt` `add-cube-cbrt` `pow-unpow` `*-un-lft-identity`
8×	`unpow-prod-down` `pow-exp`
7×	`pow1/3` `add-cbrt-cube`
6×	`add-log-exp`
4×	`pow-to-exp` `prod-exp`
3×	`cbrt-prod` `sqr-pow`
2×	`associate-+r+` `pow-prod-down` `pow-sqr` `pow-prod-up` `rem-cube-cbrt`
1×	`+-commutative` `pow2` `distribute-rgt-in` `cube-mult` `distribute-lft-in` `flip3-+` `pow-plus` `unpow3` `cube-prod` `pow3` `sum-log` `sum-cubes` `cbrt-unprod` `flip-+` `unpow2`

Counts

4 → 82

Calls

4 calls:

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

series0.0ms

Counts

4 → 4

Calls

4 calls:

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

simplify1.1s

Counts

86 → 86

Iterations

Useful iterations: 2 (267.0ms)

Iter	Nodes	Cost
0	151	2212
1	374	1480
2	1455	1318
done	5002	1318

prune954.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

simplify13.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	54	311
1	77	311
done	77	311

end0.0ms

sample4.0s

Algorithm

intervals

Results

3.9s

8000×

body

160

valid