Details

sample215.0ms

Algorithm

intervals

Results

68.0ms	49×	body	1280	valid
37.0ms	295×	body	80	nan
20.0ms	189×	body	80	valid
15.0ms	31×	body	640	valid
14.0ms	13×	body	2560	valid
5.0ms	15×	body	320	valid
1.0ms	5×	body	160	valid

simplify87.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	110
6	110
5	108
4	100
3	82
2	58
1	33
0	18

prune41.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 19.5b

localize31.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (/ z 3.0) (- t) y)
0.2b	(fma (cos (fma (/ z 3.0) (- t) y)) (* 2.0 (sqrt x)) (/ (- (/ a b)) 3.0))
0.3b	(/ (- (/ a b)) 3.0)
23.4b	(cos (fma (/ z 3.0) (- t) y))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

162×	`times-frac`
95×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
52×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
30×	`associate-/l*`
9×	`div-inv`
6×	`add-cbrt-cube` `add-exp-log`
4×	`expm1-log1p-u` `pow1` `neg-mul-1` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r*` `fma-udef`
1×	`neg-sub0` `cbrt-undiv` `cos-sum` `clear-num` `frac-2neg` `div-sub` `div-exp` `distribute-frac-neg` `distribute-neg-frac` `associate-/l/`

Counts

4 → 170

Calls

4 calls:

0.0ms	(fma (/ z 3.0) (- t) y)
1.0ms	(fma (cos (fma (/ z 3.0) (- t) y)) (* 2.0 (sqrt x)) (/ (- (/ a b)) 3.0))
28.0ms	(/ (- (/ a b)) 3.0)
4.0ms	(cos (fma (/ z 3.0) (- t) y))

series550.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(fma (/ z 3.0) (- t) y)
393.0ms	(fma (cos (fma (/ z 3.0) (- t) y)) (* 2.0 (sqrt x)) (/ (- (/ a b)) 3.0))
22.0ms	(/ (- (/ a b)) 3.0)
71.0ms	(cos (fma (/ z 3.0) (- t) y))

simplify1.6s

Counts

182 → 182

Iterations

Iter	Nodes
done	5001
2	2674
1	744
0	344

prune2.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 13.2b

localize51.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sin y) (- (sin (/ (* t z) 3.0))))
0.3b	(/ (- (/ a b)) 3.0)
27.2b	(cos (/ (* t z) 3.0))
27.5b	(sin (/ (* t z) 3.0))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

162×	`times-frac`
101×	`add-sqr-sqrt`
99×	`*-un-lft-identity` `add-cube-cbrt`
55×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
30×	`associate-/l*`
10×	`associate-r`
9×	`div-inv`
8×	`add-cbrt-cube` `add-exp-log`
6×	`pow1`
5×	`neg-mul-1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `associate-l*`
1×	`neg-sub0` `cbrt-undiv` `clear-num` `frac-2neg` `div-sub` `div-exp` `pow-prod-down` `prod-exp` `distribute-frac-neg` `*-commutative` `distribute-rgt-neg-out` `cbrt-unprod` `distribute-neg-frac` `unswap-sqr` `associate-/l/`

Counts

4 → 186

Calls

4 calls:

17.0ms	(* (sin y) (- (sin (/ (* t z) 3.0))))
33.0ms	(/ (- (/ a b)) 3.0)
3.0ms	(cos (/ (* t z) 3.0))
3.0ms	(sin (/ (* t z) 3.0))

series180.0ms

Counts

4 → 12

Calls

4 calls:

100.0ms	(* (sin y) (- (sin (/ (* t z) 3.0))))
28.0ms	(/ (- (/ a b)) 3.0)
20.0ms	(cos (/ (* t z) 3.0))
32.0ms	(sin (/ (* t z) 3.0))

simplify1.5s

Counts

198 → 198

Iterations

Iter	Nodes
done	5001
2	3317
1	790
0	344

