Details

sample198.0ms

Algorithm

intervals

Results

149.0ms

256×

body

160

valid

simplify6.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
4	2445
3	706
2	229
1	79
0	31

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize91.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
18×	`add-log-exp`
14×	`add-exp-log`
10×	`add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
8×	`unpow-prod-down` `sum-log` `add-cbrt-cube`
6×	`flip3-+` `prod-exp` `flip-+` `unswap-sqr`
4×	`pow1` `associate-*r/` `frac-add` `sqr-pow`
3×	`associate-+r+`
2×	`+-commutative` `pow-to-exp` `associate-+l+` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`distribute-rgt-in` `associate-+r-` `sub-neg` `distribute-lft-in` `diff-log`

Counts

4 → 85

Calls

4 calls:

137.0ms	(+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0)))
23.0ms	(* (pow 33096.0 6.0) 333.75)
20.0ms	(* 5.5 (pow 33096.0 8.0))
1.4s	(+ (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))))

series0.0ms

Counts

4 → 4

Calls

4 calls:

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

simplify4.3s

Counts

89 → 89

Iterations

Iter	Nodes
done	5002
2	2888
1	617
0	206

prune934.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	(* 5.5 (pow 33096.0 8.0))
1.0b	(* 5.5 (pow 33096.0 8.0))
1.0b	(/ (- (* (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0)))) (* (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))))) (- (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0)))))
62.2b	(- (* (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0)))) (* (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0)))))

rewrite15.5s

Algorithm

rewrite-expression-head

Rules

260×	`associate-*r/`
196×	`flip3-+` `flip-+`
132×	`frac-sub`
128×	`frac-times`
66×	`associate-/l/`
64×	`associate-*l/`
29×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity`
16×	`add-exp-log`
14×	`associate-r`
12×	`times-frac`
10×	`add-cbrt-cube`
8×	`unpow-prod-down`
6×	`associate-l` `prod-exp` `associate-/r/` `add-log-exp` `unswap-sqr`
5×	`distribute-rgt-in` `distribute-lft-in` `difference-of-squares`
4×	`pow1` `associate--l+` `associate-/l*` `sqr-pow`
3×	`flip3--` `associate-/r*` `flip--`
2×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod` `associate--r+`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

4 → 237

Calls

4 calls:

25.0ms	(* 5.5 (pow 33096.0 8.0))
25.0ms	(* 5.5 (pow 33096.0 8.0))
11.7s	(/ (- (* (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0)))) (* (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))))) (- (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0)))))
3.7s	(- (* (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0)))) (* (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.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	(* 5.5 (pow 33096.0 8.0))
0.0ms	(/ (- (* (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0)))) (* (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))))) (- (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0)))))
0.0ms	(- (* (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0)))) (* (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0)))))

simplify5.9s

Counts

241 → 241

Iterations

Iter	Nodes
done	5003
1	1579
0	463

prune4.2s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize424.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.3m

Algorithm

rewrite-expression-head

Calls

4 calls:

325.0ms	(* (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)))
323.0ms	(* (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)))
373.0ms	(* (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)))
2.9m	(- (* (* (* (* 77617.0 77617.0) (- (* (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0)))) (* (* (pow 33096.0 4.0) -121.0) (* (pow 33096.0 4.0) -121.0)))) (* (* 77617.0 77617.0) (+ (pow (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) 3) (pow (* (pow 33096.0 4.0) -121.0) 3)))) (* (+ (* (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))))) (+ (* (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))))))) (* (* (- (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0)) (+ (* (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0)))) (- (* (* (pow 33096.0 4.0) -121.0) (* (pow 33096.0 4.0) -121.0)) (* (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))))) (* (+ (pow (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (pow (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))))