Details

sample48.0ms

Algorithm

intervals

Results

33.0ms

262×

body

valid

simplify35.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	47
5	47
4	45
3	41
2	35
1	26
0	15

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.2b

localize35.0ms

Local error

Found 3 expressions with local error:

6.0b	(/ (* y z) t)
6.6b	(/ (* y b) t)
10.6b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

55×	`*-un-lft-identity`
26×	`times-frac`
21×	`distribute-lft-out`
18×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`add-cbrt-cube` `add-exp-log`
11×	`associate-/r*`
6×	`associate-/l*`
5×	`cbrt-undiv` `div-exp`
4×	`associate-/r/`
3×	`pow1` `clear-num` `frac-2neg` `flip3-+` `flip-+` `insert-posit16` `div-inv` `add-log-exp`
2×	`frac-add` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

3 → 92

Calls

3 calls:

13.0ms	(/ (* y z) t)
13.0ms	(/ (* y b) t)
75.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series197.0ms

Counts

3 → 9

Calls

3 calls:

22.0ms	(/ (* y z) t)
30.0ms	(/ (* y b) t)
145.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify1.4s

Counts

101 → 101

Iterations

Iter	Nodes
done	5009
2	1688
1	457
0	174

prune532.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 8.8b

localize37.0ms

Local error

Found 4 expressions with local error:

0.7b	(/ 1 (/ t (* y z)))
6.0b	(/ t (* y z))
6.6b	(/ (* y b) t)
10.6b	(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite98.0ms

Algorithm

rewrite-expression-head

Rules

84×	`*-un-lft-identity`
64×	`times-frac`
37×	`add-exp-log`
36×	`add-sqr-sqrt` `add-cube-cbrt`
30×	`distribute-lft-out`
25×	`add-cbrt-cube`
17×	`div-exp`
16×	`associate-/r*`
14×	`div-inv`
12×	`associate-/l*`
10×	`cbrt-undiv`
5×	`pow1` `prod-exp` `associate-/r/`
4×	`clear-num` `frac-2neg` `insert-posit16` `add-log-exp`
3×	`rec-exp` `flip3-+` `1-exp` `cbrt-unprod` `flip-+`
2×	`frac-add` `associate-/l/`
1×	`pow-flip` `inv-pow`

Counts

4 → 155

Calls

4 calls:

12.0ms	(/ 1 (/ t (* y z)))
7.0ms	(/ t (* y z))
9.0ms	(/ (* y b) t)
69.0ms	(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (/ (* y b) t)))

series210.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ 1 (/ t (* y z)))
23.0ms	(/ t (* y z))
24.0ms	(/ (* y b) t)
140.0ms	(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (/ (* y b) t)))

simplify2.0s

Counts

167 → 167

Iterations

Iter	Nodes
done	5000
2	2299
1	612
0	243

prune762.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 8.8b

localize40.0ms

Local error

Found 4 expressions with local error:

0.7b	(/ 1 (/ (/ t y) z))
4.6b	(/ (/ t y) z)
6.6b	(/ (* y b) t)
10.6b	(/ (+ x (/ 1 (/ (/ t y) z))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

496×	`times-frac`
292×	`*-un-lft-identity`
244×	`add-sqr-sqrt` `add-cube-cbrt`
54×	`associate-/r*`
37×	`add-exp-log`
30×	`div-inv` `distribute-lft-out`
25×	`add-cbrt-cube`
22×	`associate-/l*`
21×	`div-exp`
12×	`cbrt-undiv`
5×	`pow1` `associate-/r/`
4×	`clear-num` `frac-2neg` `insert-posit16` `add-log-exp`
3×	`rec-exp` `flip3-+` `1-exp` `flip-+` `associate-/l/`
2×	`frac-add`
1×	`prod-exp` `cbrt-unprod` `pow-flip` `inv-pow`

Counts

4 → 348

Calls

4 calls:

10.0ms	(/ 1 (/ (/ t y) z))
9.0ms	(/ (/ t y) z)
9.0ms	(/ (* y b) t)
65.0ms	(/ (+ x (/ 1 (/ (/ t y) z))) (+ (+ a 1.0) (/ (* y b) t)))

series245.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(/ 1 (/ (/ t y) z))
28.0ms	(/ (/ t y) z)
27.0ms	(/ (* y b) t)
160.0ms	(/ (+ x (/ 1 (/ (/ t y) z))) (+ (+ a 1.0) (/ (* y b) t)))

simplify2.3s

Counts

360 → 360

Iterations

Iter	Nodes
done	5000
2	4468
1	1471
0	545

prune2.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.3b

localize27.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ 1 (/ (/ t y) b))
4.4b	(/ (/ t y) b)
4.6b	(/ (/ t y) z)
10.6b	(/ (+ x (/ 1 (/ (/ t y) z))) (+ (+ a 1.0) (/ 1 (/ (/ t y) b))))

rewrite142.0ms

Algorithm

rewrite-expression-head

Rules

578×	`times-frac`
358×	`*-un-lft-identity`
286×	`add-sqr-sqrt` `add-cube-cbrt`
56×	`associate-/r*`
52×	`distribute-lft-out`
48×	`div-inv`
37×	`add-exp-log`
34×	`associate-/l*`
25×	`add-cbrt-cube`
22×	`div-exp`
13×	`cbrt-undiv`
5×	`pow1` `associate-/r/`
4×	`clear-num` `frac-2neg` `insert-posit16` `add-log-exp` `associate-/l/`
3×	`rec-exp` `flip3-+` `1-exp` `flip-+`
2×	`frac-add`
1×	`pow-flip` `inv-pow`

Counts

4 → 409

Calls

4 calls:

17.0ms	(/ 1 (/ (/ t y) b))
9.0ms	(/ (/ t y) b)
12.0ms	(/ (/ t y) z)
90.0ms	(/ (+ x (/ 1 (/ (/ t y) z))) (+ (+ a 1.0) (/ 1 (/ (/ t y) b))))

series249.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(/ 1 (/ (/ t y) b))
26.0ms	(/ (/ t y) b)
31.0ms	(/ (/ t y) z)
159.0ms	(/ (+ x (/ 1 (/ (/ t y) z))) (+ (+ a 1.0) (/ 1 (/ (/ t y) b))))

simplify2.3s

Counts

421 → 421

Iterations

Iter	Nodes
done	5013
2	4361
1	1625
0	607

prune2.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 8.0b

regimes857.0ms

Accuracy

-25% (4.6b remaining)

Error of 15.0b against oracle of 10.4b and baseline of 14.1b

bsearch252.0ms

Steps

Iters	Range		Point
9	5.110687584138778e-292	8.559456276490786e-284	9.261783680345339e-292
8	-1.00806654500884e-195	-4.788310429715519e-200	-1.728367153749501e-199

simplify16.0ms

Iterations

Iter	Nodes
done	68
1	68
0	44

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.5s

8264×

body

valid