Details

Time bar (total: 58.1s)

sample419.0ms

Algorithm
intervals
Results
136.0ms124×body10240exit
97.0ms107×body1280valid
54.0ms87×body640valid
33.0ms51×body1280nan
16.0ms32×body640nan
16.0ms37×body320valid
7.0ms22×body160nan
7.0ms17×body320nan
5.0ms18×body160valid
1.0ms9×body80valid
1.0ms8×body80nan

simplify881.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (229.0ms)

IterNodesCost
05594
113394
244492
3249389
done500089

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.4b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.8s

Algorithm
rewrite-expression-head
Rules
1314×*-un-lft-identity
1227×frac-add
680×distribute-lft-out
447×flip3-+ flip-+
386×times-frac
313×associate-*r/
156×frac-times
119×distribute-lft-out--
38×associate-*r*
30×unpow-prod-down
28×add-sqr-sqrt add-cube-cbrt
19×add-exp-log
16×add-log-exp
15×add-cbrt-cube
13×fma-def
12×pow1 exp-sum
11×associate-/l*
9×prod-exp
8×sum-log
6×div-exp
5×unpow-prod-up cbrt-unprod sqr-pow
4×expm1-log1p-u pow-prod-down associate-/r* log1p-expm1-u
3×associate-+l-
2×cbrt-undiv pow-to-exp sqrt-pow1 pow-exp
1×+-commutative distribute-rgt-in associate-+l+ associate-+r+ frac-2neg distribute-lft-in pow1/2 exp-diff associate-*l* associate-*l/ clear-num sqrt-prod associate-/r/ *-commutative div-inv associate-/l/ pow-sub
Counts
4 → 589
Calls
4 calls:
417.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
935.0ms
(+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))
2.0ms
(sqrt (* PI 2.0))
15.4s
(* (* (sqrt (* PI 2.0)) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (+ (- z 1.0) 2.0))))) (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))))

series955.0ms

Counts
4 → 10
Calls
4 calls:
173.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
144.0ms
(+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))
0.0ms
(sqrt (* PI 2.0))
637.0ms
(* (* (sqrt (* PI 2.0)) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (+ (- z 1.0) 2.0))))) (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))))

simplify753.0ms

Counts
599 → 599
Iterations

Useful iterations: done (593.0ms)

IterNodesCost
01654126424
done5002116524

