Details

sample93.0ms

Algorithm

intervals

Results

36.0ms	50×	body	1280	valid
19.0ms	39×	body	640	valid
14.0ms	138×	body	80	valid
6.0ms	17×	body	320	valid
3.0ms	12×	body	160	valid

simplify3.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	11
1	11
0	8

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize31.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x (sin y)) (* z (cos y)))
0.1b	(* x (sin y))
0.1b	(* z (cos y))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
7×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
6×	`associate-r` `associate-l`
5×	`add-log-exp`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `sum-log` `flip3-+` `flip-+`

Counts

3 → 47

Calls

3 calls:

7.0ms	(+ (* x (sin y)) (* z (cos y)))
22.0ms	(* x (sin y))
8.0ms	(* z (cos y))

series228.0ms

Counts

3 → 9

Calls

3 calls:

101.0ms	(+ (* x (sin y)) (* z (cos y)))
72.0ms	(* x (sin y))
55.0ms	(* z (cos y))

simplify2.0s

Counts

56 → 56

Iterations

Iter	Nodes
done	5000
3	1575
2	499
1	192
0	81

prune353.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (cos y)) (cbrt (cos y)))
0.3b	(cbrt (cos y))
0.3b	(cbrt (cos y))
0.3b	(cbrt (cos y))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

22.0ms	(* (cbrt (cos y)) (cbrt (cos y)))
2.0ms	(cbrt (cos y))
2.0ms	(cbrt (cos y))
2.0ms	(cbrt (cos y))

series712.0ms

Counts

4 → 12

Calls

4 calls:

257.0ms	(* (cbrt (cos y)) (cbrt (cos y)))
158.0ms	(cbrt (cos y))
123.0ms	(cbrt (cos y))
174.0ms	(cbrt (cos y))

simplify2.0s

Counts

85 → 85

Iterations

Iter	Nodes
done	5000
3	1140
2	366
1	144
0	64

prune589.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* z (cbrt (* (cos y) (cos y)))) (cbrt (cos y)))
0.3b	(* (cos y) (cos y))
0.3b	(cbrt (* (cos y) (cos y)))
0.3b	(cbrt (cos y))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1`
13×	`add-sqr-sqrt`
11×	`*-un-lft-identity` `add-exp-log` `add-cube-cbrt`
9×	`associate-r`
8×	`add-cbrt-cube`
7×	`cbrt-prod`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`swap-sqr` `cos-mult`
2×	`cbrt-div` `pow1/3` `*-commutative`
1×	`pow2` `sqr-cos` `pow-plus` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up` `unswap-sqr`

Counts

4 → 70

Calls

4 calls:

28.0ms	(* (* z (cbrt (* (cos y) (cos y)))) (cbrt (cos y)))
15.0ms	(* (cos y) (cos y))
13.0ms	(cbrt (* (cos y) (cos y)))
2.0ms	(cbrt (cos y))

series469.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* (* z (cbrt (* (cos y) (cos y)))) (cbrt (cos y)))
21.0ms	(* (cos y) (cos y))
265.0ms	(cbrt (* (cos y) (cos y)))
137.0ms	(cbrt (cos y))

simplify2.5s

Counts

82 → 82

Iterations

Iter	Nodes
done	5004
3	2989
2	921
1	289
0	110

prune570.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize67.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (log (* (cos y) (cos y))) 1/3)
0.3b	(* (cos y) (cos y))
0.3b	(cbrt (cos y))
2.0b	(log (* (cos y) (cos y)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

29×	`pow1`
15×	`add-sqr-sqrt`
12×	`associate-l` `log-pow`
11×	`*-un-lft-identity` `add-exp-log` `add-cube-cbrt`
8×	`add-cbrt-cube`
6×	`associate-r`
4×	`pow-prod-down` `add-log-exp`
3×	`cbrt-prod` `pow2` `pow-plus` `swap-sqr` `prod-exp` `pow-sqr` `pow-prod-up`
2×	`rem-log-exp` `cos-mult` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`log-div` `sqr-cos` `log-prod` `pow1/3`

Counts

4 → 79

Calls

4 calls:

17.0ms	(* (log (* (cos y) (cos y))) 1/3)
8.0ms	(* (cos y) (cos y))
1.0ms	(cbrt (cos y))
12.0ms	(log (* (cos y) (cos y)))

series502.0ms

Counts

4 → 12

Calls

4 calls:

192.0ms	(* (log (* (cos y) (cos y))) 1/3)
32.0ms	(* (cos y) (cos y))
132.0ms	(cbrt (cos y))
145.0ms	(log (* (cos y) (cos y)))

simplify1.9s

Counts

91 → 91

Iterations

Iter	Nodes
done	5000
3	2028
2	743
1	259
0	112

prune639.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes344.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify4.0ms

Iterations

Iter	Nodes
done	24
1	24
0	18

end0.0ms

sample4.1s

Algorithm

intervals

Results

1.6s	1545×	body	1280	valid
767.0ms	4242×	body	80	valid
734.0ms	1234×	body	640	valid
650.0ms	665×	body	320	valid
70.0ms	314×	body	160	valid