Details

Time bar (total: 30.5s)

sample174.0ms

Algorithm
intervals
Results
149.0ms256×body160valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
62051
51318
4729
3448
2286
195
031

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize64.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 333.75 (pow 33096 6))
1.0b
(* 5.5 (pow 33096 8))
1.0b
(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
62.0b
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
18×add-log-exp
14×*-un-lft-identity associate-*r* add-exp-log
12×add-cube-cbrt
9×sum-log
8×unpow-prod-down add-cbrt-cube
6×fma-def associate-*l* prod-exp unswap-sqr
4×expm1-log1p-u pow1 log1p-expm1-u sqr-pow
3×flip3-+ flip-+
2×pow-to-exp +-commutative associate-+l+ frac-add pow-exp *-commutative cbrt-unprod
1×distribute-lft-out
Counts
4 → 94
Calls
4 calls:
10.0ms
(* 333.75 (pow 33096 6))
17.0ms
(* 5.5 (pow 33096 8))
1.0s
(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
1.0s
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* 333.75 (pow 33096 6))
0.0ms
(* 5.5 (pow 33096 8))
0.0ms
(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
0.0ms
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))

simplify6.8s

Counts
98 → 98
Iterations
IterNodes
37934
21526
1451
0174

prune819.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize81.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))
1.0b
(* 1439474789212538429291115400277262336 5.5)
1.0b
(* 1439474789212538429291115400277262336 5.5)
63.3b
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5)))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
20×pow1 add-cbrt-cube add-exp-log
12×add-sqr-sqrt
10×pow-prod-down prod-exp cbrt-unprod
8×*-un-lft-identity add-cube-cbrt
7×associate-*r* associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative
2×unswap-sqr
1×fma-udef
Counts
4 → 74
Calls
4 calls:
47.0ms
(* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))
10.0ms
(* 1439474789212538429291115400277262336 5.5)
10.0ms
(* 1439474789212538429291115400277262336 5.5)
0.0ms
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))
0.0ms
(* 1439474789212538429291115400277262336 5.5)
0.0ms
(* 1439474789212538429291115400277262336 5.5)
0.0ms
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5)))

simplify6.2s

Counts
78 → 78
Iterations
IterNodes
48086
31829
2534
1205
092

prune627.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize70.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 1439474789212538429291115400277262336 5.5)
1.0b
(* 1439474789212538429291115400277262336 5.5)
1.0b
(* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))
63.3b
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
20×pow1 add-cbrt-cube add-exp-log
12×add-sqr-sqrt
10×pow-prod-down prod-exp cbrt-unprod
8×*-un-lft-identity add-cube-cbrt
7×associate-*r* associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative
2×unswap-sqr
1×fma-udef
Counts
4 → 74
Calls
4 calls:
5.0ms
(* 1439474789212538429291115400277262336 5.5)
7.0ms
(* 1439474789212538429291115400277262336 5.5)
48.0ms
(* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))
0.0ms
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* 1439474789212538429291115400277262336 5.5)
0.0ms
(* 1439474789212538429291115400277262336 5.5)
0.0ms
(* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))
0.0ms
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5)))

simplify4.9s

Counts
78 → 78
Iterations
IterNodes
46244
31651
2541
1188
083

prune929.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 58.1b

simplify19.0ms

Iterations
IterNodes
333
233
132
025

end0.0ms

sample6.1s

Algorithm
intervals
Results
6.0s8000×body160valid