Details

sample177.0ms

Algorithm

intervals

Results

57.0ms	292×	body	80	nan
32.0ms	51×	body	1280	valid
17.0ms	40×	body	640	valid
17.0ms	159×	body	80	valid
13.0ms	13×	body	2560	valid
3.0ms	10×	body	320	valid
2.0ms	9×	body	160	valid

simplify98.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	86
6	86
5	84
4	78
3	67
2	50
1	32
0	18

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.3b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-cbrt-cube` `add-exp-log`
9×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cube-cbrt`
6×	`times-frac`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `associate-/r` `div-exp` `insert-posit16` `associate-/l` `add-log-exp`
3×	`cos-diff` `associate-r` `pow-prod-down`
2×	`cos-sum` `clear-num` `frac-2neg` `div-inv`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `*-commutative`

Counts

4 → 76

Calls

4 calls:

17.0ms	(/ (* z t) 3.0)
12.0ms	(/ a (* b 3.0))
28.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
30.0ms	(cos (- y (/ (* z t) 3.0)))

series239.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/ (* z t) 3.0)
26.0ms	(/ a (* b 3.0))
130.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
59.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.3s

Counts

88 → 88

Iterations

Iter	Nodes
done	5000
2	1369
1	426
0	174

prune789.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.5b

localize89.0ms

Local error

Found 4 expressions with local error:

15.8b	(cbrt (/ (* z t) 3.0))
15.8b	(cbrt (/ (* z t) 3.0))
15.8b	(cbrt (/ (* z t) 3.0))
27.6b	(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
10×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `add-log-exp`
3×	`cbrt-div` `pow1/3` `div-inv`
2×	`cos-sum`
1×	`cos-diff` `sub-neg`

Counts

4 → 62

Calls

4 calls:

3.0ms	(cbrt (/ (* z t) 3.0))
3.0ms	(cbrt (/ (* z t) 3.0))
4.0ms	(cbrt (/ (* z t) 3.0))
25.0ms	(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))

series470.0ms

Counts

4 → 12

Calls

4 calls:

102.0ms	(cbrt (/ (* z t) 3.0))
133.0ms	(cbrt (/ (* z t) 3.0))
104.0ms	(cbrt (/ (* z t) 3.0))
130.0ms	(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))

simplify2.3s

Counts

74 → 74

Iterations

Iter	Nodes
done	5001
5	4203
4	1342
3	659
2	298
1	167
0	95

prune863.0ms

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 17.2b

localize55.0ms

Local error

Found 4 expressions with local error:

15.8b	(cbrt (/ (* z t) 3.0))
15.8b	(cbrt (/ (* z t) 3.0))
15.8b	(cbrt (/ (* z t) 3.0))
27.6b	(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
10×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `add-log-exp`
3×	`cbrt-div` `pow1/3` `div-inv`
2×	`cos-sum`
1×	`cos-diff` `sub-neg`

Counts

4 → 62

Calls

4 calls:

5.0ms	(cbrt (/ (* z t) 3.0))
10.0ms	(cbrt (/ (* z t) 3.0))
5.0ms	(cbrt (/ (* z t) 3.0))
10.0ms	(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))))

series757.0ms

Counts

4 → 12

Calls

4 calls:

395.0ms	(cbrt (/ (* z t) 3.0))
125.0ms	(cbrt (/ (* z t) 3.0))
120.0ms	(cbrt (/ (* z t) 3.0))
117.0ms	(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)))))))

simplify2.4s

Counts

74 → 74

Iterations

Iter	Nodes
done	5004
5	4686
4	1414
3	682
2	307
1	172
0	97

prune865.0ms

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 17.2b

localize87.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (/ t 3.0))
15.8b	(cbrt (/ (* z t) 3.0))
15.8b	(cbrt (/ (* z t) 3.0))
27.4b	(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (* (cbrt z) (cbrt (/ t 3.0))))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

27×	`cbrt-prod`
15×	`add-sqr-sqrt` `*-un-lft-identity` `times-frac` `add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `add-log-exp`
3×	`cbrt-div` `pow1/3` `div-inv`
2×	`cos-sum`
1×	`cos-diff` `sub-neg`

Counts

4 → 68

Calls

4 calls:

2.0ms	(cbrt (/ t 3.0))
4.0ms	(cbrt (/ (* z t) 3.0))
4.0ms	(cbrt (/ (* z t) 3.0))
12.0ms	(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (* (cbrt z) (cbrt (/ t 3.0))))))

series822.0ms

Counts

4 → 12

Calls

4 calls:

327.0ms	(cbrt (/ t 3.0))
124.0ms	(cbrt (/ (* z t) 3.0))
116.0ms	(cbrt (/ (* z t) 3.0))
255.0ms	(cos (- y (* (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (* (cbrt z) (cbrt (/ t 3.0))))))

simplify1.4s

Counts

80 → 80

Iterations

Iter	Nodes
done	5002
3	1638
2	593
1	275
0	155

prune806.0ms

Pruning

35 alts after pruning (35 fresh and 0 done)

Merged error: 17.1b

regimes6.9s

Accuracy

47.3% (2.2b remaining)

Error of 18.2b against oracle of 16.0b and baseline of 20.2b

bsearch3.0ms

simplify18.0ms

Iterations

Iter	Nodes
done	58
1	58
0	42

end0.0ms

sample6.4s

Algorithm

intervals

Results

1.7s	8962×	body	80	nan
1.5s	1539×	body	1280	valid
1.3s	5563×	body	80	valid
521.0ms	948×	body	640	valid
420.0ms	382×	body	2560	valid
192.0ms	428×	body	320	valid
43.0ms	200×	body	160	valid