Details

sample202.0ms

Algorithm

intervals

Results

85.0ms	273×	body	80	nan
73.0ms	256×	body	80	valid

simplify2.0s

Counts

1 → 1

Iterations

Iter	Nodes
5	5020
4	1334
3	350
2	100
1	50
0	28

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.4b

localize85.0ms

Local error

Found 4 expressions with local error:

0.2b	(* z (sqrt (+ t a)))
0.3b	(/ 2.0 (* t 3.0))
1.9b	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
5.1b	(/ (* z (sqrt (+ t a))) t)

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

20×	`frac-sub`
16×	`add-cbrt-cube` `add-exp-log`
15×	`add-sqr-sqrt`
13×	`*-un-lft-identity`
11×	`add-cube-cbrt`
9×	`flip3--` `flip--`
8×	`frac-times` `associate-*r/`
7×	`associate-r`
6×	`pow1` `times-frac` `associate--r+` `add-log-exp`
5×	`flip3-+` `sqrt-prod` `flip-+`
4×	`cbrt-undiv` `associate-/r` `sqrt-div` `div-exp` `associate-/l`
3×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `prod-exp` `cbrt-unprod`
2×	`clear-num` `frac-2neg` `associate-*l/` `associate--l+` `div-inv` `unswap-sqr` `associate-/l/`
1×	`diff-log` `pow-prod-down` `*-commutative` `distribute-lft-out`

Counts

4 → 101

Calls

4 calls:

26.0ms	(* z (sqrt (+ t a)))
11.0ms	(/ 2.0 (* t 3.0))
50.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
22.0ms	(/ (* z (sqrt (+ t a))) t)

series524.0ms

Counts

4 → 12

Calls

4 calls:

98.0ms	(* z (sqrt (+ t a)))
34.0ms	(/ 2.0 (* t 3.0))
286.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
107.0ms	(/ (* z (sqrt (+ t a))) t)

simplify1.6s

Counts

113 → 113

Iterations

Iter	Nodes
2	4468
1	1029
0	346

prune2.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize90.0ms

Local error

Found 4 expressions with local error:

0.2b	(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ a (- (/ 5.0 6.0) (/ (/ 2.0 t) 3.0))) (- b c)))))
0.3b	(/ (/ 2.0 t) 3.0)
1.9b	(- (* (/ z t) (sqrt (+ a t))) (* (+ a (- (/ 5.0 6.0) (/ (/ 2.0 t) 3.0))) (- b c)))
4.7b	(* (/ z t) (sqrt (+ a t)))

rewrite111.0ms

Algorithm

rewrite-expression-head

Rules

86×	`times-frac`
67×	`add-sqr-sqrt`
59×	`*-un-lft-identity`
57×	`add-cube-cbrt`
40×	`frac-sub`
38×	`frac-times`
36×	`sqrt-div`
33×	`flip3-+` `flip-+`
28×	`associate-*r/`
19×	`associate-*l/`
16×	`flip3--` `flip--`
14×	`add-cbrt-cube` `add-exp-log`
13×	`associate-l` `associate-/l*`
7×	`pow1` `associate-r`
6×	`sqrt-prod` `div-inv` `add-log-exp`
5×	`log-prod`
4×	`cbrt-undiv` `sub-neg` `div-exp` `log-pow` `associate--r+` `unswap-sqr`
3×	`exp-prod` `associate-/r*`
2×	`distribute-rgt-in` `distribute-lft-in` `exp-sum` `prod-exp` `cbrt-unprod`
1×	`log-div` `clear-num` `frac-2neg` `exp-diff` `diff-log` `rem-log-exp` `pow-prod-down` `*-commutative` `distribute-lft-out` `associate-/l/`

Counts

4 → 186

Calls

4 calls:

27.0ms	(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ a (- (/ 5.0 6.0) (/ (/ 2.0 t) 3.0))) (- b c)))))
10.0ms	(/ (/ 2.0 t) 3.0)
34.0ms	(- (* (/ z t) (sqrt (+ a t))) (* (+ a (- (/ 5.0 6.0) (/ (/ 2.0 t) 3.0))) (- b c)))
35.0ms	(* (/ z t) (sqrt (+ a t)))

series777.0ms

Counts

4 → 12

Calls

4 calls:

282.0ms	(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ a (- (/ 5.0 6.0) (/ (/ 2.0 t) 3.0))) (- b c)))))
34.0ms	(/ (/ 2.0 t) 3.0)
316.0ms	(- (* (/ z t) (sqrt (+ a t))) (* (+ a (- (/ 5.0 6.0) (/ (/ 2.0 t) 3.0))) (- b c)))
145.0ms	(* (/ z t) (sqrt (+ a t)))

