Details

Time bar (total: 20.8s)

sample252.0ms

Algorithm
intervals
Results
210.0ms256×body160valid

simplify1.4s

Counts
1 → 1

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize88.0ms

Local error

Found 4 expressions with local error:

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)))
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)))
1.0b
(* 5.5 (pow 33096 8))
1.0b
(* 333.75 (pow 33096 6))

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 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:
Slowest
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)))
935.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)))
10.0ms
(* 5.5 (pow 33096 8))
7.0ms
(* 333.75 (pow 33096 6))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
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)))
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))
0.0ms
(* 5.5 (pow 33096 8))

simplify3.7s

Counts
102 → 102

prune832.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize42.0ms

Local error

Found 4 expressions with local error:

63.3b
(fma (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5)))
1.0b
(+ (/ (fma (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))) (fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (/ 77617 (* 2 33096)))
1.0b
(* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))
1.0b
(* 1439474789212538429291115400277262336 5.5)

rewrite49.0ms

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

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(fma (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5)))
0.0ms
(+ (/ (fma (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))) (fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)) (* (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890) (fma 333.75 1314174534371215466459037696 -7917111779274712207494296632228773890)))) (/ 77617 (* 2 33096)))
0.0ms
(* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))
0.0ms
(* 1439474789212538429291115400277262336 5.5)

simplify2.3s

Counts
90 → 90

prune509.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 56.8b

localize77.0ms

Local error

Found 4 expressions with local error:

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)))
36.9b
(posit16->real (real->posit16 (+ 77617/66192 (/ (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))) (fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))))))
1.0b
(* 1439474789212538429291115400277262336 5.5)
1.0b
(* 1439474789212538429291115400277262336 5.5)

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
6×associate-*r* associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×fma-udef remove-posit16
Counts
4 → 64
Calls
4 calls:
Slowest
10.0ms
(* 1439474789212538429291115400277262336 5.5)
7.0ms
(* 1439474789212538429291115400277262336 5.5)
1.0ms
(fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5)))
0.0ms
(posit16->real (real->posit16 (+ 77617/66192 (/ (fma (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (* 5.5 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056) (* 5.5 5.5))) (fma (* 1439474789212538429291115400277262336 5.5) (- (* 1439474789212538429291115400277262336 5.5) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)) (* (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890) (fma 1314174534371215466459037696 333.75 -7917111779274712207494296632228773890)))))))

series0.0ms

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

simplify2.5s

Counts
68 → 68

prune1.4s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 56.8b

end0.0ms

sample5.8s

Algorithm
intervals
Results
5.7s8000×body160valid