Details

sample53.0ms

Algorithm

intervals

Results

32.0ms

366×

body

valid

simplify104.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	106
5	106
4	105
3	89
2	54
1	26
0	13

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y z))
0.0b	(+ (+ x (* y z)) (* t a))
0.0b	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
4.6b	(* (* a z) b)

rewrite730.0ms

Algorithm

rewrite-expression-head

Rules

100×	`*-un-lft-identity`
63×	`distribute-lft-out`
57×	`associate-l`
20×	`add-log-exp`
15×	`add-sqr-sqrt`
10×	`sum-log`
9×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`associate-+l+` `add-cube-cbrt`
6×	`+-commutative` `associate-r`
4×	`insert-posit16` `unswap-sqr`
3×	`flip3-+` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+`
2×	`*-commutative`

Counts

4 → 106

Calls

4 calls:

13.0ms	(+ x (* y z))
91.0ms	(+ (+ x (* y z)) (* t a))
597.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
26.0ms	(* (* a z) b)

series261.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(+ x (* y z))
63.0ms	(+ (+ x (* y z)) (* t a))
126.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
31.0ms	(* (* a z) b)

simplify1.6s

Counts

118 → 118

Iterations

Iter	Nodes
done	5000
2	1587
1	393
0	142

prune521.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ x (* y z)) (* t a))
0.0b	(+ x (* y z))
0.0b	(+ (+ (+ x (* y z)) (* t a)) (* z (* a b)))
6.0b	(* z (* a b))

rewrite814.0ms

Algorithm

rewrite-expression-head

Rules

76×	`*-un-lft-identity`
46×	`distribute-lft-out`
29×	`associate-l`
20×	`add-log-exp`
15×	`add-sqr-sqrt` `associate-r`
10×	`sum-log`
9×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`associate-+l+` `add-cube-cbrt`
6×	`+-commutative`
4×	`insert-posit16` `unswap-sqr`
3×	`flip3-+` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+`
2×	`*-commutative`

Counts

4 → 99

Calls

4 calls:

123.0ms	(+ (+ x (* y z)) (* t a))
13.0ms	(+ x (* y z))
650.0ms	(+ (+ (+ x (* y z)) (* t a)) (* z (* a b)))
25.0ms	(* z (* a b))

series244.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(+ (+ x (* y z)) (* t a))
41.0ms	(+ x (* y z))
111.0ms	(+ (+ (+ x (* y z)) (* t a)) (* z (* a b)))
29.0ms	(* z (* a b))

simplify1.4s

Counts

111 → 111

Iterations

Iter	Nodes
done	5008
2	1446
1	412
0	146

prune433.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y z))
0.0b	(+ (+ x (* y z)) (* a (+ (* z b) t)))
0.0b	(+ (* z b) t)
2.7b	(* a (+ (* z b) t))

rewrite408.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
16×	`distribute-lft-out`
13×	`add-log-exp`
11×	`associate-l`
8×	`add-sqr-sqrt` `+-commutative` `flip3-+` `flip-+`
6×	`pow1` `add-cbrt-cube` `associate-*r/` `add-exp-log` `add-cube-cbrt`
5×	`sum-log` `associate-r`
4×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `frac-add` `insert-posit16`
2×	`associate-+l+`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 84

Calls

4 calls:

15.0ms	(+ x (* y z))
278.0ms	(+ (+ x (* y z)) (* a (+ (* z b) t)))
24.0ms	(+ (* z b) t)
88.0ms	(* a (+ (* z b) t))

series193.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(+ x (* y z))
96.0ms	(+ (+ x (* y z)) (* a (+ (* z b) t)))
24.0ms	(+ (* z b) t)
42.0ms	(* a (+ (* z b) t))

simplify1.3s

Counts

96 → 96

Iterations

Iter	Nodes
done	5004
2	1749
1	410
0	130

prune386.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ x (* y z)) (* t a))
0.0b	(+ (+ (+ x (* y z)) (* t a)) (* (sqrt z) (* (sqrt z) (* a b))))
1.5b	(* (sqrt z) (* (sqrt z) (* a b)))
2.6b	(* (sqrt z) (* a b))

rewrite955.0ms

Algorithm

rewrite-expression-head

Rules

81×	`*-un-lft-identity`
73×	`add-sqr-sqrt`
57×	`associate-r`
46×	`associate-l`
44×	`distribute-lft-out`
36×	`unswap-sqr`
22×	`sqrt-prod`
18×	`pow1` `add-cbrt-cube` `add-exp-log` `add-log-exp`
17×	`add-cube-cbrt`
9×	`sum-log` `pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`associate-+l+`
5×	`+-commutative` `*-commutative`
4×	`insert-posit16`
2×	`flip3-+` `flip-+`

Counts

4 → 151

Calls

4 calls:

141.0ms	(+ (+ x (* y z)) (* t a))
607.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (sqrt z) (* (sqrt z) (* a b))))
141.0ms	(* (sqrt z) (* (sqrt z) (* a b)))
57.0ms	(* (sqrt z) (* a b))

series321.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(+ (+ x (* y z)) (* t a))
129.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (sqrt z) (* (sqrt z) (* a b))))
54.0ms	(* (sqrt z) (* (sqrt z) (* a b)))
83.0ms	(* (sqrt z) (* a b))

simplify1.5s

Counts

163 → 163

Iterations

Iter	Nodes
done	5001
2	2096
1	554
0	192

prune589.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes357.0ms

Accuracy

46.3% (1.4b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 2.6b

bsearch37.0ms

Steps

Iters	Range		Point
5	4.521948766607505e-75	1.8033354227582568e-74	1.648045334066036e-74

simplify4.0ms

Iterations

Iter	Nodes
done	31
1	31
0	20

end0.0ms

sample1.8s

Algorithm

intervals

Results

1.3s

11650×

body

valid