Details

sample53.0ms

Algorithm

intervals

Results

25.0ms

334×

body

valid

simplify6.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	165
1	16	165
2	30	165
3	63	165
4	128	165
5	205	165
6	412	165
7	962	165
8	1548	165
9	1857	165
10	2251	165
11	2528	165
12	2794	165
13	3060	165
14	3328	165
15	3599	165
16	3867	165
17	4139	165
18	4407	165
19	4678	165
20	4946	165
done	5000	165

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.5b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ (* y (- z t)) a))
0.0b	(* y (- z t))
6.2b	(/ (* y (- z t)) a)

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 63

Calls

3 calls:

6.0ms	(- x (/ (* y (- z t)) a))
16.0ms	(* y (- z t))
15.0ms	(/ (* y (- z t)) a)

series168.0ms

Counts

3 → 9

Calls

3 calls:

60.0ms	(- x (/ (* y (- z t)) a))
41.0ms	(* y (- z t))
67.0ms	(/ (* y (- z t)) a)

simplify3.0s

Counts

72 → 72

Iterations

Useful iterations: 3 (1.5s)

Iter	Nodes	Cost
0	120	14581
1	305	13345
2	844	13185
3	3370	12665
done	5046	12665

prune419.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt a)
0.6b	(cbrt a)
0.6b	(cbrt a)
6.4b	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt`
40×	`times-frac`
38×	`*-un-lft-identity`
34×	`associate-r`
26×	`cbrt-prod` `add-cube-cbrt`
25×	`add-exp-log`
18×	`add-cbrt-cube`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `associate-l`
6×	`pow1` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
4×	`add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

4 → 104

Calls

4 calls:

1.0ms	(cbrt a)
1.0ms	(cbrt a)
1.0ms	(cbrt a)
69.0ms	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

series842.0ms

Counts

4 → 12

Calls

4 calls:

249.0ms	(cbrt a)
199.0ms	(cbrt a)
270.0ms	(cbrt a)
124.0ms	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

simplify2.4s

Counts

116 → 116

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	161	37522
1	506	34523
2	2098	33959
done	5000	29479

prune1.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
1.5b	(* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a)))
1.9b	(* (/ (* (cbrt y) (cbrt y)) (cbrt a)) (* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a))))

rewrite165.0ms

Algorithm

rewrite-expression-head

Rules

115×	`add-sqr-sqrt`
94×	`times-frac`
85×	`add-exp-log`
77×	`cbrt-prod`
63×	`*-un-lft-identity`
51×	`add-cube-cbrt`
50×	`associate-l`
41×	`add-cbrt-cube`
36×	`prod-exp` `cbrt-unprod`
35×	`associate-r`
26×	`cbrt-undiv` `div-exp`
15×	`unswap-sqr`
11×	`pow1`
6×	`frac-times` `associate-*r/` `distribute-lft-out--` `difference-of-squares`
4×	`pow-prod-down` `associate-*l/` `add-log-exp`
3×	`div-inv`
2×	`pow1/3` `*-commutative`

Counts

4 → 189

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
59.0ms	(* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a)))
96.0ms	(* (/ (* (cbrt y) (cbrt y)) (cbrt a)) (* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a))))

series935.0ms

Counts

4 → 12

Calls

4 calls:

232.0ms	(cbrt y)
269.0ms	(cbrt y)
347.0ms	(* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a)))
87.0ms	(* (/ (* (cbrt y) (cbrt y)) (cbrt a)) (* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a))))

simplify4.3s

Counts

201 → 201

Iterations

Useful iterations: done (4.2s)

Iter	Nodes	Cost
0	289	92118
1	916	87070
2	3462	86344
done	5004	77704

prune1.6s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ (+ (* y z) (* y (- t))) a))
0.4b	(+ (* y z) (* y (- t)))
6.2b	(/ (+ (* y z) (* y (- t))) a)

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
13×	`times-frac`
12×	`add-cube-cbrt`
7×	`add-log-exp`
6×	`distribute-rgt-neg-out`
5×	`add-cbrt-cube` `add-exp-log` `distribute-lft-out`
4×	`div-sub` `associate-/l*`
3×	`pow1` `associate-/r*` `unsub-neg`
2×	`flip3-+` `flip-+` `associate--r-` `difference-of-squares` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `clear-num` `sum-log` `sub-neg` `frac-2neg` `flip3--` `diff-log` `div-exp` `div-inv` `flip--` `distribute-lft-out--`

Counts

3 → 66

Calls

3 calls:

30.0ms	(- x (/ (+ (* y z) (* y (- t))) a))
12.0ms	(+ (* y z) (* y (- t)))
33.0ms	(/ (+ (* y z) (* y (- t))) a)

series243.0ms

Counts

3 → 9

Calls

3 calls:

78.0ms	(- x (/ (+ (* y z) (* y (- t))) a))
61.0ms	(+ (* y z) (* y (- t)))
104.0ms	(/ (+ (* y z) (* y (- t))) a)

simplify3.5s

Counts

75 → 75

Iterations

Useful iterations: 3 (1.7s)

Iter	Nodes	Cost
0	118	22950
1	297	16734
2	1074	16374
3	4411	16174
done	5119	16174

prune429.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes899.0ms

Accuracy

63.5% (1.2b remaining)

Error of 1.2b against oracle of 0.0b and baseline of 3.2b

bsearch1.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	22	668
1	30	668
done	30	668

end0.0ms

sample1.2s

Algorithm

intervals

Results

585.0ms

10575×

body

valid