Details

Time bar (total: 21.2s)

sample154.0ms

Algorithm
intervals
Results
133.0ms256×body160valid

simplify1.3s

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize84.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.1s

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 insert-posit16 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 → 98
Calls
4 calls:
17.0ms
(* 333.75 (pow 33096 6))
17.0ms
(* 5.5 (pow 33096 8))
1.1s
(+ (+ (+ (* 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)))
951.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)))

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.5s

Counts
102 → 102
Iterations
IterNodes
38131
21600
1455
0178

prune760.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
(* 1439474789212538429291115400277262336 5.5)
1.0b
(+ (/ (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* 5.5 (* 5.5 (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056)))) (fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (/ 77617 (* 2 33096)))
1.0b
(fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))
63.3b
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* 5.5 (* 5.5 (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity
13×fma-def add-cube-cbrt
9×times-frac
6×pow1 add-cbrt-cube add-exp-log add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-*r* associate-*l*
2×fma-udef
1×+-commutative sum-log flip3-+ pow-prod-down frac-add prod-exp *-commutative cbrt-unprod flip-+ div-inv distribute-lft-out unswap-sqr
Counts
4 → 72
Calls
4 calls:
10.0ms
(* 1439474789212538429291115400277262336 5.5)
35.0ms
(+ (/ (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* 5.5 (* 5.5 (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056)))) (fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (/ 77617 (* 2 33096)))
0.0ms
(fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))
1.0ms
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* 5.5 (* 5.5 (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
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 (* 5.5 (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056)))) (fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))) (/ 77617 (* 2 33096)))
0.0ms
(fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))
0.0ms
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* 5.5 (* 5.5 (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056))))

simplify991.0ms

Counts
76 → 76
Iterations
IterNodes
32279
2588
1226
0102

prune544.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
(* 1439474789212538429291115400277262336 5.5)
1.0b
(fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))
1.0b
(fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))
63.3b
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* 5.5 (* 5.5 (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* associate-*l* fma-udef
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 54
Calls
4 calls:
11.0ms
(* 1439474789212538429291115400277262336 5.5)
0.0ms
(fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))
0.0ms
(fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))
1.0ms
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* 5.5 (* 5.5 (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056))))

series0.0ms

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

simplify1.7s

Counts
58 → 58
Iterations
IterNodes
44785
3827
2232
1117
067

prune824.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 58.1b

simplify11.0ms

Iterations
IterNodes
334
234
133
025

end0.0ms

sample6.1s

Algorithm
intervals
Results
6.0s8000×body160valid