Details

sample1.4s

Algorithm

intervals

Results

436.0ms	121×	body	10240	exit
368.0ms	132×	body	1280	valid
224.0ms	53×	body	1280	nan
130.0ms	40×	body	640	nan
103.0ms	56×	body	640	valid
51.0ms	37×	body	320	valid
27.0ms	23×	body	320	nan
16.0ms	20×	body	160	valid
13.0ms	15×	body	160	nan
5.0ms	11×	body	80	valid
3.0ms	7×	body	80	nan

simplify233.0ms

Calls

1 calls:

Slowest

233.0ms

(* (* (* (sqrt (* PI 2)) (pow (+ (+ (- z 1) 7) 0.5) (+ (- z 1) 0.5))) (exp (- (+ (+ (- z 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1) 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (/ 771.3234287776531 (+ (- z 1) 3))) (/ -176.6150291621406 (+ (- z 1) 4))) (/ 12.507343278686905 (+ (- z 1) 5))) (/ -0.13857109526572012 (+ (- z 1) 6))) (/ 9.984369578019572e-06 (+ (- z 1) 7))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))))

prune51.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize125.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* PI 2))
1.0b	(sqrt (* PI 2))
1.0b	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))

rewrite1.0s

Algorithm

rewrite-expression-head

Rules

28×	`*-un-lft-identity`
22×	`associate-l`
20×	`add-sqr-sqrt`
14×	`unpow-prod-down` `add-exp-log`
10×	`pow1` `add-cube-cbrt` `distribute-lft-out`
8×	`add-cbrt-cube` `associate-r`
6×	`prod-exp` `unswap-sqr`
4×	`expm1-log1p-u` `sqrt-pow1` `sqrt-prod` `insert-posit16` `log1p-expm1-u` `add-log-exp` `sqr-pow`
2×	`pow-to-exp` `unpow-prod-up` `pow1/2` `pow-prod-down` `associate-l/` `pow-exp` `-commutative` `associate-+l-` `cbrt-unprod` `distribute-lft-out--` `pow-sub`

Calls

4 calls:

Slowest

541.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
492.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
8.0ms	(sqrt (* PI 2))
7.0ms	(sqrt (* PI 2))

series1.1s

Calls

4 calls:

Slowest

764.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
350.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt (* PI 2))

simplify13.7s

Calls

64 calls:

Slowest

790.0ms	(+ (* (+ (/ 12.507343278686905 (+ z 4)) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))) (* (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 1.5056327351493116e-07 (+ z 7))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))))
774.0ms	(+ (* (+ (/ 12.507343278686905 (+ z 4)) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))) (* (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 1.5056327351493116e-07 (+ z 7))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))))
475.0ms	(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
462.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
448.0ms	(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))

prune4.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.7b

localize187.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* PI 2))
1.0b	(sqrt (* PI 2))
1.0b	(sqrt (* PI 2))
1.0b	(sqrt (* PI 2))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1`
8×	`sqrt-pow1`
4×	`add-sqr-sqrt` `expm1-log1p-u` `*-un-lft-identity` `add-cbrt-cube` `pow1/2` `pow-prod-down` `add-exp-log` `add-cube-cbrt` `sqrt-prod` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

4 calls:

Slowest

4.0ms	(sqrt (* PI 2))
4.0ms	(sqrt (* PI 2))
4.0ms	(sqrt (* PI 2))
4.0ms	(sqrt (* PI 2))

series0.0ms

Calls

4 calls:

Slowest

0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt (* PI 2))

simplify60.0ms

Calls

12 calls:

Slowest

10.0ms	(* PI 2)
6.0ms	(* PI 2)
6.0ms	(* PI 2)
6.0ms	(* PI 2)
4.0ms	(* PI 2)

prune2.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.7b

localize181.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* PI 2))
1.0b	(sqrt PI)
1.0b	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (* (sqrt PI) (sqrt 2)))
1.0b	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))

rewrite872.0ms

Algorithm

rewrite-expression-head

Rules

28×	`*-un-lft-identity`
22×	`associate-l` `add-exp-log`
16×	`add-sqr-sqrt`
13×	`unpow-prod-down`
12×	`prod-exp`
11×	`add-cbrt-cube`
10×	`add-cube-cbrt` `distribute-lft-out`
8×	`pow1`
5×	`associate-r` `sqrt-prod`
4×	`expm1-log1p-u` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow-to-exp` `sqrt-pow1` `pow-exp` `unswap-sqr` `sqr-pow`
2×	`unpow-prod-up` `pow1/2` `associate-l/` `-commutative` `associate-+l-` `distribute-lft-out--` `pow-sub`
1×	`rem-sqrt-square` `pow-prod-down`

Calls

4 calls:

Slowest

