Details

sample33.0ms

Algorithm

intervals

Results

13.0ms

334×

body

valid

simplify2.7s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
10	4996
9	1057
8	401
7	189
6	164
5	133
4	96
3	57
2	31
1	14
0	8

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`associate-l`
12×	`*-un-lft-identity`
10×	`times-frac` `add-cube-cbrt`
7×	`add-cbrt-cube` `add-exp-log`
5×	`associate-r`
4×	`distribute-rgt-in` `pow1` `associate-+l+` `sub-neg` `distribute-lft-in` `add-log-exp`
2×	`frac-times` `flip3--` `prod-exp` `associate-*r/` `cbrt-unprod` `flip--` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `sum-log` `flip3-+` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 57

Calls

2 calls:

13.0ms	(+ (* (/ x y) (- z t)) t)
40.0ms	(* (/ x y) (- z t))

series148.0ms

Counts

2 → 6

Calls

2 calls:

72.0ms	(+ (* (/ x y) (- z t)) t)
76.0ms	(* (/ x y) (- z t))

simplify763.0ms

Counts

63 → 63

Iterations

Iter	Nodes
done	5000
2	1389
1	328
0	122

prune341.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
23×	`associate-l`
22×	`add-cube-cbrt`
20×	`times-frac`
16×	`associate-r`
14×	`add-cbrt-cube` `add-exp-log`
11×	`add-log-exp`
8×	`pow1`
5×	`distribute-lft-neg-out`
4×	`sum-log` `prod-exp` `cbrt-unprod` `unswap-sqr`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`cbrt-undiv` `+-commutative` `flip3-+` `div-exp` `unsub-neg` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative` `associate-+l-` `flip-+` `div-inv`
1×	`associate-+l+` `neg-mul-1` `frac-add` `distribute-lft-out`

Counts

4 → 102

Calls

4 calls:

16.0ms	(+ (* (/ x y) z) (* (- t) (/ x y)))
51.0ms	(+ (+ (* (/ x y) z) (* (- t) (/ x y))) t)
12.0ms	(* (/ x y) z)
15.0ms	(* (- t) (/ x y))

series220.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(+ (* (/ x y) z) (* (- t) (/ x y)))
69.0ms	(+ (+ (* (/ x y) z) (* (- t) (/ x y))) t)
38.0ms	(* (/ x y) z)
32.0ms	(* (- t) (/ x y))

simplify1.6s

Counts

114 → 114

Iterations

Iter	Nodes
done	5000
2	2957
1	513
0	175

prune685.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
1.6b	(/ (- z t) (/ (cbrt y) x))
4.0b	(* (/ 1 (* (cbrt y) (cbrt y))) (/ (- z t) (/ (cbrt y) x)))

rewrite233.0ms

Algorithm

rewrite-expression-head

Rules

444×	`times-frac`
322×	`add-sqr-sqrt`
291×	`*-un-lft-identity`
197×	`add-cube-cbrt`
115×	`associate-r`
108×	`cbrt-prod`
87×	`add-exp-log`
45×	`distribute-lft-out--` `difference-of-squares`
36×	`div-exp`
35×	`add-cbrt-cube`
30×	`prod-exp`
22×	`associate-/r*`
18×	`cbrt-undiv`
14×	`div-inv`
12×	`cbrt-unprod` `unswap-sqr`
7×	`associate-l`
6×	`pow1` `rec-exp` `1-exp`
5×	`associate-/l*`
4×	`add-log-exp`
2×	`pow1/3` `associate-/r/` `associate-/l/`
1×	`frac-times` `clear-num` `frac-2neg` `flip3--` `div-sub` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative` `flip--`

Counts

4 → 353

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
38.0ms	(/ (- z t) (/ (cbrt y) x))
152.0ms	(* (/ 1 (* (cbrt y) (cbrt y))) (/ (- z t) (/ (cbrt y) x)))

series936.0ms

Counts

4 → 12

Calls

4 calls:

274.0ms	(cbrt y)
270.0ms	(cbrt y)
282.0ms	(/ (- z t) (/ (cbrt y) x))
109.0ms	(* (/ 1 (* (cbrt y) (cbrt y))) (/ (- z t) (/ (cbrt y) x)))

simplify910.0ms

Counts

365 → 365

Iterations

Iter	Nodes
done	5000
1	1789
0	465

prune1.8s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ y (- z t))
0.0b	(+ (* 1 (/ x (/ y (- z t)))) t)
6.1b	(/ x (/ y (- z t)))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
104×	`*-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`
2×	`clear-num` `frac-2neg`
1×	`+-commutative` `sum-log` `flip3-+` `flip-+` `distribute-lft-out`

Counts

3 → 151

Calls

3 calls:

9.0ms	(/ y (- z t))
25.0ms	(+ (* 1 (/ x (/ y (- z t)))) t)
26.0ms	(/ x (/ y (- z t)))

series198.0ms

Counts

3 → 9

Calls

3 calls:

51.0ms	(/ y (- z t))
57.0ms	(+ (* 1 (/ x (/ y (- z t)))) t)
89.0ms	(/ x (/ y (- z t)))

simplify1.3s

Counts

160 → 160

Iterations

Iter	Nodes
done	5000
2	3157
1	643
0	248

prune780.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes542.0ms

Accuracy

36.3% (1.4b remaining)

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

bsearch122.0ms

Steps

Iters	Range		Point
8	3.6695574381257093e+18	3.1351826760999994e+22	3.728411986898782e+18
10	-9.814816680051276e-32	-7.874910025890794e-42	-4.723193511360802e-34

simplify4.0ms

Iterations

Iter	Nodes
done	37
2	37
1	35
0	24

end0.0ms

sample1.1s

Algorithm

intervals

Results

457.0ms

10569×

body

valid