Details

Time bar (total: 16.5s)

sample222.0ms

Algorithm
intervals
Results
190.0ms256×body160valid

simplify633.0ms

Counts
1 → 1
Iterations
IterNodes
done2000
4898
3429
2254
193
031

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize72.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
20×add-sqr-sqrt
18×add-log-exp
14×associate-*r* add-exp-log
12×*-un-lft-identity
10×add-cube-cbrt
9×sum-log
8×unpow-prod-down add-cbrt-cube
6×associate-*l* prod-exp unswap-sqr
4×pow1 insert-posit16 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 → 84
Calls
4 calls:
10.0ms
(* 333.75 (pow 33096 6))
16.0ms
(* 5.5 (pow 33096 8))
1.2s
(+ (+ (+ (* 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)))
782.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)))

simplify1.3s

Counts
88 → 88
Iterations
IterNodes
done2010
21404
1447
0170

prune568.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize116.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow 33096 8))
1.0b
(* 5.5 (pow 33096 8))
1.0b
(* 5.5 (pow 33096 8))
62.2b
(- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
21×associate-*r*
19×add-exp-log
13×*-un-lft-identity add-cube-cbrt
12×unpow-prod-down
10×add-cbrt-cube
9×associate-*l* prod-exp unswap-sqr
6×add-log-exp sqr-pow
4×pow1 insert-posit16
3×pow-to-exp pow-exp *-commutative cbrt-unprod
2×associate--l+
1×distribute-rgt-in sub-neg distribute-lft-in flip3-- diff-log flip-- difference-of-squares
Counts
4 → 94
Calls
4 calls:
16.0ms
(* 5.5 (pow 33096 8))
16.0ms
(* 5.5 (pow 33096 8))
18.0ms
(* 5.5 (pow 33096 8))
96.0ms
(- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))

series0.0ms

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

simplify714.0ms

Counts
98 → 98
Iterations
IterNodes
done2005
2932
1272
0103

prune930.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize124.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 333.75 (pow 33096 6))
1.0b
(+ (/ (exp (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8)))))) (- (+ (* 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)))
4.8b
(exp (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))))
62.2b
(- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))

rewrite513.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
11×*-un-lft-identity
9×add-exp-log add-cube-cbrt
8×add-log-exp
7×associate-*r*
6×add-cbrt-cube
5×pow1
4×log-prod exp-prod unpow-prod-down exp-sum insert-posit16
3×associate-*l* prod-exp unswap-sqr
2×log-div flip3-- exp-diff associate--l+ flip-- difference-of-squares sqr-pow
1×distribute-rgt-in pow-to-exp +-commutative sum-log sub-neg distribute-lft-in flip3-+ diff-log frac-add pow-exp log-pow *-commutative cbrt-unprod flip-+ distribute-lft-out rem-exp-log
Counts
4 → 75
Calls
4 calls:
16.0ms
(* 333.75 (pow 33096 6))
309.0ms
(+ (/ (exp (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8)))))) (- (+ (* 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)))
134.0ms
(exp (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))))
53.0ms
(- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* 333.75 (pow 33096 6))
0.0ms
(+ (/ (exp (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8)))))) (- (+ (* 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
(exp (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 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))) (+ (* 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)) (* 5.5 (pow 33096 8))))

simplify910.0ms

Counts
79 → 79
Iterations
IterNodes
done2000
21405
1431
0168

prune665.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize154.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow 33096 8))
4.8b
(exp (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))))
58.1b
(posit16->real (real->posit16 (* 333.75 (pow 33096 6))))
62.2b
(- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))

rewrite225.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
9×*-un-lft-identity add-exp-log add-cube-cbrt
7×associate-*r*
6×add-cbrt-cube add-log-exp
5×pow1
4×log-prod exp-prod unpow-prod-down exp-sum insert-posit16
3×associate-*l* prod-exp unswap-sqr
2×log-div flip3-- exp-diff associate--l+ flip-- difference-of-squares sqr-pow
1×distribute-rgt-in pow-to-exp sub-neg distribute-lft-in diff-log pow-exp log-pow *-commutative cbrt-unprod remove-posit16 rem-exp-log
Counts
4 → 70
Calls
4 calls:
15.0ms
(* 5.5 (pow 33096 8))
149.0ms
(exp (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))))
0.0ms
(posit16->real (real->posit16 (* 333.75 (pow 33096 6))))
60.0ms
(- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* 5.5 (pow 33096 8))
0.0ms
(exp (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))))
0.0ms
(posit16->real (real->posit16 (* 333.75 (pow 33096 6))))
0.0ms
(- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8))))

simplify722.0ms

Counts
74 → 74
Iterations
IterNodes
done2004
21082
1328
0148

prune1.0s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

simplify22.0ms

Iterations
IterNodes
done71
371
269
166
043

end0.0ms

sample5.4s

Algorithm
intervals
Results
5.4s8000×body160valid