Details

sample59.0ms

Algorithm

intervals

Results

36.0ms

353×

body

valid

simplify3.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
26	4763
25	4510
24	4265
23	4014
22	3757
21	3520
20	3263
19	3002
18	2745
17	2490
16	2233
15	1990
14	1662
13	1313
12	944
11	612
10	421
9	272
8	188
7	154
6	133
5	108
4	73
3	41
2	24
1	15
0	9

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.2b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b	(* y (- z t))
0.0b	(+ x (/ (* y (- z t)) a))
4.7b	(/ (* y (- z t)) a)

rewrite215.0ms

Algorithm

rewrite-expression-head

Rules

52×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
42×	`times-frac`
32×	`add-cube-cbrt`
25×	`associate-r`
15×	`associate-l`
14×	`associate-/l*`
10×	`add-cbrt-cube` `add-exp-log`
5×	`pow1` `*-commutative` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`
4×	`associate-*r/`
3×	`associate-/r*` `insert-posit16`
2×	`distribute-rgt-in` `cbrt-undiv` `sub-neg` `distribute-lft-in` `flip3--` `div-exp` `prod-exp` `cbrt-unprod` `flip--` `associate-/l/`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3-+` `pow-prod-down` `flip-+` `div-inv` `distribute-lft-out`

Counts

3 → 116

Calls

3 calls:

39.0ms	(* y (- z t))
88.0ms	(+ x (/ (* y (- z t)) a))
81.0ms	(/ (* y (- z t)) a)

series211.0ms

Counts

3 → 9

Calls

3 calls:

58.0ms	(* y (- z t))
74.0ms	(+ x (/ (* y (- z t)) a))
79.0ms	(/ (* y (- z t)) a)

simplify1.5s

Counts

125 → 125

Iterations

Iter	Nodes
done	5002
2	1467
1	495
0	187

prune565.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (/ (- z t) (/ a y)))
8.1b	(/ (- z t) (/ a y))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

119×	`times-frac`
90×	`*-un-lft-identity`
88×	`add-sqr-sqrt`
60×	`add-cube-cbrt`
16×	`associate-/r*`
14×	`distribute-lft-out--` `difference-of-squares`
9×	`associate-/r/`
8×	`associate-/l*`
7×	`add-cbrt-cube` `add-exp-log` `div-inv`
4×	`add-log-exp`
3×	`cbrt-undiv` `div-exp`
2×	`pow1` `clear-num` `frac-2neg` `div-sub` `insert-posit16` `associate-/l/`
1×	`+-commutative` `associate-+r-` `sum-log` `flip3-+` `flip3--` `flip-+` `flip--` `distribute-lft-out`

Counts

2 → 124

Calls

2 calls:

44.0ms	(+ x (/ (- z t) (/ a y)))
24.0ms	(/ (- z t) (/ a y))

series164.0ms

Counts

2 → 6

Calls

2 calls:

89.0ms	(+ x (/ (- z t) (/ a y)))
75.0ms	(/ (- z t) (/ a y))

simplify2.0s

Counts

130 → 130

Iterations

Iter	Nodes
done	5003
2	2129
1	699
0	229

prune661.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* (- z t) (/ y a)))
7.8b	(* (- z t) (/ y a))

rewrite107.0ms

Algorithm

rewrite-expression-head

Rules

26×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`frac-times`
16×	`add-cube-cbrt`
13×	`associate-r`
10×	`times-frac` `flip3--` `flip--` `associate-/l*`
9×	`associate-/r` `associate-r/`
7×	`add-cbrt-cube` `associate-l` `add-exp-log`
4×	`pow1` `clear-num` `add-log-exp`
3×	`frac-2neg` `distribute-lft-out`
2×	`associate-*l/` `prod-exp` `un-div-inv` `cbrt-unprod` `insert-posit16` `distribute-lft-out--` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `sum-log` `flip3-+` `div-exp` `pow-prod-down` `*-commutative` `flip-+` `div-inv` `difference-of-squares`

Counts

2 → 80

Calls

2 calls:

65.0ms	(+ x (* (- z t) (/ y a)))
39.0ms	(* (- z t) (/ y a))

series152.0ms

Counts

2 → 6

Calls

2 calls:

75.0ms	(+ x (* (- z t) (/ y a)))
77.0ms	(* (- z t) (/ y a))

simplify1.5s

Counts

86 → 86

Iterations

Iter	Nodes
done	5001
2	1786
1	434
0	160

prune413.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ a (- z t))
0.0b	(+ x (/ y (/ a (- z t))))
5.4b	(/ y (/ a (- z t)))

rewrite126.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
109×	`*-un-lft-identity`
107×	`add-sqr-sqrt`
73×	`add-cube-cbrt`
31×	`associate-/r*`
21×	`associate-/r/`
17×	`distribute-lft-out--` `difference-of-squares`
10×	`add-cbrt-cube` `add-exp-log`
9×	`associate-/l*`
6×	`div-inv`
5×	`flip3--` `flip--` `add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1` `clear-num` `frac-2neg` `insert-posit16`
1×	`+-commutative` `sum-log` `flip3-+` `flip-+` `distribute-lft-out`

Counts

3 → 164

Calls

3 calls:

11.0ms	(/ a (- z t))
66.0ms	(+ x (/ y (/ a (- z t))))
44.0ms	(/ y (/ a (- z t)))

series233.0ms

Counts

3 → 9

Calls

3 calls:

51.0ms	(/ a (- z t))
74.0ms	(+ x (/ y (/ a (- z t))))
108.0ms	(/ y (/ a (- z t)))

simplify1.6s

Counts

173 → 173

Iterations

Iter	Nodes
done	5000
2	2163
1	634
0	254

prune893.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes730.0ms

Accuracy

80.8% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 2.3b

bsearch1.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	27
1	27
0	21

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.4s

10639×

body

valid