Details

sample2.8s

Algorithm

intervals

Results

2.3s	138×	body	10240	exit
244.0ms	48×	body	1280	nan
121.0ms	259×	body	80	valid
70.0ms	48×	body	640	nan
21.0ms	18×	body	320	nan
6.0ms	10×	body	160	nan
2.0ms	5×	body	80	nan

simplify2.3s

Counts

1 → 1

Iterations

Useful iterations: 3 (810.0ms)

Iter	Nodes	Cost
0	60	123
1	148	123
2	609	121
3	3846	88
done	5001	88

prune59.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize123.0ms

Local error

Found 4 expressions with local error:

0.9b	(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
0.9b	(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
1.0b	(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
1.0b	(sqrt (* PI 2.0))

rewrite1.2m

Algorithm

rewrite-expression-head

Rules

131×	`*-un-lft-identity`
102×	`frac-add`
76×	`distribute-lft-out`
69×	`add-log-exp`
51×	`sum-log`
44×	`times-frac`
30×	`unpow-prod-down`
28×	`flip3-+` `flip-+`
26×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`exp-sum`
11×	`associate-/l*`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube`
5×	`unpow-prod-up` `distribute-rgt-neg-in` `sqr-pow`
4×	`associate-+r-` `associate-/r*`
3×	`exp-diff` `div-exp` `associate-/r/`
2×	`+-commutative` `neg-sub0` `associate-+r+` `sqrt-pow1`
1×	`cbrt-undiv` `pow-to-exp` `associate-+l-` `associate-+l+` `frac-2neg` `pow1/2` `unsub-neg` `pow-prod-down` `pow-exp` `clear-num` `sqrt-prod` `div-inv` `associate-/l/` `pow-sub`

Counts

4 → 171

Calls

4 calls:

1.2m	(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
418.0ms	(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
613.0ms	(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
4.0ms	(sqrt (* PI 2.0))

series559.0ms

Counts

4 → 10

Calls

4 calls:

265.0ms	(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
203.0ms	(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
91.0ms	(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
0.0ms	(sqrt (* PI 2.0))

simplify1.2s

Counts

181 → 181

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	596	13999
1	2003	11864
done	5002	11701

prune3.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

localize96.0ms

Local error

Found 4 expressions with local error:

0.9b	(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
0.9b	(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
1.0b	(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
1.0b	(sqrt PI)

rewrite54.8s

Algorithm

rewrite-expression-head

Rules

132×	`*-un-lft-identity`
102×	`frac-add`
76×	`distribute-lft-out`
69×	`add-log-exp`
51×	`sum-log`
44×	`times-frac`
30×	`unpow-prod-down`
28×	`add-sqr-sqrt` `flip3-+` `flip-+`
27×	`add-cube-cbrt`
12×	`exp-sum`
11×	`associate-/l*`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `unpow-prod-up` `distribute-rgt-neg-in` `sqr-pow`
4×	`associate-+r-` `associate-/r*`
3×	`exp-diff` `div-exp` `sqrt-prod` `associate-/r/`
2×	`+-commutative` `neg-sub0` `associate-+r+`
1×	`cbrt-undiv` `pow-to-exp` `associate-+l-` `rem-sqrt-square` `associate-+l+` `frac-2neg` `sqrt-pow1` `pow1/2` `unsub-neg` `pow-exp` `clear-num` `div-inv` `associate-/l/` `pow-sub`

Counts

4 → 173

Calls

4 calls:

54.2s	(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
406.0ms	(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
208.0ms	(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
1.0ms	(sqrt PI)

series392.0ms

Counts

4 → 10

Calls

4 calls:

179.0ms	(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
163.0ms	(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
49.0ms	(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
0.0ms	(sqrt PI)

simplify652.0ms

Counts

183 → 183

Iterations

Useful iterations: done (635.0ms)

Iter	Nodes	Cost
0	588	13907
1	1972	11781
done	5000	11620

prune2.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize172.0ms

Local error

Found 4 expressions with local error:

1.0b	(* (/ -1259.1392167224028 (- 2.0 z)) (- (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))))
1.0b	(* (/ -1259.1392167224028 (- 2.0 z)) (- (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))))
1.0b	(* (/ -1259.1392167224028 (- 2.0 z)) (- (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))))
1.0b	(sqrt PI)

rewrite16.0s

Algorithm

rewrite-expression-head

Rules

95×	`*-un-lft-identity`
84×	`add-sqr-sqrt`
63×	`associate-l`
51×	`times-frac`
36×	`frac-add` `frac-sub`
35×	`add-cube-cbrt`
27×	`associate-r`
24×	`frac-times` `associate-*r/`
21×	`distribute-lft-out--`
19×	`add-exp-log` `add-cbrt-cube`
18×	`flip3-+` `flip-+` `distribute-lft-out`
15×	`difference-of-squares`
11×	`pow1`
9×	`flip3--` `flip--`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
4×	`add-log-exp`
3×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-l/` `sqrt-prod` `-commutative` `div-inv`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 211

Calls

4 calls:

5.3s	(* (/ -1259.1392167224028 (- 2.0 z)) (- (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))))
5.3s	(* (/ -1259.1392167224028 (- 2.0 z)) (- (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))))
5.3s	(* (/ -1259.1392167224028 (- 2.0 z)) (- (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))))
1.0ms	(sqrt PI)

