Details

sample57.0ms

Algorithm

intervals

Results

26.0ms

372×

body

valid

simplify3.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
6	3298
5	1001
4	340
3	127
2	69
1	32
0	17

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.2b	(/ (* a b) 4.0)

rewrite317.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-log-exp`
12×	`*-un-lft-identity`
8×	`add-cbrt-cube` `add-exp-log`
7×	`add-sqr-sqrt`
5×	`sum-log` `add-cube-cbrt`
4×	`diff-log`
3×	`pow1` `associate-+l+` `associate-/r*` `times-frac`
2×	`cbrt-undiv` `sub-neg` `flip3-+` `div-exp` `associate--l+` `frac-sub` `flip-+` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `clear-num` `frac-2neg` `flip3--` `prod-exp` `associate-+l-` `cbrt-unprod` `div-inv` `flip--` `associate-/l*` `difference-of-squares`

Counts

3 → 58

Calls

3 calls:

229.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
76.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
10.0ms	(/ (* a b) 4.0)

series295.0ms

Counts

3 → 9

Calls

3 calls:

163.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
109.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
23.0ms	(/ (* a b) 4.0)

simplify1.1s

Counts

67 → 67

Iterations

Iter	Nodes
done	5000
2	1629
1	374
0	137

prune452.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0)))

rewrite286.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-log-exp`
5×	`sum-log`
4×	`*-un-lft-identity` `diff-log`
3×	`associate-+l+`
2×	`add-sqr-sqrt` `pow1` `sub-neg` `flip3-+` `add-cbrt-cube` `associate--l+` `associate-*r/` `add-exp-log` `frac-sub` `add-cube-cbrt` `flip-+`
1×	`+-commutative` `flip3--` `associate-+l-` `flip--` `distribute-lft-out`

Counts

2 → 34

Calls

2 calls:

227.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
58.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0)))

series291.0ms

Counts

2 → 6

Calls

2 calls:

174.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
117.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0)))

simplify1.1s

Counts

40 → 40

Iterations

Iter	Nodes
done	5000
2	1033
1	275
0	94

prune213.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (- (* a (/ b 4.0)) c))
0.0b	(- (* a (/ b 4.0)) c)

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-log-exp`
7×	`diff-log`
4×	`add-sqr-sqrt` `*-un-lft-identity` `flip3--` `frac-sub` `flip--`
3×	`sub-neg`
2×	`pow1` `sum-log` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+` `associate--r+`
1×	`associate--l+` `distribute-lft-out--` `associate--r-` `difference-of-squares`

Counts

2 → 37

Calls

2 calls:

77.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (- (* a (/ b 4.0)) c))
8.0ms	(- (* a (/ b 4.0)) c)

series213.0ms

Counts

2 → 6

Calls

2 calls:

164.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (- (* a (/ b 4.0)) c))
49.0ms	(- (* a (/ b 4.0)) c)

simplify1.6s

Counts

43 → 43

Iterations

Iter	Nodes
done	5000
2	1376
1	326
0	105

prune332.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify4.0ms

Iterations

Iter	Nodes
done	21
1	21
0	17

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.5s

11985×

body

valid