Details

Time bar (total: 2.5m)

sample1.8s

Algorithm
intervals
Results
1.5s146×body10240exit
50.0ms50×body1280nan
48.0ms258×body80valid
34.0ms50×body640nan
8.0ms16×body320nan
3.0ms7×body160nan
2.0ms10×body80nan

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: done (1.3s)

IterNodesCost
060123
1148123
2592121
3358788
done500078

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.4b

localize55.0ms

Local error

Found 4 expressions with local error:

0.9b
(/ (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (exp (+ 0.5 (- 7.0 z))))
1.0b
(+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099))
1.0b
(+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099)) (/ -1259.1392167224028 (- 2.0 z)))
1.0b
(sqrt (* PI 2.0))

rewrite628.0ms

Algorithm
rewrite-expression-head
Rules
65×*-un-lft-identity
44×times-frac
26×add-sqr-sqrt add-cube-cbrt
25×unpow-prod-down
19×distribute-lft-out
18×add-log-exp
12×exp-sum
11×associate-/l*
10×unpow-prod-up
9×sum-log
8×frac-add
7×pow1
6×add-exp-log add-cbrt-cube
5×sub-neg flip3-+ flip-+ distribute-lft-out-- sqr-pow
4×associate-/r*
3×div-exp
2×+-commutative sqrt-pow1
1×cbrt-undiv pow-to-exp associate-+r- associate-+l+ associate-+r+ frac-2neg pow1/2 exp-diff pow-prod-down pow-exp clear-num sqrt-prod associate-/r/ div-inv associate-/l/ pow-sub
Counts
4 → 124
Calls
4 calls:
75.0ms
(/ (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (exp (+ 0.5 (- 7.0 z))))
82.0ms
(+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099))
465.0ms
(+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099)) (/ -1259.1392167224028 (- 2.0 z)))
2.0ms
(sqrt (* PI 2.0))

series298.0ms

Counts
4 → 10
Calls
4 calls:
166.0ms
(/ (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (exp (+ 0.5 (- 7.0 z))))
52.0ms
(+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099))
80.0ms
(+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099)) (/ -1259.1392167224028 (- 2.0 z)))
0.0ms
(sqrt (* PI 2.0))

simplify738.0ms

Counts
134 → 134
Iterations

Useful iterations: 2 (264.0ms)

IterNodesCost
03343600
17843428
225683298
done50013298

prune1.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.9s

Algorithm
rewrite-expression-head
Rules
316×frac-add
145×*-un-lft-identity
112×distribute-lft-out
95×flip3-+ flip-+
80×associate-*l/
25×associate-*l*
18×add-log-exp
9×pow1 sum-log
8×add-sqr-sqrt
6×add-exp-log add-cube-cbrt add-cbrt-cube
4×associate-*r*
2×+-commutative sqrt-pow1 pow-prod-down sqrt-prod
1×associate-+l+ associate-+r+ pow1/2 prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 170
Calls
4 calls:
40.3s
(* (+ (+ (/ 12.507343278686905 (- 5.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (+ (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099)) (/ -1259.1392167224028 (- 2.0 z))) (/ -0.13857109526572012 (- 6.0 z))))) (sqrt (* PI 2.0)))
81.0ms
(+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099))
465.0ms
(+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099)) (/ -1259.1392167224028 (- 2.0 z)))
2.0ms
(sqrt (* PI 2.0))

series413.0ms

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

simplify739.0ms

Counts
180 → 180
Iterations

Useful iterations: 1 (233.0ms)

IterNodesCost
071723353
1260122045
done500122045

prune2.8s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.5s

Algorithm
rewrite-expression-head
Rules
308×frac-add
233×*-un-lft-identity
163×add-sqr-sqrt
156×times-frac
118×distribute-lft-out
91×flip3-+ flip-+
87×sqrt-prod
86×associate-*r*
81×associate-*l/
57×add-cube-cbrt
51×associate-*l*
50×add-exp-log
45×unpow-prod-down
36×unswap-sqr
20×div-exp
18×add-cbrt-cube
17×prod-exp sqr-pow
14×unpow-prod-up exp-sum
11×pow1
7×sub-neg distribute-lft-out--
6×add-log-exp
5×cbrt-unprod
4×cbrt-undiv pow-to-exp rec-exp 1-exp pow-exp
3×pow-prod-down
2×associate-+r- sqrt-pow1 exp-diff sqrt-div associate-/r/ *-commutative div-inv
1×+-commutative frac-times pow1/2 associate-*r/ sum-log
Counts
4 → 319
Calls
4 calls:
25.0ms
(+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099)
380.0ms
(* (/ 1 (sqrt (exp (+ 0.5 (- 7.0 z))))) (/ (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (sqrt (exp (+ 0.5 (- 7.0 z))))))
37.0s
(* (+ (+ (/ 12.507343278686905 (- 5.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (/ 9.984369578019572e-06 (- 7.0 z))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (+ (/ 771.3234287776531 (- 3.0 z)) 0.9999999999998099) (/ -1259.1392167224028 (- 2.0 z)))) (/ -0.13857109526572012 (- 6.0 z))))) (sqrt (* PI 2.0)))
2.0ms
(sqrt (* PI 2.0))

series503.0ms

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

simplify1.1s

Counts
329 → 329
Iterations

Useful iterations: done (1.0s)

IterNodesCost
095528597
1335526752
done500126325

prune3.6s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize313.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)))
1.0b
(* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)))
1.0b
(sqrt (* PI 2.0))
1.6b
(pow (/ 12.507343278686905 (- 5.0 z)) 3)

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
199×*-un-lft-identity
187×add-sqr-sqrt
182×times-frac
103×add-cube-cbrt
54×swap-sqr
42×associate-*r* associate-*l* distribute-lft-out--
31×add-exp-log add-cbrt-cube
30×difference-of-squares
22×pow1
21×unpow-prod-down cube-prod
20×associate-/r/
10×flip3-- flip-- div-inv
9×cbrt-undiv div-exp
8×prod-exp cbrt-unprod unswap-sqr
4×add-log-exp
3×pow-unpow pow-prod-down
2×pow2 frac-times sqrt-pow1 pow-plus associate-*r/ associate-*l/ pow-exp pow-sqr *-commutative pow-prod-up rem-cube-cbrt
1×cube-div cube-mult pow-to-exp pow-pow pow1/2 unpow3 sqrt-prod sqr-pow
Counts
4 → 267
Calls
4 calls:
33.0ms
(* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)))
36.0ms
(* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)))
2.0ms
(sqrt (* PI 2.0))
8.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)

series127.0ms

Counts
4 → 10
Calls
4 calls:
36.0ms
(* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)))
41.0ms
(* (/ 12.507343278686905 (- 5.0 z)) (/ 12.507343278686905 (- 5.0 z)))
0.0ms
(sqrt (* PI 2.0))
50.0ms
(pow (/ 12.507343278686905 (- 5.0 z)) 3)

simplify2.2s

Counts
277 → 277
Iterations

Useful iterations: 2 (1.1s)

IterNodesCost
03294994
110134236
244513664
done50013664

prune3.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes265.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
083287
1112287
done112287

end0.0ms

sample47.5s

Algorithm
intervals
Results
42.6s4054×body10240exit
1.6s1530×body1280nan
1.5s8094×body80valid
882.0ms1245×body640nan
315.0ms623×body320nan
106.0ms301×body160nan
57.0ms332×body80nan