Details

Time bar (total: 4.4m)

sample2.6s

Algorithm
intervals
Results
2.1s128×body10240exit
135.0ms259×body80valid
110.0ms45×body640nan
107.0ms48×body1280nan
20.0ms20×body320nan
6.0ms8×body160nan
5.0ms15×body80nan

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
060123
1148123
2609121
3384688
done500188

prune75.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize84.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
1.0b
(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
1.0b
(+ (+ (+ (+ (/ -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)))))
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:
209.0ms
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
466.0ms
(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
1.1m
(+ (+ (+ (+ (/ -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)))))
7.0ms
(sqrt (* PI 2.0))

series620.0ms

Counts
4 → 10
Calls
4 calls:
95.0ms
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
281.0ms
(/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z)))))
244.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)))))
0.0ms
(sqrt (* PI 2.0))

simplify1.1s

Counts
181 → 181
Iterations

Useful iterations: done (1.1s)

IterNodesCost
059613999
1200311864
done500211701

prune2.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize129.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))
1.0b
(+ (+ (+ (+ (/ -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)))))
1.0b
(* (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))) (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))))
1.0b
(sqrt (* PI 2.0))

rewrite1.1m

Algorithm
rewrite-expression-head
Rules
387×*-un-lft-identity
314×times-frac
303×sqrt-prod
200×add-sqr-sqrt
163×unpow-prod-down
126×add-cube-cbrt
122×distribute-lft-out
100×frac-add
86×swap-sqr
72×exp-sum
64×add-log-exp
58×unpow-prod-up
52×associate-*r* associate-*l*
48×sum-log
37×distribute-lft-out--
31×sqr-pow
29×sub-neg
26×flip3-+ flip-+
25×unswap-sqr
22×pow1
11×associate-/l*
10×sqrt-pow1
9×pow1/2
8×add-exp-log add-cbrt-cube
5×associate-+l- exp-diff associate-/r/ pow-prod-up div-inv
4×sqrt-div pow-prod-down associate-/r*
3×div-exp pow-sqr
1×cbrt-undiv +-commutative pow2 frac-times pow-to-exp associate-+l+ associate-+r+ frac-2neg pow-plus sqrt-unprod associate-*r/ associate-*l/ pow-exp prod-exp clear-num rem-square-sqrt *-commutative cbrt-unprod associate-/l/ pow-sub
Counts
4 → 395
Calls
4 calls:
256.0ms
(/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))
1.1m
(+ (+ (+ (+ (/ -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)))))
1.3s
(* (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))) (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))))
4.0ms
(sqrt (* PI 2.0))

series646.0ms

Counts
4 → 10
Calls
4 calls:
192.0ms
(/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))
227.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)))))
227.0ms
(* (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))) (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))))
0.0ms
(sqrt (* PI 2.0))

simplify868.0ms

Counts
405 → 405
Iterations

Useful iterations: done (837.0ms)

IterNodesCost
080825473
1225819580
done500119201

prune4.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize144.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))) (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))))
1.0b
(sqrt (* PI 2.0))
1.6b
(pow (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (- 2.0 z))) 3)
1.6b
(pow (/ 12.507343278686905 (- 5.0 z)) 3)

rewrite4.4s

Algorithm
rewrite-expression-head
Rules
342×*-un-lft-identity
303×sqrt-prod
300×times-frac
212×add-sqr-sqrt
166×unpow-prod-down
126×add-cube-cbrt
86×swap-sqr
84×distribute-lft-out
60×exp-sum
52×associate-*r* associate-*l*
48×unpow-prod-up
38×distribute-lft-out--
28×cube-prod sqr-pow
25×unswap-sqr
24×pow1 sub-neg
12×frac-add
10×add-exp-log sqrt-pow1 add-cbrt-cube
9×cube-div pow1/2
8×associate-/r/
6×pow-unpow div-inv difference-of-squares
5×pow-prod-up
4×associate-+l- flip3-+ exp-diff sqrt-div pow-prod-down flip-+ add-log-exp
3×pow-exp pow-sqr rem-cube-cbrt
2×cube-mult pow-to-exp flip3-- pow-pow unpow3 flip--
1×cbrt-undiv pow2 frac-times pow-plus sqrt-unprod associate-*r/ div-exp associate-*l/ prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 355
Calls
4 calls:
885.0ms
(* (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))) (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))))
4.0ms
(sqrt (* PI 2.0))
3.4s
(pow (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (- 2.0 z))) 3)
15.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)

series368.0ms

Counts
4 → 10
Calls
4 calls:
173.0ms
(* (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))) (sqrt (/ (pow (+ (- 7.0 z) 0.5) (- 0.5 z)) (exp (+ (- 7.0 z) 0.5)))))
0.0ms
(sqrt (* PI 2.0))
138.0ms
(pow (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (- 2.0 z))) 3)
58.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)

simplify646.0ms

Counts
365 → 365
Iterations

Useful iterations: done (628.0ms)

IterNodesCost
071215884
1171911459
done500010921

prune4.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
1.0b
(+ (+ (+ (+ (/ -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)))))
1.0b
(sqrt (* PI 2.0))
1.6b
(exp (- (* (log (+ (- 7.0 z) 0.5)) (- 0.5 z)) (+ (- 7.0 z) 0.5)))

rewrite44.6s

Algorithm
rewrite-expression-head
Rules
102×frac-add
79×add-log-exp
70×*-un-lft-identity
53×sum-log
51×distribute-lft-out
28×flip3-+ flip-+
7×pow1 exp-sum
5×add-sqr-sqrt add-cube-cbrt
4×add-exp-log diff-log associate--l+ add-cbrt-cube rem-exp-log
3×sub-neg exp-prod
2×+-commutative distribute-rgt-in associate-+r+ distribute-lft-in sqrt-pow1
1×associate-+l- associate-+l+ pow1/2 exp-diff pow-prod-down sqrt-prod associate--r-
Counts
4 → 116
Calls
4 calls:
134.0ms
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
44.3s
(+ (+ (+ (+ (/ -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)))))
4.0ms
(sqrt (* PI 2.0))
174.0ms
(exp (- (* (log (+ (- 7.0 z) 0.5)) (- 0.5 z)) (+ (- 7.0 z) 0.5)))

series347.0ms

Counts
4 → 10
Calls
4 calls:
53.0ms
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
180.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)))))
0.0ms
(sqrt (* PI 2.0))
114.0ms
(exp (- (* (log (+ (- 7.0 z) 0.5)) (- 0.5 z)) (+ (- 7.0 z) 0.5)))

simplify612.0ms

Counts
126 → 126
Iterations

Useful iterations: done (597.0ms)

IterNodesCost
050712024
1186110309
done500110160

prune1.3s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes201.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify10.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
072305
196305
done96305

end0.0ms

sample52.6s

Algorithm
intervals
Results
43.6s3822×body10240exit
3.1s1453×body1280nan
2.9s8087×body80valid
1.5s1209×body640nan
557.0ms622×body320nan
403.0ms280×body160nan
57.0ms276×body80nan
0.0ms1×body160valid