prune7.8s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize105.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
1.0b
(pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)
1.0b
(sqrt (* PI 2.0))
1.5b
(* (- (* (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))) (+ (* (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (* (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (- (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0))))))

rewrite345.0ms

Algorithm
rewrite-expression-head
Rules
590×frac-times
360×associate-*r/
288×frac-sub
276×associate-*l/
252×frac-add
235×*-un-lft-identity
130×times-frac
96×flip3-- flip--
87×add-sqr-sqrt
73×add-cube-cbrt
60×distribute-lft-out
39×swap-sqr
30×distribute-lft-out--
25×associate-*l*
24×associate-*r*
21×add-exp-log unpow-prod-down cube-prod add-cbrt-cube
18×flip3-+ flip-+
17×pow1
12×associate-/r/
6×div-inv
5×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-unpow pow-prod-down
2×sqrt-pow1 pow-exp *-commutative rem-cube-cbrt
1×cube-div pow2 distribute-rgt-in cube-mult pow-to-exp pow-pow distribute-lft-in pow-plus pow1/2 unpow3 sqrt-prod pow-sqr pow-prod-up difference-of-squares sqr-pow
Counts
4 → 498
Calls
4 calls:
83.0ms
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
20.0ms
(pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)
2.0ms
(sqrt (* PI 2.0))
193.0ms
(* (- (* (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))) (+ (* (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (* (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (- (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0))))))

series322.0ms

Counts
4 → 10
Calls
4 calls:
35.0ms
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
49.0ms
(pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)
0.0ms
(sqrt (* PI 2.0))
238.0ms
(* (- (* (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))) (+ (* (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (* (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (- (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0))))))

simplify1.0s

Counts
508 → 508
Iterations

Useful iterations: done (945.0ms)

IterNodesCost
092250430
1337747385
done500047293

prune5.9s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize105.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
1.0b
(* (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
1.0b
(sqrt (* PI 2.0))
1.0b
(pow (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) 3)

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
2315×*-un-lft-identity
896×distribute-lft-out
756×times-frac
252×distribute-lft-out--
174×swap-sqr
26×associate-*r* associate-*l*
22×pow1
19×add-sqr-sqrt
18×frac-times
17×flip3-+ frac-add flip-+
15×add-cube-cbrt
13×unpow-prod-down cube-prod
9×add-exp-log add-cbrt-cube
6×associate-*r/ associate-*l/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cube-div pow-unpow pow-prod-down
2×pow2 distribute-rgt-in distribute-lft-in sqrt-pow1 pow-plus prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
1×cube-mult pow-to-exp pow-pow pow1/2 unpow3 pow-exp sqrt-prod rem-cube-cbrt sqr-pow
Counts
4 → 357
Calls
4 calls:
688.0ms
(* (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
690.0ms
(* (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
2.0ms
(sqrt (* PI 2.0))
182.0ms
(pow (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) 3)

series293.0ms

Counts
4 → 10
Calls
4 calls:
89.0ms
(* (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
89.0ms
(* (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
0.0ms
(sqrt (* PI 2.0))
115.0ms
(pow (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) 3)

simplify1.2s

Counts
367 → 367
Iterations

Useful iterations: 2 (384.0ms)

IterNodesCost
026213601
187311700
2375611390
done500011390

prune2.5s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize133.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (* (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
1.0b
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
1.0b
(pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)
1.0b
(sqrt (* PI 2.0))

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
233×*-un-lft-identity
130×times-frac
83×add-sqr-sqrt
71×add-cube-cbrt
60×distribute-lft-out
39×swap-sqr
30×distribute-lft-out--
21×unpow-prod-down cube-prod associate-*r* associate-*l*
19×add-exp-log add-cbrt-cube
15×pow1
12×associate-/r/
10×associate-*r/
9×frac-sub
8×associate-*l/
7×frac-times
6×flip3-+ flip-+ div-inv add-log-exp
5×cbrt-undiv div-exp
4×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u unswap-sqr
3×pow-unpow
2×sqrt-pow1 pow-prod-down pow-exp sub-div rem-cube-cbrt
1×cube-div pow2 cube-mult pow-to-exp sub-neg flip3-- distribute-rgt-out-- pow-pow pow-plus pow1/2 fma-neg diff-log unpow3 prod-diff sqrt-prod pow-sqr *-commutative pow-prod-up flip-- sqr-pow
Counts
4 → 216
Calls
4 calls:
24.0ms
(- (* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (* (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
85.0ms
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
21.0ms
(pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)
2.0ms
(sqrt (* PI 2.0))

series179.0ms

Counts
4 → 10
Calls
4 calls:
92.0ms
(- (* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (* (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
34.0ms
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
52.0ms
(pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)
0.0ms
(sqrt (* PI 2.0))

simplify501.0ms

Counts
226 → 226
Iterations

Useful iterations: done (489.0ms)

IterNodesCost
04385605
114364911
done50004790

prune3.9s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes308.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify12.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
084377
1122377
done122377

end0.0ms

sample11.8s

Algorithm
intervals
Results
4.1s3902×body10240exit
3.0s3338×body1280valid
1.6s2477×body640valid
1.0s1500×body1280nan
668.0ms1283×body640nan
562.0ms1249×body320valid
240.0ms626×body320nan
197.0ms683×body160valid
85.0ms324×body160nan
49.0ms334×body80valid
35.0ms293×body80nan