Details

sample149.0ms

Algorithm

intervals

Results

110.0ms

256×

body

160

valid

simplify9.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	3140
11	3140
10	3138
9	3092
8	2877
7	2206
6	1296
5	784
4	608
3	489
2	298
1	95
0	31

prune20.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	(* 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.9s

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:

11.0ms	(* 333.75 (pow 33096 6))
11.0ms	(* 5.5 (pow 33096 8))
1.5s	(+ (+ (+ (* 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.4s	(+ (+ (* 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.4s

Counts

102 → 102

Iterations

Iter	Nodes
done	5003
2	1638
1	464
0	178

prune509.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize87.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))))

rewrite95.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×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u`
3×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod`
2×	`associate--l+`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `flip3--` `fma-neg` `diff-log` `prod-diff` `flip--` `difference-of-squares`

Counts

4 → 104

Calls

4 calls:

12.0ms	(* 5.5 (pow 33096 8))
11.0ms	(* 5.5 (pow 33096 8))
11.0ms	(* 5.5 (pow 33096 8))
59.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))))

simplify1.0s

Counts

108 → 108

Iterations

Iter	Nodes
done	5001
2	1014
1	290
0	110

prune735.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize99.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))))

rewrite610.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
27×	`fma-def`
25×	`*-un-lft-identity`
23×	`add-cube-cbrt`
21×	`times-frac`
16×	`log-prod` `exp-sum`
9×	`add-exp-log`
8×	`add-log-exp`
7×	`associate-r`
6×	`add-cbrt-cube`
5×	`pow1` `difference-of-squares`
4×	`expm1-log1p-u` `exp-prod` `unpow-prod-down` `insert-posit16` `log1p-expm1-u`
3×	`flip3--` `associate-l` `prod-exp` `flip--` `unswap-sqr`
2×	`log-div` `exp-diff` `associate--l+` `associate-/r/` `sqr-pow`
1×	`distribute-rgt-in` `pow-to-exp` `+-commutative` `sum-log` `sub-neg` `distribute-lft-in` `flip3-+` `fma-neg` `diff-log` `prod-diff` `frac-add` `pow-exp` `log-pow` `*-commutative` `cbrt-unprod` `flip-+` `div-inv` `distribute-lft-out` `rem-exp-log`

Counts

4 → 112

Calls

4 calls:

15.0ms	(* 333.75 (pow 33096 6))
373.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)))
133.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))))))
86.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))))

simplify1.2s

Counts

116 → 116

Iterations

Iter	Nodes
done	5002
2	1507
1	452
0	179

prune1.1s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize97.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))))

rewrite180.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×	`expm1-log1p-u` `log-prod` `exp-prod` `unpow-prod-down` `exp-sum` `insert-posit16` `log1p-expm1-u`
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` `fma-neg` `diff-log` `prod-diff` `pow-exp` `log-pow` `*-commutative` `cbrt-unprod` `remove-posit16` `rem-exp-log`

Counts

4 → 80

Calls

4 calls:

17.0ms	(* 5.5 (pow 33096 8))
105.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))))
56.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))))

simplify1.6s

Counts

84 → 84

Iterations

Iter	Nodes
done	5000
2	1165
1	351
0	159

prune1.2s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

simplify27.0ms

Iterations

Iter	Nodes
done	71
3	71
2	69
1	66
0	43

end0.0ms

sample3.5s

Algorithm

intervals

Results

3.4s

8000×

body

160

valid