series450.0ms

Counts

4 → 10

Calls

4 calls:

149.0ms	(* (/ -1259.1392167224028 (- 2.0 z)) (- (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))))
149.0ms	(* (/ -1259.1392167224028 (- 2.0 z)) (- (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))))
151.0ms	(* (/ -1259.1392167224028 (- 2.0 z)) (- (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))))
0.0ms	(sqrt PI)

simplify1.4s

Counts

221 → 221

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	303	11129
1	889	10678
2	3848	9725
done	5000	9722

prune4.8s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.1b

localize97.0ms

Local error

Found 4 expressions with local error:

1.0b	(pow (/ 771.3234287776531 (+ (- z) 3.0)) 3)
1.0b	(pow (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) 3)
1.0b	(sqrt PI)
1.0b	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (+ (- z) 3.0)))

rewrite311.0ms

Algorithm

rewrite-expression-head

Rules

60×	`*-un-lft-identity`
33×	`add-sqr-sqrt`
31×	`times-frac`
27×	`add-cube-cbrt`
25×	`unpow-prod-down` `cube-prod`
15×	`distribute-lft-out`
9×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
7×	`pow1`
6×	`pow-unpow` `distribute-rgt-neg-in`
4×	`flip3-+` `associate-/r/` `flip-+`
3×	`cube-div` `pow-exp` `sqrt-prod` `rem-cube-cbrt`
2×	`cube-mult` `pow-to-exp` `pow-pow` `diff-log` `unpow3` `frac-sub` `div-inv` `distribute-lft-out--` `difference-of-squares` `sqr-pow`
1×	`cbrt-undiv` `sub-neg` `rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `div-exp` `associate--l+` `sum-log` `flip--`

Counts

4 → 122

Calls

4 calls:

22.0ms	(pow (/ 771.3234287776531 (+ (- z) 3.0)) 3)
44.0ms	(pow (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) 3)
1.0ms	(sqrt PI)
239.0ms	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (+ (- z) 3.0)))

series153.0ms

Counts

4 → 10

Calls

4 calls:

51.0ms	(pow (/ 771.3234287776531 (+ (- z) 3.0)) 3)
47.0ms	(pow (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) 3)
0.0ms	(sqrt PI)
55.0ms	(- (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ 771.3234287776531 (+ (- z) 3.0)))

simplify1.2s

Counts

132 → 132

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	290	2247
1	808	2047
2	2849	1707
done	5001	1705

prune1.3s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.1b

regimes289.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify11.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	76	337
1	107	337
done	107	337

end0.0ms

sample53.7s

Algorithm

intervals

Results

45.2s	3904×	body	10240	exit
3.0s	1480×	body	1280	nan
2.7s	8076×	body	80	valid
1.7s	1241×	body	640	nan
496.0ms	571×	body	320	nan
192.0ms	304×	body	160	nan
65.0ms	290×	body	80	nan
1.0ms	2×	body	160	valid