477.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (* (sqrt PI) (sqrt 2)))
389.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
4.0ms	(sqrt (* PI 2))
1.0ms	(sqrt PI)

series812.0ms

Calls

4 calls:

Slowest

413.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (* (sqrt PI) (sqrt 2)))
399.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt PI)

simplify11.6s

Calls

60 calls:

Slowest

450.0ms	(pow 1 (+ (- z 1) 0.5))
447.0ms	(+ (* (log (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (log (* (sqrt PI) (sqrt 2))))
429.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
426.0ms	(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
414.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) z) (* (sqrt PI) (sqrt 2)))

prune4.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.7b

localize200.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* PI 2))
1.0b	(sqrt PI)
1.0b	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.9b	(* (+ (/ 12.507343278686905 (+ z 4)) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (- z 1)) (* (pow (+ (+ 7 (- z 1)) 0.5) 0.5) (* (sqrt PI) (sqrt 2)))) (exp (- (+ (+ 7 (- z 1)) 0.5)))))

rewrite40.8s

Algorithm

rewrite-expression-head

Rules

210×	`frac-add`
98×	`frac-times`
96×	`prod-exp`
90×	`add-exp-log`
65×	`associate-*l/`
45×	`*-un-lft-identity`
42×	`flip3-+` `flip-+`
40×	`pow-sub`
39×	`exp-neg`
32×	`associate-*r/`
26×	`neg-sub0` `add-cbrt-cube` `exp-diff` `distribute-lft-out`
20×	`associate-l`
16×	`cbrt-unprod`
15×	`add-sqr-sqrt`
14×	`pow-to-exp` `pow-exp`
13×	`pow1` `un-div-inv`
9×	`add-cube-cbrt`
7×	`unpow-prod-down`
5×	`associate-r` `sqrt-prod`
4×	`expm1-log1p-u` `pow-prod-down` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`sqrt-pow1` `unswap-sqr`
2×	`pow1/2` `*-commutative` `sqr-pow`
1×	`unpow-prod-up` `rem-sqrt-square` `associate-+l-` `distribute-lft-out--`

Calls

4 calls:

Slowest

40.3s	(* (+ (/ 12.507343278686905 (+ z 4)) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (- z 1)) (* (pow (+ (+ 7 (- z 1)) 0.5) 0.5) (* (sqrt PI) (sqrt 2)))) (exp (- (+ (+ 7 (- z 1)) 0.5)))))
476.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
7.0ms	(sqrt (* PI 2))
2.0ms	(sqrt PI)

series1.3s

Calls

4 calls:

Slowest

937.0ms	(* (+ (/ 12.507343278686905 (+ z 4)) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (- z 1)) (* (pow (+ (+ 7 (- z 1)) 0.5) 0.5) (* (sqrt PI) (sqrt 2)))) (exp (- (+ (+ 7 (- z 1)) 0.5)))))
375.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt PI)

simplify1.7m

Calls

235 calls:

Slowest

1.3s	(* (* (+ z 4) (+ (* (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3)))) (- (* (/ -0.13857109526572012 (- z -5)) (/ -0.13857109526572012 (- z -5))) (* (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))))) (exp (+ (+ 7 (- z 1)) 0.5)))
1.3s	(* (* (+ z 4) (+ (* (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3)))) (- (* (/ -0.13857109526572012 (- z -5)) (/ -0.13857109526572012 (- z -5))) (* (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))))) (exp (+ (+ 7 (- z 1)) 0.5)))
1.2s	(* (* (+ z 4) (+ (* (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3)))) (- (* (/ -0.13857109526572012 (- z -5)) (/ -0.13857109526572012 (- z -5))) (* (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))))) (exp (+ (+ 7 (- z 1)) 0.5)))
1.2s	(* (* (+ z 4) (* (+ (* (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))))) (- (* (/ -176.6150291621406 (+ z 3)) (/ -176.6150291621406 (+ z 3))) (* (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))))) (- z -5))) (pow (+ (+ 7 (- z 1)) 0.5) 1))
1.2s	(* (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))) (* (/ 12.507343278686905 (+ z 4)) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))))) (pow (+ (+ 7 (- z 1)) 0.5) 1))

prune11.8s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes240.0ms

Accuracy

0% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 0.6b

bsearch65.0ms

end0.0ms

sample50.4s

Algorithm

intervals

Results

18.3s	3921×	body	10240	exit
12.0s	3488×	body	1280	valid
6.0s	2370×	body	640	valid
5.3s	1533×	body	1280	nan
3.8s	1262×	body	640	nan
2.1s	1301×	body	320	valid
1.0s	620×	body	320	nan
600.0ms	603×	body	160	valid
386.0ms	312×	body	160	nan
203.0ms	310×	body	80	nan
154.0ms	329×	body	80	valid