Details

sample71.0ms

Algorithm

intervals

Results

18.0ms

335×

body

valid

simplify7.5s

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

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.3b

localize51.0ms

Local error

Found 3 expressions with local error:

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

rewrite132.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-cbrt-cube` `add-exp-log`
7×	`add-cube-cbrt`
5×	`pow1` `associate-r` `add-log-exp`
4×	`associate-*r/`
3×	`associate-/r` `times-frac` `associate-l*` `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` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 64

Calls

3 calls:

26.0ms	(+ x (/ (* y (- z t)) a))
59.0ms	(* y (- z t))
41.0ms	(/ (* y (- z t)) a)

series283.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify6.0s

Counts

73 → 73

Iterations

Iter	Nodes
done	5000
3	4015
2	933
1	318
0	119

prune1.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize63.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt a)
0.6b	(cbrt a)
0.6b	(cbrt a)
4.1b	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

rewrite155.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt`
40×	`times-frac`
38×	`*-un-lft-identity`
34×	`associate-r`
26×	`cbrt-prod` `add-cube-cbrt`
25×	`add-exp-log`
18×	`add-cbrt-cube`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `associate-l`
6×	`pow1` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
4×	`insert-posit16` `add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

4 → 108

Calls

4 calls:

3.0ms	(cbrt a)
3.0ms	(cbrt a)
3.0ms	(cbrt a)
126.0ms	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

series1.1s

Counts

4 → 12

Calls

4 calls:

294.0ms	(cbrt a)
324.0ms	(cbrt a)
323.0ms	(cbrt a)
183.0ms	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

simplify3.9s

Counts

120 → 120

Iterations

Iter	Nodes
done	5000
2	2093
1	508
0	163

prune1.8s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize172.0ms

Local error

Found 4 expressions with local error:

2.5b	(cbrt (/ (- z t) (cbrt a)))
2.5b	(cbrt (/ (- z t) (cbrt a)))
2.5b	(cbrt (/ (- z t) (cbrt a)))
3.1b	(/ y (* (/ (cbrt a) (cbrt (/ (- z t) (cbrt a)))) (/ (cbrt a) (cbrt (/ (- z t) (cbrt a))))))

rewrite164.0ms

Algorithm

rewrite-expression-head

Rules

147×	`cbrt-prod`
93×	`add-sqr-sqrt` `*-un-lft-identity` `times-frac`
57×	`add-cube-cbrt`
22×	`add-exp-log`
18×	`distribute-lft-out--` `difference-of-squares`
14×	`add-cbrt-cube`
9×	`cbrt-undiv` `div-exp`
4×	`pow1` `prod-exp` `cbrt-unprod` `insert-posit16` `div-inv` `add-log-exp`
3×	`cbrt-div` `pow1/3` `associate-/r/` `associate-/l*`
1×	`frac-times` `clear-num` `associate-/r` `frac-2neg` `associate-l/` `associate-*r/`

Counts

4 → 163

Calls

4 calls:

19.0ms	(cbrt (/ (- z t) (cbrt a)))
10.0ms	(cbrt (/ (- z t) (cbrt a)))
11.0ms	(cbrt (/ (- z t) (cbrt a)))
91.0ms	(/ y (* (/ (cbrt a) (cbrt (/ (- z t) (cbrt a)))) (/ (cbrt a) (cbrt (/ (- z t) (cbrt a))))))

series2.7s

Counts

4 → 12

Calls

4 calls:

595.0ms	(cbrt (/ (- z t) (cbrt a)))
635.0ms	(cbrt (/ (- z t) (cbrt a)))
640.0ms	(cbrt (/ (- z t) (cbrt a)))
826.0ms	(/ y (* (/ (cbrt a) (cbrt (/ (- z t) (cbrt a)))) (/ (cbrt a) (cbrt (/ (- z t) (cbrt a))))))

simplify6.8s

Counts

175 → 175

Iterations

Iter	Nodes
done	5002
3	4538
2	1245
1	491
0	233

prune2.8s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 3 expressions with local error:

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

rewrite162.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
105×	`*-un-lft-identity`
103×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
26×	`associate-/r*`
16×	`distribute-lft-out--` `difference-of-squares`
11×	`associate-/r/`
10×	`add-cbrt-cube` `add-exp-log`
6×	`div-inv` `associate-/l*`
5×	`flip3--` `flip--` `add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1` `insert-posit16`
2×	`clear-num` `frac-2neg`
1×	`+-commutative` `sum-log` `flip3-+` `flip-+` `distribute-lft-out`

Counts

3 → 154

Calls

3 calls:

70.0ms	(+ x (/ y (/ a (- z t))))
30.0ms	(/ a (- z t))
43.0ms	(/ y (/ a (- z t)))

series291.0ms

Counts

3 → 9

Calls

3 calls:

124.0ms	(+ x (/ y (/ a (- z t))))
60.0ms	(/ a (- z t))
108.0ms	(/ y (/ a (- z t)))

simplify4.0s

Counts

163 → 163

Iterations

Iter	Nodes
done	5002
2	2423
1	626
0	248

prune2.2s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes3.3s

Accuracy

50.2% (1.3b remaining)

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

bsearch97.0ms

Steps

Iters	Range		Point
5	1.6092474117272988e-114	6.40551636908869e-114	6.3044904655620086e-114
9	-1.442136557290824e+79	-4.217802647696024e+72	-4.2928675080966004e+72

simplify11.0ms

Iterations

Iter	Nodes
done	26
1	26
0	21

end0.0ms

sample1.3s

Algorithm

intervals

Results

605.0ms

10593×

body

valid