Details

sample1.6s

Algorithm

intervals

Results

528.0ms	136×	body	10240	exit
284.0ms	103×	body	1280	valid
237.0ms	80×	body	640	valid
119.0ms	49×	body	1280	nan
111.0ms	18×	body	160	valid
93.0ms	47×	body	640	nan
70.0ms	48×	body	320	valid
36.0ms	29×	body	320	nan
12.0ms	14×	body	160	nan
8.0ms	18×	body	80	nan
4.0ms	8×	body	80	valid

simplify596.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

595.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))))

prune67.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.7b

localize202.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)))

rewrite853.0ms

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`

Counts

4 → 96

Calls

4 calls:

Slowest

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

series845.0ms

Counts

4 → 8

Calls

4 calls:

Slowest

463.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
382.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt (* PI 2))

simplify14.1s

Counts

64 → 104

Calls

64 calls:

Slowest

818.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))))))
806.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))))))
464.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
453.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
452.0ms	(* (pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (sqrt (sqrt (* PI 2))))

prune4.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize244.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)))
1.0b	(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))

rewrite479.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 90

Calls

4 calls:

Slowest

400.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
73.0ms	(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))
4.0ms	(sqrt (* PI 2))
1.0ms	(sqrt PI)

series769.0ms

Counts

4 → 8

Calls

4 calls:

Slowest

401.0ms	(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))
368.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt PI)

simplify9.6s

Counts

55 → 98

Calls

55 calls:

Slowest

758.0ms	(* (pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (sqrt (sqrt (* PI 2))))
407.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
400.0ms	(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
376.0ms	(* (pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (sqrt (sqrt (* PI 2))))
346.0ms	(+ (log (* (sqrt 2) (pow (+ z 6.5) (- z 0.5)))) (log (sqrt PI)))

prune5.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize210.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)))
1.0b	(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))

rewrite466.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 90

Calls

4 calls:

Slowest

407.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
52.0ms	(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))
4.0ms	(sqrt (* PI 2))
1.0ms	(sqrt PI)

series841.0ms

Counts

4 → 8

Calls

4 calls:

Slowest

437.0ms	(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))
404.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt PI)

simplify9.0s

Counts

53 → 98

Calls

53 calls:

Slowest

429.0ms	(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
425.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
408.0ms	(+ (log (* (sqrt 2) (pow (+ z 6.5) (- z 0.5)))) (log (sqrt PI)))
397.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
367.0ms	(* (pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (sqrt (sqrt (* PI 2))))

prune5.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.3b

localize205.0ms

Local error

Found 4 expressions with local error:

37.8b	(posit16->real (real->posit16 (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))))
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)))

rewrite437.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

Slowest

421.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
7.0ms	(sqrt (* PI 2))
7.0ms	(sqrt (* PI 2))
1.0ms	(posit16->real (real->posit16 (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))))

series730.0ms

Counts

4 → 8

Calls

4 calls:

Slowest

394.0ms	(posit16->real (real->posit16 (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))))
336.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt (* PI 2))

simplify7.1s

Counts

38 → 81

Calls

38 calls:

Slowest

429.0ms	(* (pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (sqrt (sqrt (* PI 2))))
427.0ms	(pow (+ (+ 7 (- z 1)) 0.5) (- z 1))
400.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
377.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
312.0ms	(pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2))

prune4.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.3b

regimes228.0ms

Accuracy

0% (0.5b remaining)

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

bsearch34.0ms

end0.0ms

sample51.6s

Algorithm

intervals

Results

18.5s	3906×	body	10240	exit
11.7s	3468×	body	1280	valid
6.8s	2484×	body	640	valid
6.5s	1562×	body	1280	nan
2.7s	1210×	body	640	nan
2.1s	1201×	body	320	valid
1.3s	611×	body	320	nan
800.0ms	597×	body	160	valid
340.0ms	305×	body	160	nan
212.0ms	321×	body	80	valid
152.0ms	283×	body	80	nan