prune2.5s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 13.0b

localize89.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sin y) (- (sin (/ (* t z) 3.0))))
0.3b	(/ (- (/ a b)) 3.0)
27.4b	(cos (* (* t 0.3333333333333333) z))
27.5b	(sin (/ (* t z) 3.0))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

162×	`times-frac`
101×	`add-sqr-sqrt`
99×	`*-un-lft-identity` `add-cube-cbrt`
55×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
30×	`associate-/l*`
10×	`associate-r`
9×	`div-inv`
8×	`add-cbrt-cube` `add-exp-log`
6×	`pow1`
5×	`neg-mul-1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `associate-l*`
1×	`neg-sub0` `cbrt-undiv` `clear-num` `frac-2neg` `div-sub` `div-exp` `pow-prod-down` `prod-exp` `distribute-frac-neg` `*-commutative` `distribute-rgt-neg-out` `cbrt-unprod` `distribute-neg-frac` `unswap-sqr` `associate-/l/`

Counts

4 → 186

Calls

4 calls:

16.0ms	(* (sin y) (- (sin (/ (* t z) 3.0))))
25.0ms	(/ (- (/ a b)) 3.0)
23.0ms	(cos (* (* t 0.3333333333333333) z))
5.0ms	(sin (/ (* t z) 3.0))

series146.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(* (sin y) (- (sin (/ (* t z) 3.0))))
24.0ms	(/ (- (/ a b)) 3.0)
16.0ms	(cos (* (* t 0.3333333333333333) z))
32.0ms	(sin (/ (* t z) 3.0))

simplify1.5s

Counts

198 → 198

Iterations

Iter	Nodes
done	5000
2	3315
1	797
0	346

prune2.7s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 13.0b

localize93.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* t z) 3.0)
0.2b	(* (sin y) (- (sin (/ (* t z) 3.0))))
27.4b	(cos (* (* t 0.3333333333333333) z))
27.5b	(sin (/ (* t z) 3.0))

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
11×	`add-cbrt-cube` `add-exp-log`
10×	`-un-lft-identity` `associate-r*` `add-cube-cbrt`
6×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`distribute-lft-neg-in` `associate-/r` `distribute-rgt-neg-in` `times-frac` `associate-l*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
1×	`clear-num` `neg-mul-1` `frac-2neg` `pow-prod-down` `-commutative` `distribute-rgt-neg-out` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

15.0ms	(/ (* t z) 3.0)
31.0ms	(* (sin y) (- (sin (/ (* t z) 3.0))))
23.0ms	(cos (* (* t 0.3333333333333333) z))
6.0ms	(sin (/ (* t z) 3.0))

series181.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(/ (* t z) 3.0)
83.0ms	(* (sin y) (- (sin (/ (* t z) 3.0))))
20.0ms	(cos (* (* t 0.3333333333333333) z))
38.0ms	(sin (/ (* t z) 3.0))

simplify807.0ms

Counts

81 → 81

Iterations

Iter	Nodes
done	5001
2	1183
1	266
0	122

prune933.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 13.0b

regimes2.5s

Accuracy

40.2% (3.2b remaining)

Error of 17.7b against oracle of 14.5b and baseline of 19.8b

bsearch470.0ms

Steps

Iters	Range		Point
9	3.1546716063486426e+75	9.159320678335971e+80	8.906603696220313e+80
8	-1.469680632787173e+106	-3.5458356524228233e+101	-6.941728260032481e+102

simplify17.0ms

Iterations

Iter	Nodes
done	63
3	63
2	61
1	55
0	39

end0.0ms

sample8.1s

Algorithm

intervals

Results

2.0s	1591×	body	1280	valid
1.7s	8980×	body	80	nan
1.2s	5666×	body	80	valid
851.0ms	340×	body	2560	valid
588.0ms	949×	body	640	valid
199.0ms	445×	body	320	valid
49.0ms	195×	body	160	valid