simplify3.0s

Counts

198 → 198

Iterations

Iter	Nodes
2	6817
1	1641
0	531

prune5.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize121.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ (/ 2.0 3.0) t)
1.9b	(- (* (/ z t) (sqrt (+ a t))) (* (+ a (- (/ 5.0 6.0) (cbrt (* (/ (/ 2.0 3.0) t) (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t)))))) (- b c)))
4.7b	(* (/ z t) (sqrt (+ a t)))
37.0b	(cbrt (* (/ (/ 2.0 3.0) t) (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t))))

rewrite116.0ms

Algorithm

rewrite-expression-head

Rules

86×	`times-frac`
65×	`add-sqr-sqrt`
57×	`*-un-lft-identity`
55×	`add-cube-cbrt`
43×	`frac-times`
40×	`frac-sub`
36×	`sqrt-div`
33×	`flip3-+` `associate-*r/` `flip-+`
22×	`associate-*l/`
16×	`flip3--` `flip--`
14×	`add-cbrt-cube` `add-exp-log`
13×	`associate-l` `associate-/l*`
7×	`cbrt-div` `associate-r`
6×	`pow1` `sqrt-prod` `div-inv` `add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate--r+` `unswap-sqr`
3×	`associate-/r*` `sub-neg`
2×	`distribute-rgt-in` `distribute-lft-in` `prod-exp` `cbrt-unprod`
1×	`cbrt-prod` `clear-num` `frac-2neg` `pow1/3` `diff-log` `cube-unmult` `pow-prod-down` `*-commutative` `rem-cbrt-cube` `distribute-lft-out` `associate-/l/`

Counts

4 → 185

Calls

4 calls:

6.0ms	(/ (/ 2.0 3.0) t)
25.0ms	(- (* (/ z t) (sqrt (+ a t))) (* (+ a (- (/ 5.0 6.0) (cbrt (* (/ (/ 2.0 3.0) t) (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t)))))) (- b c)))
33.0ms	(* (/ z t) (sqrt (+ a t)))
48.0ms	(cbrt (* (/ (/ 2.0 3.0) t) (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t))))

series665.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ (/ 2.0 3.0) t)
471.0ms	(- (* (/ z t) (sqrt (+ a t))) (* (+ a (- (/ 5.0 6.0) (cbrt (* (/ (/ 2.0 3.0) t) (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t)))))) (- b c)))
113.0ms	(* (/ z t) (sqrt (+ a t)))
58.0ms	(cbrt (* (/ (/ 2.0 3.0) t) (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t))))

simplify3.6s

Counts

197 → 197

Iterations

Iter	Nodes
2	6976
1	1676
0	543

prune5.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ x (* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))))
0.0b	(* c (+ a 0.8333333333333334))
0.0b	(exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b))))
1.2b	(- (* c (+ a 0.8333333333333334)) (* a b))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt` `*-un-lft-identity`
14×	`add-cube-cbrt`
9×	`times-frac`
8×	`distribute-rgt-in` `distribute-lft-in` `add-cbrt-cube` `exp-sum` `add-exp-log` `add-log-exp`
6×	`pow1` `associate--l+`
4×	`associate-r`
3×	`associate-/r` `sub-neg` `associate-l` `associate-/l`
2×	`flip3-+` `associate-*r/` `associate-/r/` `flip-+`
1×	`cbrt-undiv` `exp-prod` `clear-num` `frac-2neg` `flip3--` `exp-to-pow` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `div-inv` `flip--` `distribute-lft-out` `unswap-sqr` `rem-exp-log`

Counts

4 → 84

Calls

4 calls:

6.0ms	(/ x (+ x (* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))))
11.0ms	(* c (+ a 0.8333333333333334))
43.0ms	(exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b))))
29.0ms	(- (* c (+ a 0.8333333333333334)) (* a b))

series339.0ms

Counts

4 → 12

Calls

4 calls:

185.0ms	(/ x (+ x (* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))))
54.0ms	(* c (+ a 0.8333333333333334))
48.0ms	(exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b))))
53.0ms	(- (* c (+ a 0.8333333333333334)) (* a b))

simplify1.5s

Counts

96 → 96

Iterations

Iter	Nodes
3	4242
2	1156
1	413
0	174

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

regimes717.0ms

Accuracy

0% (2.2b remaining)

Error of 2.8b against oracle of 0.6b and baseline of 2.8b

bsearch0.0ms

simplify17.0ms

Iterations

Iter	Nodes
2	37
1	37
0	30

end0.0ms

sample6.2s

Algorithm

intervals

Results

2.7s	8000×	body	80	valid
2.5s	7744×	body	80	nan