Details

sample230.0ms

Algorithm

intervals

Results

190.0ms

256×

body

160

valid

simplify1.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	2023
7	2023
6	1296
5	784
4	608
3	489
2	298
1	95
0	31

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize82.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:

16.0ms	(* 333.75 (pow 33096 6))
9.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)))
985.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.2s

Counts

102 → 102

Iterations

Iter	Nodes
done	2005
3	2005
2	1638
1	464
0	178

prune684.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize129.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×	`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:

19.0ms	(* 5.5 (pow 33096 8))
16.0ms	(* 5.5 (pow 33096 8))
17.0ms	(* 5.5 (pow 33096 8))
95.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.1s

Counts

108 → 108

Iterations

Iter	Nodes
done	2001
3	2001
2	1014
1	290
0	110

prune968.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

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

rewrite597.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:

16.0ms	(* 333.75 (pow 33096 6))
349.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))))))
97.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.4s

Counts

116 → 116

Iterations

Iter	Nodes
done	2006
3	2006
2	1507
1	452
0	179

prune1.3s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

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

rewrite179.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:

8.0ms	(* 5.5 (pow 33096 8))
111.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))))
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	(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))))

simplify936.0ms

Counts

84 → 84

Iterations

Iter	Nodes
done	2000
3	2000
2	1165
1	351
0	159

prune1.3s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

simplify20.0ms

Iterations

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

end0.0ms

sample5.8s

Algorithm

intervals

Results

5.7s

8000×

body

160

valid