Details

Time bar (total: 13.2s)

sample98.0ms

Algorithm
intervals
Results
73.0ms256×body160valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
done5000
43258
3778
2236
179
031

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
14×associate-*r* add-exp-log
13×add-log-exp
10×*-un-lft-identity add-cube-cbrt
8×unpow-prod-down add-cbrt-cube
6×associate-*l* prod-exp unswap-sqr
5×sum-log
4×pow1 sqr-pow
2×pow-to-exp +-commutative flip3-+ pow-exp *-commutative cbrt-unprod flip-+
1×neg-sub0 associate-+l+ associate-+r- unsub-neg neg-log
Counts
4 → 78
Calls
4 calls:
57.0ms
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
9.0ms
(* 333.75 (pow 33096.0 6.0))
9.0ms
(* 5.5 (pow 33096.0 8.0))
1.2s
(+ (+ (* 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
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
0.0ms
(* 333.75 (pow 33096.0 6.0))
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)))

simplify889.0ms

Counts
82 → 82
Iterations
IterNodes
done5001
21804
1429
0163

prune593.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize132.0ms

Local error

Found 4 expressions with local error:

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

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt add-exp-log
13×*-un-lft-identity
11×add-cube-cbrt
10×add-cbrt-cube
8×unpow-prod-down
7×associate-*l* pow-exp
6×pow1 pow-unpow prod-exp add-log-exp
4×pow-to-exp cube-prod sqr-pow
3×associate-*r* 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:
9.0ms
(* (pow 33096.0 6.0) 333.75)
9.0ms
(pow (+ (* (pow 33096.0 6.0) 333.75) (* (+ (+ -2.0 (- (* 11.0 (* (* 77617.0 77617.0) (* 33096.0 33096.0))) (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) (* 77617.0 77617.0))) 3)
6.0ms
(pow (* (pow 33096.0 8.0) 5.5) 3)
86.0ms
(+ (pow (+ (* (pow 33096.0 6.0) 333.75) (* (+ (+ -2.0 (- (* 11.0 (* (* 77617.0 77617.0) (* 33096.0 33096.0))) (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) (* 77617.0 77617.0))) 3) (pow (* (pow 33096.0 8.0) 5.5) 3))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* (pow 33096.0 6.0) 333.75)
0.0ms
(pow (+ (* (pow 33096.0 6.0) 333.75) (* (+ (+ -2.0 (- (* 11.0 (* (* 77617.0 77617.0) (* 33096.0 33096.0))) (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) (* 77617.0 77617.0))) 3)
0.0ms
(pow (* (pow 33096.0 8.0) 5.5) 3)
0.0ms
(+ (pow (+ (* (pow 33096.0 6.0) 333.75) (* (+ (+ -2.0 (- (* 11.0 (* (* 77617.0 77617.0) (* 33096.0 33096.0))) (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) (* 77617.0 77617.0))) 3) (pow (* (pow 33096.0 8.0) 5.5) 3))

simplify1.3s

Counts
90 → 90
Iterations
IterNodes
done5004
22507
1513
0163

prune920.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize110.0ms

Local error

Found 4 expressions with local error:

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

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
20×add-exp-log
14×associate-*l*
11×*-un-lft-identity add-cbrt-cube add-cube-cbrt
9×unpow-prod-down prod-exp
7×pow-exp
6×associate-*r* add-log-exp unswap-sqr
5×pow1 sqr-pow
4×pow-to-exp
3×pow-unpow cbrt-unprod
2×associate-+l+ *-commutative rem-cube-cbrt
1×distribute-rgt-in cube-mult +-commutative sum-log pow-pow distribute-lft-in flip3-+ unpow3 cube-prod pow3 sum-cubes flip-+
Counts
4 → 87
Calls
4 calls:
9.0ms
(* (pow 33096.0 6.0) 333.75)
9.0ms
(* (pow 33096.0 6.0) 333.75)
6.0ms
(pow (* (pow 33096.0 8.0) 5.5) 3)
76.0ms
(+ (* (* (+ (* (pow 33096.0 6.0) 333.75) (* (+ (+ -2.0 (- (* 11.0 (* (* 77617.0 77617.0) (* 33096.0 33096.0))) (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) (* 77617.0 77617.0))) (+ (* (pow 33096.0 6.0) 333.75) (* (+ (+ -2.0 (- (* 11.0 (* (* 77617.0 77617.0) (* 33096.0 33096.0))) (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) (* 77617.0 77617.0)))) (+ (* (pow 33096.0 6.0) 333.75) (* (+ (+ -2.0 (- (* 11.0 (* (* 77617.0 77617.0) (* 33096.0 33096.0))) (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) (* 77617.0 77617.0)))) (pow (* (pow 33096.0 8.0) 5.5) 3))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* (pow 33096.0 6.0) 333.75)
0.0ms
(* (pow 33096.0 6.0) 333.75)
0.0ms
(pow (* (pow 33096.0 8.0) 5.5) 3)
0.0ms
(+ (* (* (+ (* (pow 33096.0 6.0) 333.75) (* (+ (+ -2.0 (- (* 11.0 (* (* 77617.0 77617.0) (* 33096.0 33096.0))) (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) (* 77617.0 77617.0))) (+ (* (pow 33096.0 6.0) 333.75) (* (+ (+ -2.0 (- (* 11.0 (* (* 77617.0 77617.0) (* 33096.0 33096.0))) (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) (* 77617.0 77617.0)))) (+ (* (pow 33096.0 6.0) 333.75) (* (+ (+ -2.0 (- (* 11.0 (* (* 77617.0 77617.0) (* 33096.0 33096.0))) (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) (* 77617.0 77617.0)))) (pow (* (pow 33096.0 8.0) 5.5) 3))

simplify813.0ms

Counts
91 → 91
Iterations
IterNodes
done5000
21682
1354
0126

prune1.0s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 58.1b

simplify14.0ms

Iterations
IterNodes
done56
156
040

end0.0ms

sample3.4s

Algorithm
intervals
Results
3.3s8000×body160valid